EI 期末專題 智慧型流程塑模
-
Upload
tamekah-blanchard -
Category
Documents
-
view
46 -
download
0
description
Transcript of EI 期末專題 智慧型流程塑模
簡介輸入一些問題 ,利用電腦來智慧型尋找要完成這件工作所需要的流程
例如輸入現在在家裡而目標是要買蛋糕 ,則電腦會推理得先出家門騎車子然後到蛋糕店買蛋糕 ,能在使用者所輸入的值之間找到一流程
能自我思考並自動化處理
A partial order planning
Initial sate: Op(Action: start, Effect:At(Home)Sells(H
WS,Drill) Sells(SM,Milk) Sells(SM,Banana))
Goal state: Op(Action:Finish,
Precond: At(Home) Have(Drill) Have(Milk) Have(Banana)
Op(Action: Go(there),Precond:At(here) Path(here,there), Effect:At(there) At(here)
Op(Action: Buy(x), prection:At(store) Sells(store,x), Effect: Have(x)
Operator( 動作 )
Initial plan
Start
Finish
At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
At(Home) Have(Drill) Have(Milk) Have(Banana)
Partial order planning
At(s),Sells(s,Drill)
Start
Finish
At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
At(Home) Have(Drill) Have(Milk) Have(Banana)
Buy(Drill) Buy(Milk) Buy(Banana)
At(s),Sells(s,Milk) At(s),Sells(s,Banana)
At(s),Sells(s,Drill)
Start
Finish
At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
At(Home) Have(Drill) Have(Milk) Have(Banana)
Buy(Drill) Buy(Milk) Buy(Banana)
At(s),Sells(s,Milk) At(s),Sells(s,Banana)
Start
Finish
At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
At(Home) Have(Drill) Have(Milk) Have(Banana)
Buy(Drill)Buy(Milk) Buy(Banana)
At(SM),Sells(SM,Milk)
Go(SM)
At(x)Go(HWS)
At(HWS),Sells(HWS,Drill)
At(X)
Start
Finish
At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
At(Home) Have(Drill) Have(Milk) Have(Banana)
Buy(Drill)Buy(Milk) Buy(Banana)
At(SM),Sells(SM,Milk)
Go(SM)
At(Home)Go(HWS)
At(HWS),Sells(HWS,Drill)
At(Home)
Start
Finish
Have(Drill) Have(Milk) Have(Banana) At(Home)
Buy(Drill)Buy(Milk) Buy(Banana)
At(SM),Sells(SM,Milk
)
Go(SM)
At(HWS)
Go(HWS)
At(HWS),Sells(HWS,Drill)
At(Home)
At(SM),Sells(SM,Banana)
Go(Home)
At(SM)
start
At(Home)
At(HWS)
Sells(HWS,Drill)At(HWS)
Sells(SM,Banana)Sells(SM,Milk) At(SM)
Have(Milk) At(Home) Have(Ban.) Have(Drill)
Go(HWS)
Buy(Drill)
Go(SM)
Buy(Nan.)Buy(Milk)
Go(Home)
finish
At(SM)
At(SM)
第一步 Plan Print:: ------------------------- Step: S1:Start S2:Finish S3:Buy(Milk) Ordering: S1->S2 S1->S3->S2 Links: S3->Have(Milk)->S2
初始At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)
目標At(Home) Have(Drill) Have(Milk) Have(Banana)
動作 1. At(here),Go(there),At(there) 2.At(store).Sells(store,x),Buy(x),Have
(x)
最後的結果 I have the plan.... Start--->Go(HWS)--->Buy(Drill)---
>Go(SM)--->Buy(Milk)--->Buy(Bananas)--->Go(Home
)--->Finish