A formal model for epistemic interactions

P. Garbacz, P. Kulicki, M. Lechniak, R. Trypuz (2009): A formal model for epistemic interactions. In: Nguyen,; Katarzyniak,; Janiak, (Ed.): New Challenges in Computational Collective Intelligence, pp. 205–216, Springer, 2009, ISBN: 978-3-642-03957-7.

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.

BibTeX (Download)

@inproceedings{iccci2009,
title = {A formal model for epistemic interactions},
author = {P. Garbacz and P. Kulicki and M. Lechniak and R. Trypuz},
editor = {N. T. Nguyen and R. Katarzyniak and A. Janiak},
url = {http://link.springer.com/chapter/10.1007%2F978-3-642-03958-4_18},
isbn = {978-3-642-03957-7},
year  = {2009},
date = {2009-01-01},
booktitle = {New Challenges in Computational Collective Intelligence},
pages = {205--216},
publisher = {Springer},
series = {Studies in Computational Intelligence},
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 = {abilities, epistemic interactions, knowledge representation},
pubstate = {published},
tppubtype = {inproceedings}
}