Modular-ε: An elaboration tolerant approach to the ramification and qualification problems
Ημερομηνία
2005ISSN
0302-9743Source
8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005Volume
3662 LNAIPages
211-226Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
We describe Modular-ε (Mε), a specialized, modeltheoretic 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 Mε'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. © Springer-Verlag Berlin Heidelberg 2005.