![Page 1: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/1.jpg)
Plan Representation and Reasoningwith Description Logics
![Page 2: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/2.jpg)
Representing Planning Knowledge in Description Logics: Overview
• Action taxonomies in CLASP– extended language to represent action networks
• Plan taxonomies in SUDO-PLANNER– plan subsumption of partially ordered plans
• Goal taxonomies in EXPECT– expressive representations of goals and their parameters
These systems can exploit the descriptions of all the objects in the domain (domain knowledge) in order to reason about action, goal, and plan descriptions
![Page 3: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/3.jpg)
Defining Actions, States and Plans in CLASP in a Telephony Domain
(DEFINE-CONCEPT System-Act (AND Action
(ALL ACTOR System-Agent)))
(DEFINE-CONCEPT Connect-Dialtone-Act (AND System-Act
(ALL PRECONDITION (AND Off-Hook-State Idle-State)) (All Add-LIST Dialtone-State) (ALL DELETE-LIST Idle-State (ALL GOAL (AND Off-Hook-State
Dialtone-State))))
(DEFINE-CONCEPT Callee-Off-Hook-State (PRIMITIVE State))(DEFINE-CONCEPT Callee-On-Hook-State (PRIMITIVE State))(DEFINE-CONCEPT Callee-Off-Caller-On-State (AND Callee-Off-Hook-State
Caller-On-Hook-State))
(DEFINE-PLAN Pots-Plan (AND Plan (ALL PLAN-EXPRESSION
(SEQUENCE (SUBPLAN Originate-And-Dial-Plan) (TEST (Callee-On-Hook-State
(SUBPLAN Terminate-Plan))(Callee-Off-Hook-State (SEQUENCE Non-Terminate-Act Caller-On-Hook-Act Disconnect Act)))))))
(DEFINE-PLAN Originate-And-Dial-Plan (AND Plan
(ALL PLAN-EXPRESSION(SEQUENCE Caller-Off-Hook-Act Connect-Dialtone-Act Dial-Digits-Act))))
![Page 4: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/4.jpg)
Plan Representation and Subsumption in SUDO-PLANNER• Plan is described as a set of action types associated with
identifiers– [(surgery, id1) (CABG, id2)]
• Plan is simplified if action subsumption and same id– [(surgery, id1) (CABG, id1)] -> [(surgery, id1)]
• Plan subsumption– Action network viewed as bipartite graph matching
a1 a2 a5
a3 a4 a6
a1 a4 a5
a2 a3 a6
P
Q
R
S
![Page 5: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/5.jpg)
Matching Goals in EXPECT• Desired goals and available capabilities are automatically translated to LOOM concepts• Classifier is used to find most specific method capability that subsumes the posted goal
Self-organizing method taxonomy
movecargo
aircraft
OBJ
WITH
movecargo
truck
OBJ
WITH
movecargo
vehicle
OBJ
WITH
movecargo
C-140
OBJ
WITH
Goal: (move (OBJ (inst-of cargo)) (WITH C-140))
Method capability: (move (OBJ (inst-of cargo)) (WITH (inst-of aircraft)))
![Page 6: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/6.jpg)
Reactive Systems
Yolanda Gil
CS 541, Fall 2003
(Thanks to Karen Myers from SRI International)
![Page 7: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/7.jpg)
Summary
• Control systems– Networks of “variables” (arcs) and “functions” (nodes)
• Reactive Action Packages (RAPs)– Networks of “conditions” and “tasks”
• Task Control Architecture (TCA)– Network arranged according to “vertical capabilities”
• Procedural Reasoning System (PRS)– Integrates planning, BDI, and reactive techniques
• Anytime algorithms– When time is short, managing what you think about
• Learning and uncertainty reasoning
![Page 8: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/8.jpg)
PRS InterpreterExecution Cycle
1. New information arrives that updates facts and/or tasks
2. Acts are triggered by new facts or tasks
3. A triggered Act is intended
4. An intended Act is selected
5. That intention is activated
6. An action is performed
7. New facts or tasks are posted
8. Intentions are updated
Goal2ACT8sleeping
Fact1ACT2normal
Goal3ACT3sleeping
Intention Graph
Cue: (TEST (overpressurized tank.1))
ACT2
Act Library
Act Execution
(overpressurized fuel-tank)
(ACHIEVE (position ox-valve closed))
New Facts & Tasks
ExternalWorld
1
2
3
4
5
6
7
8
Cue: (ACHIEVE (position valve.1 closed))
ACT1Facts&
Tasks
(ACHIEVE (position ox-valve closed))
ACT1current
![Page 9: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/9.jpg)
Distributed and Multi-AgentPlanning
![Page 10: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/10.jpg)
Issues• Who is in charge? • How distributed? • How much info is shared? • Who benefits?• What and how to communicate?• How and how much to coordinate?• Can tasks/goals/resources be negotiated? • How to handle execution dynamics?
![Page 11: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/11.jpg)
Summary (I) 1. Task sharing
– Homogeneous agents – Heterogeneous agents
• Contract nets – Contactors bid – Managers bid
• Market mechanisms
2. Results sharing – Blackboard architectures – Distributed constraint satisfaction – Resource sharing through auctions
![Page 12: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/12.jpg)
Summary (II) 3. Distributed planning
– Planning approaches • Cooperative plan Construction • Centralized planning for Distributed plans• Distributed planning for Centralized plans• Distributed planning for Distributed plans
– Execution issues • Post-planning • Pre-planning
4. Mental state and collaboration– Joint intentions – SharedPlans
5. Coordination without communication
![Page 13: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/13.jpg)
Mixed-Initiative Planning
![Page 14: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/14.jpg)
Challenges
• Interpreting user input– Mapping into possible operations/responses
– Disambiguating requests
• Intelligent search– Managing classes of solutions
– Tracking constraints and previously explored solutions
• Facilitating user’s cognitive task– Grounding the discussion with a specific plan
• Acting on the user’s input– Flexible planning framework that can support collaboration
![Page 15: Plan Representation and Reasoning with Description Logics](https://reader036.vdocuments.us/reader036/viewer/2022082711/56813087550346895d966208/html5/thumbnails/15.jpg)
Recap and Summary• Dialogue issues in mixed-initiative planning:
TRAINS– Interpreting user input, disambiguation– Plan representation as goals/tasks/resources/state +
straw plan– Hybrid planning architecture
• Integrating user guidance with a planning algorithm: PASSAT – Incorporating the user’s input into a plan generation
algorithm