000			02018nmm a2200205Ia 4500
008			220920s9999||||xx |||||||||||||| ||und||
020			_a9780511569852
082			_a006.33 _bM576E
100			_aMeyer, J. J. _eAuthor _lEnglish _91846
245		0	_aEpistemic Logic for AI and Computer Science _c/ by J. J. Meyer and W. van der. Hoek. _h[Electronic Resource]
260			_aCambridge _b: Cambridge University Press, _c1995
300			_axiv, 354p.
520			_aEpistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial intelligence: topics that are addressed include the notions of common knowledge, distributed knowledge, explicit and implicit belief, the interplays between knowledge and time, and knowledge and action, as well as a graded (or numerical) variant of the epistemic operators. The problem of logical omniscience is also discussed extensively. Halpern and Moses' theory of honest formulae is covered, and a digression is made into the realm of non-monotonic reasoning and preferential entailment. Moore's autoepistemic logic is discussed, together with Levesque's related logic of 'all I know'. Furthermore, it is shown how one can base default and counterfactual reasoning on epistemic logic.
650			_aAlgorithmics _915714
650			_aMathematics _913
650			_aProgramming Languages _915715
700			_aHoek, W. van der. _i[Author] _91848
856			_uhttps://doi.org/10.1017/CBO9780511569852 _qPDF _yClick to Access the Online Book
942			_cEBK _nYes
999			_c12237 _d12237