Efficient Open World Reasoning for Planning
We consider the problem of reasoning and planning with incomplete knowledge and deterministic actions. We introduce a knowledge representation scheme called PSIPLAN that can effectively represent incompleteness of an agent's knowledge while allowing for sound, complete and tractable entailment...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2006-09-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/2247/pdf |
_version_ | 1797268771218391040 |
---|---|
author | Tamara Babaian James G. Schmolze |
author_facet | Tamara Babaian James G. Schmolze |
author_sort | Tamara Babaian |
collection | DOAJ |
description | We consider the problem of reasoning and planning with incomplete knowledge
and deterministic actions. We introduce a knowledge representation scheme
called PSIPLAN that can effectively represent incompleteness of an agent's
knowledge while allowing for sound, complete and tractable entailment in
domains where the set of all objects is either unknown or infinite. We present
a procedure for state update resulting from taking an action in PSIPLAN that is
correct, complete and has only polynomial complexity. State update is performed
without considering the set of all possible worlds corresponding to the
knowledge state. As a result, planning with PSIPLAN is done without direct
manipulation of possible worlds. PSIPLAN representation underlies the PSIPOP
planning algorithm that handles quantified goals with or without exceptions
that no other domain independent planner has been shown to achieve. PSIPLAN has
been implemented in Common Lisp and used in an application on planning in a
collaborative interface. |
first_indexed | 2024-04-25T01:37:46Z |
format | Article |
id | doaj.art-79033cc2506b4028a4db9937b4ed2619 |
institution | Directory Open Access Journal |
issn | 1860-5974 |
language | English |
last_indexed | 2024-04-25T01:37:46Z |
publishDate | 2006-09-01 |
publisher | Logical Methods in Computer Science e.V. |
record_format | Article |
series | Logical Methods in Computer Science |
spelling | doaj.art-79033cc2506b4028a4db9937b4ed26192024-03-08T08:36:23ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742006-09-01Volume 2, Issue 310.2168/LMCS-2(3:5)20062247Efficient Open World Reasoning for PlanningTamara Babaianhttps://orcid.org/0009-0000-4341-042XJames G. SchmolzeWe consider the problem of reasoning and planning with incomplete knowledge and deterministic actions. We introduce a knowledge representation scheme called PSIPLAN that can effectively represent incompleteness of an agent's knowledge while allowing for sound, complete and tractable entailment in domains where the set of all objects is either unknown or infinite. We present a procedure for state update resulting from taking an action in PSIPLAN that is correct, complete and has only polynomial complexity. State update is performed without considering the set of all possible worlds corresponding to the knowledge state. As a result, planning with PSIPLAN is done without direct manipulation of possible worlds. PSIPLAN representation underlies the PSIPOP planning algorithm that handles quantified goals with or without exceptions that no other domain independent planner has been shown to achieve. PSIPLAN has been implemented in Common Lisp and used in an application on planning in a collaborative interface.https://lmcs.episciences.org/2247/pdfcomputer science - artificial intelligencecomputer science - logic in computer sciencei.2.4i.2.8f.4.1f.2.2 |
spellingShingle | Tamara Babaian James G. Schmolze Efficient Open World Reasoning for Planning Logical Methods in Computer Science computer science - artificial intelligence computer science - logic in computer science i.2.4 i.2.8 f.4.1 f.2.2 |
title | Efficient Open World Reasoning for Planning |
title_full | Efficient Open World Reasoning for Planning |
title_fullStr | Efficient Open World Reasoning for Planning |
title_full_unstemmed | Efficient Open World Reasoning for Planning |
title_short | Efficient Open World Reasoning for Planning |
title_sort | efficient open world reasoning for planning |
topic | computer science - artificial intelligence computer science - logic in computer science i.2.4 i.2.8 f.4.1 f.2.2 |
url | https://lmcs.episciences.org/2247/pdf |
work_keys_str_mv | AT tamarababaian efficientopenworldreasoningforplanning AT jamesgschmolze efficientopenworldreasoningforplanning |