Representing Actions - I: (Laws, Observations and Hypothesis)

Chitta Baral, Michael Gelfond and Alessandro Provetti

We propose extensions L0 and L1 of the action description language A that can express both actual and hypothetical situations, observations of the truth values of fluents in these situations (as opposed to hypothetical values of fluents expressible in A), and observations of actual occurrences of actions. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by the previous approaches. We then formalize the notion of planning from the current situation using L1.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.