Knowledge and belief in philosophy and artificial intelligence
Armin Laux, Heinrich Wansing · 1995
Section 1 Methodology of epistemic reasoning: Intensionalitaet, Moegliche Welten und propositional attitudes - Formale und philosophische Grundlagenprobleme modaler Semantiken, Georg Struth on the methodology of epistemic logics, Christain Schumacher logic is not enough - why reasoning about another person's belief is reasoning under uncertainty, Anthony Jameson. Section 2 Common knowledge and mutual belief: mutuality and epistemic gaps, Gabriel Falkenberg common and mutual belief for agent modelling, Ullrich Hustadt different approaches to knowledge, common knowledge and Aumann's theorem, H.D.M. de Swart public information and mutual error, Hannes Rieser and Wolfgang Heydrich. Section 3 Acting, planning and reasoning about knowledge: Zur Semantik und Pragmatik epistemischer Einstellungen, Wolfgang Lenzen epistemic attitudes and communicative acts, Werner Stelzner terminological reasoning with knowledge and belief, J.-J. Buerckert, A. Graeber and A. Laux. Section 4 Formal aspects of epistemic reasoning: Methoden zur Konstruktion von Erweterungen von Aussagenlogik, Hans-Juergen Ohlbach conditionals and autoepistemic reasoning, Ulrich Wille from classical to normal modal logics, Olivier Gasquet and Andreas Herzig axiomatizing all I know about, Gerhard Lakemeyer.