caa a22 4500 386364540 CHVBK 20180307111928.0 cr unu---uuuuu 161130e198906 xx s 000 0 eng 10.1017/S0269888900004884 doi S0269888900004884 pii (NATIONALLICENCE)cambridge-10.1017/S0269888900004884 Reichgelt Han Artificial Intelligence Group, Department of Psychology, University of Nottingham, Nottingham NG7 2RD, England Logics for reasoning about knowledge and belief [Elektronische Daten] [Han Reichgelt] AI researchers are becoming increasingly aware of the importance of reasoning about knowledge and belief. This paper reviews epistemic logic, a logic designed specifically for this type of reasoning. I introduce epistemic logic, and discuss some of the philosophical problems associated with it. I then compare two different styles of implementing theorem provers for epistemic logic. I also briefly discuss autoepistemic logic, a form of epistemic logic intended to model an agent's introspective reasoning, i.e. an agent's reasoning about its own beliefs. Finally, I discuss some of the proposals in the AI literature that are aimed at avoiding some of the philosophical problems that dog both epistemic and autoepistemic logic. This paper is not a full introduction to the field. Rather, it is intended to give the reader some flavour of the problems that research in this area faces, as well as some of the proposals for solving these problems. Copyright © Cambridge University Press 1989 The Knowledge Engineering Review Cambridge University Press 4/2(1989-06), 119-139 0269-8889 4:2<119 1989 4 KER https://doi.org/10.1017/S0269888900004884 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1017/S0269888900004884 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Reichgelt Han Artificial Intelligence Group, Department of Psychology, University of Nottingham, Nottingham NG7 2RD, England NATIONALLICENCE 773 0- The Knowledge Engineering Review Cambridge University Press 4/2(1989-06), 119-139 0269-8889 4:2<119 1989 4 KER CC0 http://creativecommons.org/publicdomain/zero/1.0 nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-cambridge