Vol. 31 Núm. 1 (2011)
Artículos

Hacia una lógica temporal-epistémica basada en lenguajes híbridos

José Rafael Herrera González
Universidad de La Laguna / Grupo LEMA
Margarita Vázquez Campos
Universidad de La Laguna / Grupo LEMA

Publicado 2011-05-01

Palabras clave

  • Epistemic Logic,
  • Temporal logic,
  • Hybrid logic,
  • Combining logics
  • Lógica epistémica,
  • Lógica temporal,
  • Lógica híbrida,
  • Combinación de lógicas

Resumen

Nuestro principal objetivo en este trabajo es el de analizar si es posible construir sistemas lógicos temporales-epistémicos lo suficientemente satisfactorios. Sin embargo, las principales dificultades para lograr este propósito provienen del hecho de tener que combinar una perspectiva temporal absoluta con una perspectiva epistémica relativa a cada agente; es decir, por un lado, los instantes de tiempo vienen determinados desde el punto de vista de un observador situado fuera del mundo, y, por otro lado, las alternativas epistémicas de cada agente (en cada instante) son relativas a dicho agente. Pensamos que algunas de estas dificultades podrían ser superadas con la ayuda de las lógicas híbridas, puesto que este tipo de lógicas simplifica la combinación de sistemas temporales y epistémicos, y así podemos evitar tener que construir modelos excesivamente complicados.

Citas

  1. Areces, C., Blackburn, P. y Marx, M. (2001), “Hybrid Logics: Characterization, Interpolation and Complexity”, The Journal of Symbolic Logic, 6 (3), pp. 977-1009.
  2. Blackburn, P. (1994), “Tense, Temporal Reference and Tense Logic”, Journal of Semantics, 11, pp. 83-101.
  3. Blackburn, P. (2000), “Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto”, Logic Journal of the IGPL, 8 (3), pp. 339-365.
  4. Blackburn, P. y Seligman, J. (1998), “What are Hybrid Languages?”, en Kracht, M., de Rijke, M., Wansing, H. y Zakharyaschev, M. (eds.), Advances in Modal Logic, vol.1, Stanford, CA, CSLI Publications.
  5. Engelfriet, J. (1996), “Minimal Temporal Epistemic Logic”, Notre Dame Journal of Formal Logic, 37 (2), pp. 233-259.
  6. Fagin, R. y Halpern, J. Y. (1988), “Belief, Awareness and Limited Reasoning”, Artificial Intelligence, 34, pp. 39-76.
  7. Gabbay, D. M., Hodkinson, I. y Reynolds, M. (1994), Temporal Logic. Mathematical foundations and computational aspects, vol. 1, Oxford, Clarendon Press.
  8. Gabbay, D. M., Finger, M. y Reynolds, M. (2000), Temporal Logic. Mathematical foundations and computational aspects, vol. 2, Oxford, Oxford University Press.
  9. Goranko, V. (2000), “Computation Tree Logics and Temporal Logics with Reference Pointers”, Journal of Applied Non-classical Logics, 10 (3-4), pp. 221-242.
  10. Kraus, S. y Lehmann, D. (1988), “Knowledge, Belief and Time”, Theoretical Computer Science, 58, pp. 155-174.
  11. Lenzen, W. (2004), “Epistemic Logic”, en Niiniluoto, I., Sintonen, M. y Wolenski, J. (eds.), Handbook of Epistemology, Dordrecht, The Netherlands, Kluwer Academic Publishers, pp. 963-983.
  12. Meyer, J.-J. Ch. (2001), “Epistemic Logic”, en Goble, L. (ed.), The Blackwell Guide to Philosophical Logic, Oxford, Blackwell Publishers, pp. 183-202.
  13. Meyer, J.-J. Ch. y Van der Hoek, W. (1995), Epistemic Logic for AI and Computer Science, Cambridge, Cambridge University Press.
  14. Prior, A. (1967), Past, Present and Future, Oxford, Oxford UniversityPress.
  15. Sack, J. (2007), Adding a Temporal Logic to Dynamic Epistemic Logic. Tesis doctoral presentada en Indiana University.