EI 期末專題智慧型流程塑模

EI期末專題智慧型流程塑模 U860813 黃建中

Agenda • 1.簡介 • 2.何謂智慧型 • 3.系統架構圖 • 4.其推理的步驟 • 5.Demo範例與情境 • 6.How to Use it???

簡介 • 輸入一些問題,利用電腦來智慧型尋找要完成這件工作所需要的流程 • 例如輸入現在在家裡而目標是要買蛋糕,則電腦會推理得先出家門騎車子然後到蛋糕店買蛋糕,能在使用者所輸入的值之間找到一流程 • 能自我思考並自動化處理

何謂智慧型 • 利用人工智慧設計電腦的推理,使其能從事人類本身所做的工作 • 在這邊主要是強調電腦的推理能力 • 在現有的知識庫中推理出解答 • 推理是一般軟體所沒有的

系統架構圖 若天氣晴且籃球場有空 (Constrain) 此為一動作區塊 (Step) 打球的動作則心情好

系統架構圖 自我連結成為大動作打球的動作吃點心回家洗澡睡覺打電話

A partial order planning • Initial sate: • Op(Action: start, Effect:At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana)) • Goal state: • Op(Action:Finish, • Precond: At(Home) Have(Drill) Have(Milk) Have(Banana)

Operator(動作) • 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)

Start At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana) • At(Home) Have(Drill) Have(Milk) Have(Banana) Finish Initial plan

Start At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana) At(s),Sells(s,Milk) At(s),Sells(s,Banana) Buy(Drill) Buy(Milk) Buy(Banana) • At(Home) Have(Drill) Have(Milk) Have(Banana) Finish Partial order planning At(s),Sells(s,Drill)

Start At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana) At(s),Sells(s,Milk) At(s),Sells(s,Banana) Buy(Drill) Buy(Milk) Buy(Banana) • At(Home) Have(Drill) Have(Milk) Have(Banana) Finish At(s),Sells(s,Drill)

Start At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana) At(X) At(x) Go(HWS) Go(SM) At(HWS),Sells(HWS,Drill) At(SM),Sells(SM,Milk) Buy(Drill) Buy(Banana) Buy(Milk) • At(Home) Have(Drill) Have(Milk) Have(Banana) Finish

Start At(Home)Sells(HWS,Drill) Sells(SM,Milk) Sells(SM,Banana) At(Home) At(Home) Go(HWS) Go(SM) At(HWS),Sells(HWS,Drill) At(SM),Sells(SM,Milk) Buy(Drill) Buy(Banana) Buy(Milk) • At(Home) Have(Drill) Have(Milk) Have(Banana) Finish

Death Plan S3 S1 c S1 S1 S3 c c S2 c c S2 S2 S3 c

Start At(Home) At(HWS) Go(HWS) Go(SM) At(HWS),Sells(HWS,Drill) At(SM),Sells(SM,Milk) At(SM) At(SM),Sells(SM,Banana) Buy(Drill) Buy(Milk) Buy(Banana) Go(Home) • Have(Drill) Have(Milk) Have(Banana)  At(Home) Finish

start At(Home) Go(HWS) At(HWS) Sells(HWS,Drill) Buy(Drill) At(HWS) Go(SM) At(SM) Sells(SM,Banana) At(SM) Sells(SM,Milk) Buy(Milk) Buy(Nan.) At(SM) Go(Home) Have(Milk) At(Home) Have(Ban.) Have(Drill) finish

初始值 • Plan Print:: • ------------------------- • Step: • S1:Start • S2:Finish • Ordering: • S1->S2 • Links:

第一步 • Plan Print:: • ------------------------- • Step: • S1:Start • S2:Finish • S3:Buy(Milk) • Ordering: • S1->S2 • S1->S3->S2 • Links: • S3->Have(Milk)->S2

Demo與情境 • Edward現在正在家裡 • 已知有兩種動作 • Action 1:到某處 • Action 2:如果A商店有買產品A則就可以買 • 目標是要買齊商品後回家

初始 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

Demo2 • 簡單採訪流程 • 初始值 • At(NTHUIEEM) • 目標能達到 • Visit(NTHUIEEM).Visit(HP).Visit(UCOM)

動作 • 動作1:At(here),Go(there),At(there) • 動作2:At(x),VisitManager(x),Visit(x)

How to use it?? • 1.定義Ontology(Ontology.java) • 將會用到的詞彙輸入進去,ex.Home,NTHUIEEM等 • 2.定義初始值和目標值(主程式) • String a1和String a2 • 3.定義動作(主程式) • Operate.add() • 4.只要Call POP就會找到適當的流程

EI 期末專題 智慧型流程塑模