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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
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)
Avouris, N.M.: Co-operation knowledge-based systems for environmental decision-support. Knowledge-Based Systems 8(1), 39–53 (1995)
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)
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)
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)
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)
Brachman, R.J., Schmolze, J.G.: An overview on the KL-ONE knowledge representation system. Cognitive Science 9(2), 179–226 (1985)
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)
Dwork, C., Moses, Y.: Knowledge and Common Knowledge in a Byzantine Environment: Crash Failures. Information and Computation 68(2), 156–183 (1990)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge, p. 410. The MNT Press, Cambridge (1995)
Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16(2), 30–37 (2001)
Kifer, M., Lozinski, L.: A Logic for Reasoning with Inconsistency. J. Automated Deduction 9, 171–215 (1992)
Kraus, S., Lehmann, D.L.: Knowledge, Belief, and Time. Theoretical Computer Science 98, 143–174 (1988)
Moses, Y., Shoham, Y.: Belief and Defeasible Knowledge. Artificial Intelligence 64(2), 609 - 322 (1993)
Nebel, B.: Reasoning and Revision in Hybrid Representation Systems. LNCS, vol. 322 (1940)
Neiger, G., Tuttle, M.R.: Common knowledge and consistent simultaneous coordination. Distributed Computing 5(3), 334–352 (1993)
Nguyen, N.T., Jo, G.-S., Howlett, R.J., Jain, L.C. (eds.): KES-AMSTA 2008. LNCS (LNAI), vol. 4953. Springer, Heidelberg (2008)
Nguyen, N.T., Huang, D.S.: Knowledge Management for Autonomous Systems and Computational Intelligence. Journal of Universal Computer Science 15(4) (2009)
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)
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)
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)
Rybakov, V.V.: Admissible Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol. 136. Elsevier Sci. Publ., North-Holland (1997)
Rybakov, V.V.: Logical Consecutions in Discrete Linear Temporal Logic. Journal of Symbolic Logic (ASL, USA) 70(4), 1137–1149 (2005)
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)
Rybakov, V.: Logic of knowledge and discovery via interacting agents - Decision algorithm for true and satisfiable statements. Inf. Sci. 179(11), 1608–1614 (2009)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)