Skip to main content
SpringerLink
Log in

Multi-Agent Temporary Logic \( TS4^U_{K_n}\) Based at Non-linear Time and Imitating Uncertainty via Agents’ Interaction

  • Conference paper
Artificial Intelligence and Soft Computing (ICAISC 2013)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7895))

Included in the following conference series:

Abstract

This paper considers AI problems concerning reasoning in multi-agent environment. We introduce and study multi-agents’ non-linear temporal logic \({\bf TS4^U_{K_n}}\) based on arbitrary (in particular, non-linear, finite or infinite) frames with reflexive and transitive accessibility relations, and individual symmetric accessibility relations R i for agents. Main accent of our paper is modeling of logical uncertainty for statements via interaction of agents (passing knowledge). Conception of interacting agents is implemented via arbitrary finite paths of transitions by agents accessibility relations. We address problems decidability and satisfiability for \({\bf TS4^U_{K_n}}\). It is proved that \({\bf TS4^U_{K_n}}\) is decidable (and, in particular, the satisfiability problem for it is also decidable). We suggest an algorithm for checking satisfiability based on computation possibility of refutation special inference rues in finite models of effectively bounded size.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Arisha, K., Ozcan, F., Ross, R., Subrahmanian, V.S., Eiter, T., Kraus, S.I.: A platform for collaborating agents. IEEE Intelligent Systems 14(2), 64–72 (1999)

    Article  Google Scholar 

  2. Avouris, N.M.: Co-operation knowledge-based systems for environmental decision-support. Knowledge-Based Systems 8(1), 39–53 (1995)

    Article  Google Scholar 

  3. Babenyshev, S., Rybakov, V.: Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms. In: Falsafi, B., VijayKumar, T.N. (eds.) PACS 2000. LNCS, vol. 2008, pp. 210–217. Springer, Heidelberg (2001)

    Google Scholar 

  4. Babenyshev, S., Rybakov, V.: Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds.) CiE 2008. LNCS, vol. 5028, pp. 32–41. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  5. Babenyshev, S., Rybakov, V.: Logic of Discovery and Knowledge: Decision Algorithm. In: Falsafi, B., VijayKumar, T.N. (eds.) PACS 2000. LNCS, vol. 2008, pp. 711–718. Springer, Heidelberg (2001)

    Google Scholar 

  6. Babenyshev, S., Rybakov, V.: Describing Evolutions of Multi-Agent Systems. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds.) KES 2009, Part I. LNCS, vol. 5711, pp. 38–45. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  7. Brachman, R.J., Schmolze, J.G.: An overview on the KL-ONE knowledge representation system. Cognitive Science 9(2), 179–226 (1985)

    Article  Google Scholar 

  8. Barwise, J.: Three Views of Common Knowledge. In: Vardi (ed.) Proc. Second Confeuence on Theoretical Aspects of Reasoning about Knowledge, pp. 365–379. Morgan Kaufmann, San Francisco (1988)

    Google Scholar 

  9. Dwork, C., Moses, Y.: Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures. Information and Computation 68(2), 156–183 (1990)

    Article  MathSciNet  Google Scholar 

  10. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge, p. 410. The MNT Press, Cambridge (1995)

    MATH  Google Scholar 

  11. Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16(2), 30–37 (2001)

    Article  Google Scholar 

  12. Kifer, M., Lozinski, L.: A Logic for Reasoning with Inconsistency. J. Automated Deduction 9, 171–215 (1992)

    Google Scholar 

  13. Kraus, S., Lehmann, D.L.: Knowledge, Belief, and Time. Theoretical Computer Science 98, 143–174 (1988)

    MathSciNet  Google Scholar 

  14. Moses, Y., Shoham, Y.: Belief and Defeasible Knowledge. Artificial Intelligence 64(2), 609 - 322 (1993)

    Google Scholar 

  15. Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS, vol. 322 (1940)

    Google Scholar 

  16. Neiger, G., Tuttle, M.R.: Common knowledge and consistent simultaneous coordination. Distributed Computing 5(3), 334–352 (1993)

    Google Scholar 

  17. Nguyen, N.T., Jo, G.-S., Howlett, R.J., Jain, L.C. (eds.): KES-AMSTA 2008. LNCS (LNAI), vol. 4953. Springer, Heidelberg (2008)

    Google Scholar 

  18. Nguyen, N.T., Huang, D.S.: Knowledge Management for Autonomous Systems and Computational Intelligence. Journal of Universal Computer Science 15(4) (2009)

    Google Scholar 

  19. Nguyen, N.T., Katarzyniak, R.: Actions and Social Interactions in Multi-agent Systems. Special issue for International Journal of Knowledge and Information Systems 18(2) (2009)

    Google Scholar 

  20. Sakama, C., Son, T.C.: Interactind Answer Set. In: Dix, J., Fisher, M., Novák, P. (eds.) CLIMA X. LNCS, vol. 6214, pp. 122–140. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Rybakov, V.V.: A Criterion for Admissibility of Rules in the Modal System S4 and the Intuitionistic Logic. Algebra and Logic 23(5), 369–384 (1984) (Engl. Translation)

    Google Scholar 

  22. Rybakov, V.V.: Admissible Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol. 136. Elsevier Sci. Publ., North-Holland (1997)

    Google Scholar 

  23. Rybakov, V.V.: Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic (ASL, USA) 70(4), 1137–1149 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  24. Rybakov, V.: Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. In: Artemov, S., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 486–497. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  25. Rybakov, V.: Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Inf. Sci. 179(11), 1608–1614 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  26. Rybakov, V.: Linear Temporal Logic LTK K extended by Multi-Agent Logic K n with Interacting Agents. J. Log. Comput. 19(6), 989–1017 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  27. Rybakov, V.V.: Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part I. LNCS, vol. 6881, pp. 306–315. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  28. Rybakov, V.V.: Agents’ Logics with Common Knowledge and Uncertainty: Unification Problem, Algorithm for Construction Solutions. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part I. LNCS, vol. 6881, pp. 171–179. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  29. Rybakov, V.: Multi-Agent Logic based on Temporary Logic \(TS4_{K_n}\) serving Web Search. In: Grana, M., et al. (eds.) KES 2012, Advances in Knowledge-Based and Intelligent Information and Engineering Systems. Frontiers in Artificial Intelligence and Applications, vol. 243, pp. 108–117 (2012)

    Google Scholar 

  30. Rychtyckyi, N.: DLMS: An evaluation of KL-ONE in the automobile industry. In: Aiello, L.C., Doyle, J., Shapiro, S. (eds.) Proc. of he 5-th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1996), pp. 588–596. Morgan Kaufmann, San Francisco (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, Mathematics and DT, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, U.K.

    David McLean & Vladimir Rybakov

  2. Institute of Mathematics, Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041, Russia

    Vladimir Rybakov

Authors
  1. David McLean
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vladimir Rybakov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Częstochowa University of Technology, Armii Krajowej 36, 42-200, Częstochowa, Poland

    Leszek Rutkowski , Marcin Korytkowski  & Rafał Scherer ,  & 

  2. AGH University of Science and Technology, Michiewicza 30, 30-059, Kraków, Poland

    Ryszard Tadeusiewicz

  3. Department of Electrical Engineering and Computer Sciences, University of California, 94720-1776, Berkeley, CA, USA

    Lotfi A. Zadeh

  4. Electrical and Computer Engineering, University of Louisville, 405 Lutz Hall, 40292, Louisville, KY, USA

    Jacek M. Zurada

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McLean, D., Rybakov, V. (2013). Multi-Agent Temporary Logic \( TS4^U_{K_n}\) Based at Non-linear Time and Imitating Uncertainty via Agents’ Interaction. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artificial Intelligence and Soft Computing. ICAISC 2013. Lecture Notes in Computer Science(), vol 7895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38610-7_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38610-7_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38609-1

  • Online ISBN: 978-3-642-38610-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation