Abstract
Our paper suggests a computational framework for verification valid inference in agents’ temporal logics. As a tool, describing human reasoning procedure, we suggest valid inference rules (valid semantically - in Kripke-like frames generating logic). We investigate valid inference rules in agents’ temporal logics with linear and branching intransitive time. Main results of our paper are suggested algorithms which allow to compute valid inference rules in agents’ liner time logics \(\mathcal{LTL}_K\) and \(\mathcal{LTL}_K(Z)\), agents’ logic with branching intransitive time \({\mathcal L}_{TA_i}\), and the logic with branching transitive time \({\mathcal L}_{TA_t}\).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
van Benthem, J.: The Logic of Time.- A Model-Theoretic Investigation into the Varieties Temporal Ontology and Temporal Discourse. Kluwer, Dordrecht (1991)
van Benthem, J.: Modality, bisimulation and interpolation in infinitary logic. Ann. Pure Appl. Logic 96 (1999)
Gabbay, D.M., Schlechta, K.: A theory of hierarchical consequence and conditionals. Journal of Logic, Language and Information 19(1), 3–32 (2010)
Gabbay, D.M., Rodrigues, O., Pigozzi, G.: Connections between belief revision, belief merging and social choice. J. Log. Comput. 19(3), 445–446 (2009)
Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Stud. Logic Found. Math. Elsevier Sci. Publ., Noth-Holland (2003)
Ian Hodkinson, A.M., Sciavicco, G.: Non-finite axiomatizability and undecidability of interval temporal logics with c, d, and t. In: Kaminski, M., Martini, S. (eds.) CSL 2008. LNCS, vol. 5213, pp. 308–322. Springer, Heidelberg (2008)
Hodkinson, I.M.: Complexity of monodic guarded fragments over linear and real time. Ann. Pure Appl. Logic 138(1-3), 94–125 (2006)
Hodkinson, I., Woter, F., Zakharyaschev, M.: Undecidable fragments of first-order branching time logic. In: LICS 2002, pp. 393–402 (2002)
Hodkinson, I.: Temporal logic and automata. In: Tempral Logic. Math. Found. and Comp. Asp, ch. 2, vol. 2, pp. 30–72. Clarendon Press (2000)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)
Halpern, J., Shore, R.: Reasoning about common knowledge with infinitely many agents. Information and Computation 191(1), 1–40 (2004)
Schmidt, R., Tishkovsky, D.: Multi-agent dynamic logics with informational test. Annals of Mathematics and Artificial Intelligence 42(1–3), 5–36 (September 2004)
Hintikka, J., Vandamme, F.: Logic of Discovery and Logic of Discourse. Springer, Heidelberg (1986)
Pnueli, A.: The temporal logic of programs. In: Proc. of the 18th Annual Symp. on Foundations of Computer Science, pp. 46–57. IEEE, Los Alamitos (1977)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems: Safety. Springer, Heidelberg (1995)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)
Clarke, E., Grumberg, O., Hamaguchi, K.P.: Another look at ltl model checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol. 818. Springer, Heidelberg (1994)
Daniele, M., Giunchiglia, F., Vardi, M.: Improved automata generation for linear temporal logic. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 249–260. Springer, Heidelberg (1999)
Vardi, M.: An automata-theoretic approach to linear temporal logic. In: Proceedings of the Banff Workshop on Knowledge Acquisition, Banff 1994 (1994)
van Benthem, J.: The Logic of Time. Kluwer, Dordrecht (1991)
van Benthem, J., Bergstra, J.: Logic of transition systems. Journal of Logic, Language and Information 3(4), 247–283 (1994)
Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes, vol. 7 (1992)
Gabbay, D., Hodkinson, I.: An axiomatisation of the temporal logic with until and since over the real numbers. Journal of Logic and Computation 1(2), 229–260 (1990)
Hodkinson, I.: Temporal Logic and Automata, Chapter II of Temporal Logic, vol. 2, pp. 30–72. Clarendon Press, Oxford (2000)
Rybakov, V.: Logical consecutions in discrete linear temporal logic. Journal of Symbolic Logic 70(4), 1137–1149 (2005)
Rybakov, V.: Logical consecutions in intransitive temporal linear logic of finite intervals. Journal of Logic Computation 15(5), 633–657 (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. 487–497. Springer, Heidelberg (2007)
Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model checking rational agents. IEEE Intelligent Systems 19, 46–52 (September/October 2004)
Dix, J., Fisher, M., Levesque, H., Sterling, L.: Editorial. Annals of Mathematics and Artificial Intelligence 41(2–4), 131–133 (2004)
van der Hoek, W., Wooldridge, M.: Towards a logic of rational agency. Logic Journal of the IGPL 11(2), 133–157 (2003)
Fisher, M.: Temporal development methods for agent-based systems. Journal of Autonomous Agents and Multi-Agent Systems 10(1), 41–66 (2005)
Hendler, J.: Agents and the semantic web. IEEE Intelligent Systems 16(2), 30–37 (2001)
Kacprzak, M.: Undecidability of a multi-agent logic. Fundamenta Informaticae 45(2–3), 213–220 (2003)
Wooldridge, M., Weiss, G., Ciancarini, P. (eds.): AOSE 2001. LNCS, vol. 2222. Springer, Heidelberg (2002)
Fagin, R., Geanakoplos, J., Halpern, J., Vardi, M.: The hierarchical approach to modeling knowledge and common knowledge. International Journal of Game Theory 28(3), 331–365 (1999)
Rybakov, V.: Logic of discovery in uncertain situations – deciding algorithms. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 950–958. Springer, Heidelberg (2007)
Babenyshev, S., Rybakov, V.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.V.: Describing evolutions of multi-agent systems. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds.) Knowledge-Based and Intelligent Information and Engineering Systems. LNCS (LNAI), vol. 5711, pp. 38–45. Springer, Heidelberg (2009)
Rybakov, V.V.: Linear temporal logic K extended by multi-agent logic K n with interacting agents. J. of Logic Computation 19, 989–1017 (2009)
Rybakov, V.: Admissible Logical Inference Rules. Studies in Logic and the Foundations of Mathematics, vol. 136. Elsevier Sci. Publ., North-Holland (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Babenyshev, S., Rybakov, V. (2010). A Framework to Compute Inference Rules Valid in Agents’ Temporal Logics. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15387-7_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-15387-7_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15386-0
Online ISBN: 978-3-642-15387-7
eBook Packages: Computer ScienceComputer Science (R0)