Knowledge Constructions for Artificial Intelligence

摘要: 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 quantified logics. This useful representation schemes artificial intelligence multi-agent systems uncertainty. In general, all the logics considered here, seen to give rise partiality, including partial common distributed knowledge. A method creating non-monotonicity will then be suggested, based on partialised 'only knowing' inaccessible possible worlds. The overall purpose show extent games combine a variety constructions.