UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

An elaboration tolerant approach to the ramification and qualification problems

Kakas, A.; Michael, L.; Miller, R.; (2005) An elaboration tolerant approach to the ramification and qualification problems. In: Carbonell, J.G. and Siekmann, J., (eds.) Logic Programming and Nonmonotonic Reasoning: 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. (pp. pp. 211-226). Springer Verlag: Berlin/ Heidelberg, Germany.

Full text not available from this repository.

Abstract

We describe MediaObjects/InlineFigure2.png (MediaObjects/InlineFigure3.png), 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 MediaObjects/InlineFigure4.pnghigh 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: An elaboration tolerant approach to the ramification and qualification problems
ISBN-13: 9783540285380
DOI: 10.1007/11546207_17
Publisher version: http://www.springer.com/computer/artificial/book/9...
Language: English
Additional information: Paper presented at the 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005,
UCL classification: 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/12280
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