Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Knowledge Constructions for Artificial Intelligence

Ahti PietarinenContact Information

(5)  Department of Philosophy, University of Helsinki, University of Helsinki, P.O. Box 9, FIN-00014, Finland
Abstract
Some new types of knowledge constructions in epistemic logic are defined, and semantics given by combining game-theoretic notions with modal models. One such notion introduced is focussed knowledge, which arises from imperfect information in quantified epistemic logics. This notion is useful in knowledge representation schemes in artificial intelligence and multi-agent systems with uncertainty. In general, in all the logics considered here, the imperfect information is seen to give rise to partiality, including partial common and partial distributed knowledge. A game-theoretic method of creating non-monotonicity will then be suggested, based on the partialised notion of ‘only knowing’ and inaccessible possible worlds. The overall purpose is to show the extent in which games combine with a given variety of knowledge constructions.

Contact Information Ahti Pietarinen
Email: pietarin@cc.helsinki.fi
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.108 • Server: mpweb08
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)