UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems

Kakas, A; Michael, L; Miller, RS; (2005) Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems. In: Baral, C and Greco, G and Leone, N and Terracina, G, (eds.) (Proceedings) 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’05). (pp. pp. 211-226). Springer-Verlag: Berlin, Germany.

Full text not available from this repository.

Abstract

Diamante, Italy, September 5-8, 2005 We describe Modular-E (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.

Type: Proceedings paper
Title: Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems
Event: 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’05)
Dates: 05 September 2005 - 08 September 2005
DOI: 10.1007/11546207_17
Keywords: Artificial Intelligence, Logic, Knowledge Representation
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL SLASH
UCL > Provost and Vice Provost Offices > UCL SLASH > Faculty of Arts and Humanities > Dept of Information Studies
URI: http://discovery.ucl.ac.uk/id/eprint/38233
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item