Institute of Computer Science III
University of Bonn
Databases * Information Systems * Software Engineering *
Pattern Recognition * Image Processing * Artificial Intelligence * Robotics
All You Ever Wanted to Know about Tweety
We propose a formalization of only-knowing-about, which captures the idea that something is all an agent knows about some subject matter. The work extends a previous formalization of only-knowing by Levesque. Besides discussing some of the logical properties of the new concept, we also address the issue of computing what is known about some subject matter for a given knowledge base. In this context, we are able to relate only-knowing-about to deKleer's ATMS. Finally, we show that only-knowing-about is efficiently computable, if we weaken the underlying model of belief.
Click here to obtain the full paper (PS, gzip, 62372 bytes, 17 pages)
webmaster@www.informatik.uni-bonn.de -
16.12.05