A Formal Model for Epistemic Interactions

13 years 11 months ago

Download www.l3g.pl

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 speciﬁed in ract manner, they are implemented in the Prolog environment. Key words: knowledge representation, ontology, epistemic change

Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe

Real-time Traffic

Epistemic | Epistemic Puzzles | ICCCI 2009 | Internet Technology | Test Harness Environment |

claim paper

» A temporal epistemic logic with a reset operation

» A logical formalism for the subjective approach in a multiagent setting

» An Internal Version of Epistemic Logic

» Some Semantics for a Logical Language for the Game of Dominoes

» Inconsistency Tolerance in P2P Data Integration An Epistemic Logic Approach

» Epistemic Logic for the Applied Pi Calculus

» Weighted Multi Dimensional Logic Programs

» Quantifying over coalitions in epistemic logic

Post Info
More Details (n/a)

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	ICCCI
Authors	Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz

Comments (0)

Sciweavers

A Formal Model for Epistemic Interactions

Epistemic | Epistemic Puzzles | ICCCI 2009 | Internet Technology | Test Harness Environment |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers