Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction

TL;DR

This paper introduces a new temporal logic for multi-agent knowledge representation, providing a decidable framework for computing truth-values and satisfiability of statements, with potential applications in various domains.

Contribution

It proposes a novel temporal, agent-knowledge logic TL, along with an algorithm for theorem proving and satisfiability checking, establishing its decidability.

Findings

The logic TL is decidable.

An algorithm for theorem proving and satisfiability is developed.

Applications in multi-agent systems are discussed.

Abstract

This paper studies knowledge representation in multi-agent environment. We investigate technique for computation truth-values of statements based at a new temporal, agent's-knowledge logic TL. A logical language, mathematical symbolic models and a temporal logic TL based at these models are suggested. We find an algorithm which computes theorems of TL and satisfiability of statements, this implies that TL is decidable (i.e. -- the satisfiability problem for TL is solvable). Application areas are pointed and discussed.