Chapter

New Challenges in Computational Collective Intelligence

Volume 244 of the series Studies in Computational Intelligence pp 205-216

A Formal Model for Epistemic Interactions

  • Paweł GarbaczAffiliated withJohn Paul II Catholic University of Lublin
  • , Piotr KulickiAffiliated withJohn Paul II Catholic University of Lublin
  • , Marek LechniakAffiliated withJohn Paul II Catholic University of Lublin
  • , Robert TrypuzAffiliated withJohn Paul II Catholic University of Lublin

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we focus on those puzzles in which agents either collaborate or compete with one another in order to adopt their epistemological situations to their environment. Our goal is to devise a formal model for epistemic interactions and a family of reasoning mechanisms that would solve those puzzles. Once specified in the abstract manner, they are implemented in the Prolog environment.

Keywords

knowledge representation ontology epistemic change