Authors:
Vladimir Rybakov
and
Sergey Babenyshev
Affiliation:
Manchester Metropolitan University; Siberian Federal University, Russian Federation
Keyword(s):
Multi-agent logic, temporal logic, interacting agents, decision algorithms, satisfiability, inference rules.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Biomedical Engineering
;
Case-Based Reasoning
;
Data Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Information Systems Analysis and Specification
;
Intelligent Agents
;
Internet Technology
;
Knowledge Management
;
Ontologies and the Semantic Web
;
Pattern Recognition
;
Society, e-Business and e-Government
;
Symbolic Systems
;
Theory and Methods
;
Verification and Validation of Knowledge-Based Systems
;
Web Information Systems and Technologies
Abstract:
This paper suggests a temporal multi-agent logic LDM A (with interacting agents), to imitate decision-making of independent agents, supported by access to knowledge through interaction with other agents. The interaction is modeled by considering all possible communication paths between agents in temporal Kripke/Hintikka like models. The logic LDM A distinguishes local and global decision-making and is based on temporal Kripke/Hintikka models with agents accessibility relations defined between the states of time clusters. The main result provides a decision algorithm for LDM A (so, we prove that the set of theorems of LDM A is decidable), which also solves the satisfiability problem for LDM A .