Representing actions: laws, observations and hypotheses

Baral, C. and Gelfond, M. and Provetti, Alessandro (1997) Representing actions: laws, observations and hypotheses. The Journal of Logic Programming 31 (1/3), pp. 201-243. ISSN 0743-1066.

Full text not available from this repository.

Official URL: https://doi.org/10.1016/S0743-1066(96)00141-0

Abstract

We propose a modificationL 1 of the action description languageA. The languageL 1 allows representation of hypothetical situations and hypothetical occurrence of actions (as inA) as well as representation of actual occurrences of actions and observations of the truth values of fluents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by previous approaches. As an application of L1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 and use logic programming approximation of this entailment to implement a planning module for this architecture. We prove the soundness of our implementation and give a sufficient condition for its completeness.

Metadata

Item Type:	Article
School:	Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Depositing User:	Sarah Hall
Date Deposited:	10 Aug 2021 08:55
Last Modified:	09 Aug 2023 12:51
URI:	https://eprints.bbk.ac.uk/id/eprint/45400

Statistics

Archive Staff Only (login required)

Edit/View Item