Formal Ontological Analysis of Planning Problems

An Ontological Formalization of the Planning Task Dnyanesh Rajpathak and Enrico Motta Knowledge Media Institute, The Open University, Walton Hall, Milton Keynes, UK. {d.g.rajpathak, e.motta}@open.ac.uk

Goals of the Research ,[object Object],[object Object],[object Object],[object Object]

Limitations of Existing Proposals ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Key Features of our Approach ,[object Object],[object Object],[object Object],[object Object]

Epistemological Framework ,[object Object],[object Object],PSMs E.g. Propose & Revise Domains E.g. Rover, Satellite, etc. Applications Solving Rover Planning by applying P&R Generic Problem Types Planning Task Planning Task Ontology

Key Features Cont. ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ontology Projection ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ontology Inclusion Hierarchy Planning Task Ontology Scheduling Task Ontology Simple Time Ontology Parametric Design Task Ontology Base Ontology Ontology Projection PLANET Plan Ontology (Tate) Valente’s Knowledge-Level Analysis Individual Ontology Legend

Case 1 - Ontology Projection of Plan Ontology Original viewpoint: Agent Activity (Plan-Task) Action Time Issue Variable constraint Auxiliary constraint Preference Documentation and Annotation. ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Informal IO Spec of the Planning Task Solution-Plan Solution-Plan = {…<Pt i . Agi>…} Initial-World-State Goal-State Plan Tasks Actions Agents Parameters Time-Horizon Constraints Preferences Cost-Function Solution-Criterion Planning Task

Initial and Goal State ,[object Object],[object Object],A B Earth Initial State Goal State KMI Martian surface A B

Plan Task ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Plan Task Parameters Precondition Postcondition Actions Agents Time-Range

Agent ,[object Object],[object Object],[object Object],Agent Executes plan task Holds purpose Time window

Constraints ,[object Object],[object Object],[object Object],[object Object],[object Object]

Preferences and Optimization Criterion ,[object Object],[object Object],[object Object],[object Object],[object Object]

Axioms ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Coarse Grained View of Task Ontology PLANNING-TASK PLAN-TASK ACTION AGENT CONSTRAINT PREFERENCE COST FUNCTION TIME RANGE PARAMETER PLAN COST Plan-Task Agent PLAN-DESCRIPTION Plan-Is-Complete Plan-Is-Valid Agent-Executes-Plan-Task Plan-Task-Is-Achieved PLAN INITIAL STATE GOAL STATE Plan-Task-Has-Agent Plan-Task-Is-Unachieved Domain Range

Conclusion & Future Research ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formal Ontological Analysis of Planning Problems

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Was ist angesagt?

Was ist angesagt? (20)

Ähnlich wie Formal Ontological Analysis of Planning Problems

Ähnlich wie Formal Ontological Analysis of Planning Problems (20)

Mehr von ahmad bassiouny

Mehr von ahmad bassiouny (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)

Formal Ontological Analysis of Planning Problems