liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Object-oriented Reasoning about Action and Change
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2001 (English)In: Proceedings of the Seventh Scandinavian Conference on Artificial Intelligence (SCAI) / [ed] H.H. Lund, B. Mayoh, J. Perram, IOS Press, 2001, 53-64 p.Conference paper (Refereed)
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

Place, publisher, year, edition, pages
IOS Press, 2001. 53-64 p.
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 66
National Category
Engineering and Technology Computer Science
URN: urn:nbn:se:liu:diva-60035ISBN: 1-58603-161-9 (print)OAI: diva2:354760
Available from: 2010-10-04 Created: 2010-10-04 Last updated: 2012-02-01

Open Access in DiVA

No full text

By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Engineering and TechnologyComputer Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 89 hits
ReferencesLink to record
Permanent link

Direct link