E-RES: A System for Reasoning about Actions, Events and Observations

Simple item page
dc.creatorKakas, Antonis
dc.creatorMiller, Rob
dc.creatorToni, Francesca
dc.date2000-03-08
dc.date2000-03-09
dc.date.accessioned2026-07-07T03:16:00Z
dc.date.available2026-07-07T03:16:00Z
dc.descriptionE-RES is a system that implements the Language E, a logic for reasoning about narratives of action occurrences and observations. E's semantics is model-theoretic, but this implementation is based on a sound and complete reformulation of E in terms of argumentation, and uses general computational techniques of argumentation frameworks. The system derives sceptical non-monotonic consequences of a given reformulated theory which exactly correspond to consequences entailed by E's model-theory. The computation relies on a complimentary ability of the system to derive credulous non-monotonic consequences together with a set of supporting assumptions which is sufficient for the (credulous) conclusion to hold. E-RES allows theories to contain general action laws, statements about action occurrences, observations and statements of ramifications (or universal laws). It is able to derive consequences both forward and backward in time. This paper gives a short overview of the theoretical basis of E-RES and illustrates its use on a variety of examples. Currently, E-RES is being extended so that the system can be used for planning.
dc.descriptionProceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado. 6 pages
dc.identifierhttps://arxiv.org/abs/cs/0003034
dc.identifierhttp://arxiv.org/abs/cs/0003034
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30194
dc.subjectArtificial Intelligence
dc.subjectI.2.4; F.4.1
dc.titleE-RES: A System for Reasoning about Actions, Events and Observations
dc.typetext

Files

Collections

arXiv