Autonomic pervasive computing based on planning

' 5 $ " ! $ $ ! " 1 # 6* $ ! $ $ $ 1 % ! $ " $ $ " $ & 1 ( 7 $ $ '"( ' $ $ 8 1 1 ! ! 7 " 8 $ ( ! 9 ) * ! ( 1 + " $ $ $ 7 8 " " ! $ 1 " ! $ " % $ ( & $ $ '( : ( % ! & ( $ ) + #*+ 1 # $ ,,-.,/0 1 # * #*+//"23--0 '4 1 $ $ : $ * ; 3 ( <3= * * $ * * * $ > 0 :* $ $ ? . * $ $ ( $ - * 2 9 ), / D $ $ + ( $ 1 $ $ $ $ $ ; * $ $ @ $ " ( 1 $ " ( 6 $ 1 ( $ $ ( $ % (8 ( & & 7 $ $ 8 1 ;A1%$ B % : $ C $ * $ & $ ( * 6 $ $ $ $ ( + $ $ ! 9 ! , ! $ ; $ $ $ $ ( $ $ $ ( " $ %7 $ 8& ;A1 $ $ $ $ $ ( $ 1 ( - . 6 @ $ ! 1 C 6* $ $ ! 1 $ '( $ $ ; 1 1 " $ / 0 $ ( $ 5 % 1 + ( ( $ ' $ ( * $ ( $ E ( 12 $ 3 " # $ $ $ $ $ $ % 3 ' $ & $ ( 4 ( * $ $ ( 1 $ " $ $ + ! F lightBulb(bulbID, room3232, off) D * locationService( serviceID, cs_building, running) ' ! 1 @ ( $ ) 3 ( ; : "G $" %$ % % $ % 1 " 1 %& ; ; ( 5 $ $ ! %& 0 <?= & & $ & & > 0 ; A ? 1 * * + $ $ 3 1 ( 1 $ 5 ( $ $ . 1* 1 *" ( 5 coordinator( appID, pptApp, machine1, initialized, [pres1, pres2], [cont1]) pptModel( appID, machine1, started, “gaia.ppt”, 1) presentation( appID, pres1, mspowerpoint, machine5) presentation( appID, pres2, mspowerpoint, machine6) controller( appID, cont1, handheldController, ipaq1) BBD E ) ) $ ) 3 ) 7 8 ) $ 5 1 $ $ ) : $ 3 ? : + I $ . $ ) ) !) ( '( ( $ $ 5 ( BBD * location ( chris , inside , room 3231) temperature ( room 3231 , “=” , 98 F) ! $ $ + ( $ $ B : DH61D<0= * 9 1 " $ ! ; ( $ $ * %$ & 1 ! $ $ 1 7 8 BBD ( " 9 $ & $ # $ % 9 $ C BBD<)>= ' BBD BBD $ -,3 )) & : 8$ ; $ % 1BD $ 7 " $ $ 1 % & * BBD $ %$ ( ( $ $ & + + ( $ $ $ BBD " % & ' 5 % $ :parameters (?id - string ?filename - pptfile) :precondition (and (pptModel ?id ?mac stated ?filename1 ?slidenumber) (not (= ?filename ?filename1))) :effect (pptModel ?id ?mac started ?filename 1) :check (= (getFile_ppt ?id) ?filename) (failure non-retryable)) $ $ $ (:action setFile_ppt :vars (?mac – machine ?slidenumber – number) & + ( 9 ( % C & 6 controller(appID,cont1,handheldControl ler,ipaq1): 6 if activity(room, meeting) 4 if activity(room, presentation) controller(appID,cont1,touchScreenCont roller,machine4): 3 controller(appID,cont1,touchScreenCont roller,machine7): 2 1 $ ( C : ' % * $ ( & % !) 1 0 2& "), $ H), $ "), , %$ H),& $ $ ' & ( $ ' ' ' ( $ $ %& $ ;A1 $ $ $ ;A1 % $ $ 7 + + ) 8& $ : $ % & % $ & ( $ ;A1 %$ % $ G $ " $ ( & + ( ' ( : ( 5 $ goal(display_ppt, File) :- coordinator( appID, pptApp, M1, initialized), pptModel( appID, M2, started, File, 1), presentation(appID, pres1, PresentationType,M3) , controller( appID, cont1, ControllerType,M4) $ $ ! 1 ( '! % )* + $ + ! E :) :3 : $ ) 6 + ( <)= $ $ " * $ " BBD $ G ( F + 7 $ ( $ 8 8 ( $ E ! * $ $ ( &5 E 30,). $ $ 7 $ ( $ ( 1 7 8F 30,). 8F !) 30,)? ( " $ % ( + 8 E $ $ 30,)2 > $ $ 7 + I D 1 (createcoordinator cspc24016 abc ppt) 2 (createmodel-ppt cspc24016 abc 1 planning.ppt) 3 (createcontroller ipaq1 abc handheldController) 3 (createpresentation cspc24015 abc mspowerpoint) 3 (createpresentation cspc24017 abc mspowerpoint) 1 7 $% @ + $ ( @ $ & 30,). $ 7 8 7 8 ( %$ & $ 7 8 1 '" , ( $ C @ % $ * 1 *" BBD BBD $ , ! & 1 & % ( % )? $ & * 1 $ ( " !" # !" # !" " " # $ % $ ' ( !" & $ # $))* " + % $ BBD - * % $ + 3& 1* 0 2 % 5% (& 6 ( @ % $ A & 1 1 B 1 6 1 " (1 $ 0 ) ! ' * % " * # $ <3= ( * . / ( > <)3= ( 1 ( * * & % & ' ; $ 6 ; ( ! 3 * ( 5 $ @ & <))= 0 ! %$ ! 1 ( ( @ 6 @ 1 $ ; ; % A 2 @ ;A1& 1 1 1 1 $ 6 9 9 $ % 1 $ $ 9 & 6: 1 $ @ $ + ; " $ ( $ % & " 9 $ $ $ $ 1 $ $ $ ( BBD 9 9 1 ! $ * 1 $ + >,J ? .? ( -& $ > /? $ )> . 0 /$ * % $ 1 $ $ ) ? .? $ 1 $ :1 6( @ <.= " " E $ $ $ <2=</=<),= $ ( 6*<-= " ' 1 $ $ $ " D K<>= $ View publication stats <)= L E * 7A * ; " 8 1M 1"// * <3= N : 7; 5 : $ 1 ' * 8 1 1''' -> 6 "B 3,,3 <>= L * 7 * 1 1 * <0= + 7 B B : DH61D 5OO$$$ O3,,)O ,>O <?= L ;' * %)/--& 7 " $" "-, 8 M 6 @ )53."0/ <.= * A 7 ; " * 8 1 * * A ! 9 A * 9 6 )3 3,,> <2= : 1 * * ; * 9 * L 3,,3 + <-= * 7 '( 6*8 3,,> </= * : B B : D"* 1 9 * 1 * M 3,,> <),= M B : D"* 9 * 6 3 1 1*9 3,,> + <))= 7 : (" $ A ! ' 81 : $ 3,,> M <)3= 76 ' 8 1 9 6 B * % 1M 13,,>& <)>= : B B 1 *"/7 BBD " B D 8B ) . M )//- " 20" 81 3,,3 8 6 3,,3 * 9 * 6 3,,> $ E /3,,> B