We propose a modification ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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. © Elsevier Science Inc., 1997.
Representing actions: Laws, observations and hypotheses / C. Baral, M. Gelfond, A. Provetti. - In: JOURNAL OF LOGIC PROGRAMMING. - ISSN 0743-1066. - 31:1-3(1997), pp. 201-243. [10.1016/S0743-1066(96)00141-0]
Representing actions: Laws, observations and hypotheses
A. Provetti
Co-primo
1997
Abstract
We propose a modification ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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. © Elsevier Science Inc., 1997.File | Dimensione | Formato | |
---|---|---|---|
02-baral-representing-JLP97.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
2.33 MB
Formato
Adobe PDF
|
2.33 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.