Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMichael, Loizosen
dc.contributor.authorMiller, R.en
dc.creatorKakas, Antonis C.en
dc.creatorMichael, Loizosen
dc.creatorMiller, R.en
dc.description.abstractWe describe Modular-E (ME), a specialized, model-theoretic logic for reasoning about actions. ME is able to represent non-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications), and narrative information in the form of action occurrences and observations along a time line. We give formal results which characterize ME's high degree of modularity and elaboration tolerance, and show how these properties help to separate out, and provide principled solutions to, different aspects of the qualification problem. In particular, we identify the endogenous qualification problem as the problem of properly accounting for highly distributed, and potentially conflicting, causal knowledge when reasoning about the effects of actions. We show how a comprehensive solution to the endogenous qualification problem helps simplify the exogenous qualification problem - the problem of reconciling conflicts between predictions about what should be true at particular times and actual observations. More precisely, we describe how ME is able to use straightforward default reasoning techniques to solve the exogenous qualification problem largely because its robust treatments of the frame, ramification and endogenous qualification problems combine into a particular characteristic of elaboration tolerance that we formally encapsulate as a notion of "free will". © 2010 Elsevier B.V. All rights reserved.en
dc.sourceArtificial Intelligenceen
dc.subjectDefault reasoningen
dc.subjectReasoning about actionsen
dc.subjectDeterministic domainsen
dc.subjectElaboration toleranceen
dc.subjectFree Willen
dc.subjectIndirect effectsen
dc.subjectQualification problemen
dc.subjectTime lineen
dc.titleModular-E and the role of elaboration tolerance in solving the qualification problemen
dc.description.endingpage78 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Cited By :11</p>en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record