Computer Science – Artificial Intelligence
Scientific paper
2000-03-08
Computer Science
Artificial Intelligence
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado. 6 pages
Scientific paper
E-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.
Kakas Antonis
Miller Rob
Toni Francesca
No associations
LandOfFree
E-RES: A System for Reasoning about Actions, Events and Observations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with E-RES: A System for Reasoning about Actions, Events and Observations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and E-RES: A System for Reasoning about Actions, Events and Observations will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-144011