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

Muyeba, Maybin; Rybakov, Vladimir

Abstract

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

• Working Paper Type: Working Paper
• Publication Date: Jun 20, 2014
• Deposit Date: Apr 1, 2025
• Pages: 10
• DOI: https://doi.org/10.48550/arXiv.1406.5495
• Keywords: computation of truth values; multi-agent logic; uncertainty; temporal logics; decision algorithms