2009 | OriginalPaper | Buchkapitel
An Epistemic Logic for Planning with Trials
verfasst von : Rajdeep Niyogi, R. Ramanujam
Erschienen in: Logic, Rationality, and Interaction
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We suggest that in the context of planning in uncertain environments, an agent’s performance of an action may be tentative and not definitive. In this view, an agent plans to merely
try
performing an action, and further planning is dependent on the success or failure of such a trial. Epistemic logics seem well suited to formalize the reasoning in such contexts. We study a simple such logic for one planning agent making bounded plans, for which we give a complete axiomatization and prove decidability. We discuss preliminary results for extensions to multi-agent plans as well as unbounded plans.