dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Michael, Loizos | en |
dc.contributor.author | Miller, R. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Michael, Loizos | en |
dc.creator | Miller, R. | en |
dc.date.accessioned | 2019-11-13T10:40:28Z | |
dc.date.available | 2019-11-13T10:40:28Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54141 | |
dc.description.abstract | We describe Modular-ε (ME), a specialized, model-theoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects (ramifications). 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 a principled solutions to, the endogenous and exogenous qualification problems. We also show how a notion of (micro) processes can be used to facilitate reasoning at the dual levels of temporal granularity necessary for narrative-based domains involving "instantaneous" series of indirect and knock-on effects. | en |
dc.source | 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005 | en |
dc.source | 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84888355278&partnerID=40&md5=25c5313e0cffdbe6789158f182a926ca | |
dc.subject | Reasoning about actions | en |
dc.subject | Indirect effects | en |
dc.subject | Model-theoretic | en |
dc.subject | Knock-on effect | en |
dc.subject | Temporal granularity | en |
dc.title | Modular-ε: An elaboration tolerant approach to the ramification and qualification problems - Preliminary report | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Conference Object | en |
dc.description.notes | <p>Conference code: 100951 | en |
dc.description.notes | Cited By :7</p> | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |