Abductive planning with sensing

Research output: Contribution to conferencePaperpeer-review

4 Scopus citations


In abductive planning, plans are constructed as reasons for an agent to act: plans are demonstrations in logical theory of action that a goal will result assuming that given actions occur successfully. This paper shows how to construct plans abductively for an agent that can sense the world to augment its partial information. We use a formalism that explicitly refers not only to time but also to the information on which the agent deliberates. Goals are reformulated to represent the successive stages of deliberation and action the agent follows in carrying out a course of action, while constraints on assumed actions ensure that an agent at each step performs a specific action selected for its known effects. The result is a simple formalism that can directly inform extensions to implemented planners.

Original languageEnglish (US)
Number of pages6
StatePublished - 1998
Externally publishedYes
EventProceedings of the 1998 15th National Conference on Artificial Intelligence, AAAI - Madison, WI, USA
Duration: Jul 26 1998Jul 30 1998


OtherProceedings of the 1998 15th National Conference on Artificial Intelligence, AAAI
CityMadison, WI, USA

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence


Dive into the research topics of 'Abductive planning with sensing'. Together they form a unique fingerprint.

Cite this