loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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 .

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.98.81

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rybakov, V. and Babenyshev, S. (2008). ALGORITHMS FOR AI LOGIC OF DECISIONS IN MULTI-AGENT ENVIRONMENT. In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS; ISBN 978-989-8111-37-1; ISSN 2184-4992, SciTePress, pages 125-129. DOI: 10.5220/0001672301250129

@conference{iceis08,
author={Vladimir Rybakov. and Sergey Babenyshev.},
title={ALGORITHMS FOR AI LOGIC OF DECISIONS IN MULTI-AGENT ENVIRONMENT},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS},
year={2008},
pages={125-129},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001672301250129},
isbn={978-989-8111-37-1},
issn={2184-4992},
}

TY - CONF

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS
TI - ALGORITHMS FOR AI LOGIC OF DECISIONS IN MULTI-AGENT ENVIRONMENT
SN - 978-989-8111-37-1
IS - 2184-4992
AU - Rybakov, V.
AU - Babenyshev, S.
PY - 2008
SP - 125
EP - 129
DO - 10.5220/0001672301250129
PB - SciTePress