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 .

References

  1. Arisha, K., Ozcan, F., Ross, R., Subrahmanian, V., Eiter, T., and Kraus., S. (1999). Impact: A platform for collaborating agents. IEEE Intelligent Systems, 14(3):64-72.
  2. Avouris, N. (1995). Co-operation knowledge-based systems for environmental decision-support. KnowledgeBased Systems, 8(1):39-53.
  3. Cortés, U., Sánchez-Marré, M., and L.Ceccaroni (2000). Artificial intelligence and environmental decision support systems. Applied Intelligence, 13(1):77-91.
  4. Fagin, R., Halpern, J., Moses, Y., and Vardi, M. (1995). Reasoning About Knowledge. The MIT Press.
  5. Goldblatt, R. (2003). Mathematical modal logic: A view of its evolution. Journal of Applied Logic, 1(5-6):309- 392.
  6. Halpern, J. and Shore, R. (2004). Reasoning about common knowledge with infinitely many agents. Information and Computation, 191(1):1-40.
  7. Harmelem, F. and Horrocks, I. (2000). The semantic web and its languages-faqs on oil: The ontology inference layer. IEEE Intelligent Systems, 15(6):69-72.
  8. Hendler, J. (2001). Agents and the semantic web. IEEE Intelligent Systems, 16(2):30-37.
  9. Hintikka, J. and Vandamme, F. (1986). Logic of Discovery and Logic of Discourse. Springer.
  10. Ohsawa, Y. and McBurney, P., editors (2003). Chance Discovery. Advanced Information Processing. Springer Verlag.
  11. Peltier, N. (2003). Constructing decision procedures in equational clausal logic. Fundamenta Informaticae, 54(1):17-65.
  12. Rybakov, V. (1997). Admissible Logical Inference Rules, volume 136 of Studies in Logic and the Foundations of Mathematics. Elsevier Sci. Publ., North-Holland.
  13. Rybakov, V. (2005a). Logical consecutions in discrete linear temporal logic. Journal of Symbolic Logic, 70(4):1137-1149.
  14. Rybakov, V. (2005b). Logical consecutions in intransitive temporal linear logic of finite intervals. Journal of Logic Computation, 15(5):633-657.
  15. Rybakov, V. (2006). Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms, volume 3967 of Lecture Notes in Computer Science, pages 322-334. Springer.
  16. Rybakov, V. (2007). Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms, volume 4514 of Lecture Notes in Computer Science, pages 487-497. Springer, New York.
  17. Schmidt, R. and Tishkovsky, D. (2004). Multi-agent dynamic logics with informational test. Annals of Mathematics and Artificial Intelligence, 42(1-3):5-36.
  18. van Benthem, J. (1983). The Logic of Time, volume 156 of Synthese Library. Reidel, Dordrecht.
Download


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