ALGORITHMS FOR AI LOGIC OF DECISIONS IN MULTI-AGENT ENVIRONMENT

Vladimir Rybakov, Sergey Babenyshev

2008

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 .

Paper Citation

in Harvard Style

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 2: ICEIS, ISBN 978-989-8111-37-1, pages 125-129. DOI: 10.5220/0001672301250129

in Bibtex Style

@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 2: ICEIS,},
year={2008},
pages={125-129},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001672301250129},
isbn={978-989-8111-37-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: 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