LiU Electronic Press
Full-text not available in DiVA
Author:
Gustafsson, Joakim (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Object-oriented Reasoning about Action and Change
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence (SCAI)
Editor:
H.H. Lund, B. Mayoh, J. Perram
Publisher: IOS Press
Series:
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389; 66
Pages:
53-64
Year of publ.:
2001
URI:
urn:nbn:se:liu:diva-60035
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-60035
ISBN:
1-58603-161-9
Subject category:
Engineering and Technology
Computer Science
SVEP category:
TECHNOLOGY
Computer science
Abstract(en) :

As the scope of logics of action and change continues to increase and powerful research tools are developed, it becomes possible to model larger and more complex scenarios. Unfortunately the scenarios become harder to read and difficult to modify and debug with increasing size and complexity. These problems have been overlooked in the action and change community due to the fact that only smaller toy problems are considered. Sound modeling methodology is as essential as the primitives of the modeling language. The object-oriented paradigm is one structuring mechanism that alleviates these problems and provides a systematic means of scenario construction. The topic of this paper is to demonstrate how many ideas from the object orientation paradigm can be used when reasoning about action and change, we show this by integrating the technique directly in an existing logic of action and change without any modification to the underlying logical language or semantics. 1

Available from:
2010-10-04
Created:
2010-10-04
Last updated:
2012-02-01
Statistics:
5 hits