Object-oriented reasoning in cognitive systems

Janusz Korniak

doi:10.1117/12.389382

23 June 2000 Object-oriented reasoning in cognitive systems

Janusz Korniak

Proceedings Volume 4026, Enabling Technology for Simulation Science IV; (2000) https://doi.org/10.1117/12.389382
Event: AeroSense 2000, 2000, Orlando, FL, United States

Abstract

The intelligence agent architecture widely employs methods of logic of belief. The goal of the paper is to find a correct and effective inference mechanism that can substantially improve resolution based traditional methods. The semantics of the mechanism is based on Minsky's frames. Each agent is modeled by Minsky's frames with their slots representing what agent believes in. Inference process is realized by daemons filling the frames slots. The filling in this context means setting unknown slot values. The order of reasoning is established by a directed acyclic graph and driven by the topological sorting as a reasoning strategy. The inference algorithm analysis shows that the new method works in polynomial time. Therefore it is more efficient than NP, resolution based traditional methods. The correctness of object oriented implementation of the algorithm is established by considering the inference process in terms of abstract relational systems and their isomorphisms. Finally an implementation methodology of agents and their inference process in object oriented language is presented. All the considered concepts and methodology are illustrated in object oriented solution to `three wisemen problem' implemented in Smalltalk.

Citation Download Citation

Janusz Korniak "Object-oriented reasoning in cognitive systems", Proc. SPIE 4026, Enabling Technology for Simulation Science IV, (23 June 2000); https://doi.org/10.1117/12.389382

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available