Search
 
loader loading subjects...
cover
Multi-Agent Logic with Distances, Uncertainty and Interaction Based on Linear Temporal Frames
Vladimir Rybakov
169 - 178
10.3233/978-1-61499-105-2-169
Frontiers in Artificial Intelligence and Applications
Volume 243: Advances in Knowledge-Based and Intelligent Information and Engineering Systems
Abstract

Our paper studies a new temporal agents’ knowledge logic TLDistKnI,U, which expresses localised agents’ knowledge, operation of knowledge via agents’ interaction, operation of uncertainty and operations responsible for measuring distances. We study problems of satisfiability and decidability for TLDistKnI,U. We _nd an algorithm which recognizes theorems of TLDistKnI,U, this implies that TLDistKnI,U is decidable, and the satisfiability problem for TLDistKnI,U is solvable

$35.00 / €27.50 / £22.00
Add PDF to cart