loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Vladimir Rybakov and Sergey Babenyshev

Affiliation: Manchester Metropolitan University; Siberian Federal University, Russian Federation

ISBN: 978-989-8111-37-1

ISSN: 2184-4992

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 .

PDF ImageFull Text

Download
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.238.147.211

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, 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},
}

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
AU - Rybakov, V.
AU - Babenyshev, S.
PY - 2008
SP - 125
EP - 129
DO - 10.5220/0001672301250129

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.