Abstract
In this paper, the Multi-flow Asynchronous Temporal Logic, called MAT Logic, is presented. MAT Logic is a new temporal×modal logic with non-deterministic operators among time flows as accessibility relations. The main goal of this work has been the design and description of a logic that could be capable of managing communications among systems with not necessarily synchronizable time flows. In order to better understand the design of the logic, an example in the field of communications is given.
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
Ancona, D., Mascardi, V.: Coo-bdi: Extending the bdi model with cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)
Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)
Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The boid architecture: conflicts between beliefs, obligations, intentions and desires. In: AGENTS 2001: Proceedings of the fifth international conference on Autonomous agents, pp. 9–16 (2001)
Burgess, J.P.: Basic tense logic. In: Handbook of philosophical logic, II. Synthese Lib., vol. 165, pp. 89–133. Reidel, Dordrecht (1984)
Burrieza, A., de Guzmán, I.P.: A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time. J. Appl. Non-Classical Logics 2(2), 181–200 (1992)
Burrieza, A., de Guzmán, I.P.: A functional approach for temporal modal logics. Acta Inf. 39(2), 71–96 (2003)
Burrieza, A., de Guzmán, I.P., Muñoz, E.: Indexed flows in temporal×modal logic with functional semantics. In: Proceedings Ninth International Symposium on Temporal Representation and Reasoning (TIME 2002), pp. 146–153 (2002)
De Nicola, R., Loreti, M.: A modal logic for mobile agents. ACM Trans. Comput. Logic 5(1), 79–128 (2004)
Ehrich, H.-D., Caleiro, C., Sernadas, A., Denker, G.: Logics for specifying concurrent information systems. In: Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems, pp. 167–198. Kluwer, Dordrecht (1998)
Dix, A.J.: Formal Methods in Human-Computer interaction. In: Nondeterminism as a paradigm for understanding the user interface, ch. 4, pp. 97–127. Cambridge University Press, Cambridge (1990)
Halpern, J.Y., Vardi, M.Y.: Reasoning about Knowledge and Time in Asynchronous Systems. ACM: Association for Computer Machinery, 53–65 (1988)
Johnson, C.W.: Using temporal logic to prototype interactive systems. In: Diaper, D., Gilmore, D.J., Cockton, G., Shackel, B. (eds.) INTERACT, pp. 1019–1020. North-Holland, Amsterdam (1990)
Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer, New York (1992) Specification
Masini, A., Maggiolo-Schettini, A.: Ttl: A formalism to describe local and global properties of distributed systems. Informatique Theorique et Applications 26, 115–162 (1992)
Mishchenko, A., Brayton, R.K.: A theory of non-deterministic networks. In: ICCAD, pp. 709–717. IEEE Computer Society/ACM (2003)
Ramanujam, R.: Locally linear time temporal logic. In: LICS, pp. 118–127 (1996)
Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: KR, pp. 439–449 (1992)
Thiagarajan, P.S., Henriksen, J.G.: Distributed versions of linear time temporal logic: A trace perspective. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1492, pp. 643–681. Springer, Heidelberg (1998)
Thomason, R.H.: Combinations of tense and modality. In: Handbook of philosophical logic, II. Synthese Lib., vol. 165, pp. 135–165. Reidel, Dordrecht (1984)
Tomita, M.: Efficient Parsing for Natural Language: A Fast Algorithm for Practical Systems. Kluwer Academic Publishers, Norwell (1985)
Torroni, P.: Computational logic in multi-agent systems: Recent advances and future directions. Annals of Mathematics and Artificial Intelligence 42(1-3), 293–305 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aguilera, G., Burrieza, A., Cordero, P., de Guzmán, I.P., Muñoz, E. (2006). MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. In: Sichman, J.S., Coelho, H., Rezende, S.O. (eds) Advances in Artificial Intelligence - IBERAMIA-SBIA 2006. IBERAMIA SBIA 2006 2006. Lecture Notes in Computer Science(), vol 4140. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11874850_64
Download citation
DOI: https://doi.org/10.1007/11874850_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45462-5
Online ISBN: 978-3-540-45464-9
eBook Packages: Computer ScienceComputer Science (R0)