Contenido principal del artículo

  • Claudia Fernández-Fernández
Claudia Fernández-Fernández
Vol. 24 Núm. 3 (2019), Artículos
DOI: https://doi.org/10.24310/Contrastescontrastes.v24i3.7555
Derechos de autor

Resumen

La lógica de la conciencia es una extensión de la lógica epistémica que solventa el problema de la omnisciencia lógica incorporando un operador de conciencia para separar el conocimiento explícito del implícito. Este informe recopila los principales textos tanto de los orígenes de esta lógica, así como de sus desarrollos en las últimas tres décadas. En concreto analiza los enfoques desde la lógica epistémica dinámica, desde su combinación con otras lógicas y los enfoques de teoría de juegos.

Descargas

La descarga de datos todavía no está disponible.

Detalles del artículo

Referencias

ÅGNOTES, T. y ALECHINA, N. (2014). Journal of Logic, Language and Information, 23: 105.

ARTEMOV, S. (2008). The logic of justification. The Review of Symbolic Logic, 1(4): 477-513.

ARTEMOV, S. (2018). Justification Awareness Models. En ARTEMOV, S. y NERODE, A. (eds.): Logical Foundations of Computer Science. LFCS 2018. Lecture Notes in Computer Science, 22-36.

ARTEMOV, S. N. y NOGINA, E. (2005). Introducing justification into epistemic logic. Journal of Logic and Computation, 15(6): 1059-1073.

BALTAG, A., RENNE, B. y SMETS, S. (2014). The logic of justified belief, explicit knowledge, and conclusive evidence, Annals of Pure and Applied Logic, Volume 165, Issue 1, 49-81.

BURRIEZA, A. y FERNÁNDEZ-FERNÁNDEZ, C. (2015). Distributed explicit knowledge and collective awareness. En Bulletin of the European Association for Theoretical Computer Science, Issue 116, 195-203.

BUERRIEZA, A. y YUSTE-GINEL, A. (2019). Argument Evaluation in Multi-agent Justification Logics, Logic Journal of the IGPL. (En prensa, accesible tras publicación en DOI: 10.1093/jigpal/jzz046).

FAGIN, R., HALPERN, J., MOSES, Y. y VARDI, M. Y. (1995). Reasoning about knowledge. Cambridge, Mass: The MIT Press.

FAGIN, R. y HALPERN, J. Y. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1): 39-76.

FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2018). Reconsidering the ‘ingredients’ of explicit knowledge. En ARAZIM, P. y LÁVICKA, T., editors, The Logica Yearbook 2017, 47-60. Londres: College Publications.

FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2019a). A Formal Model for Explicit Knowledge as Awareness-Of Plus Awareness-That. En SEDLÁR, I. y BLICHA, M., editors, The Logica Yearbook 2018, 101-115. Londres: College Publications.

FERNÁNDEZ-FERNÁNDEZ, C. y VELÁZQUEZ-QUESADA, F. R. (2019b). Awareness of and awareness that: their combination and dynamics, Logic Journal of the IGPL. (En prensa, accesible tras publicación en DOI: 10.1093/jigpal/jzz043)

GROSSI, D. y VELÁZQUEZ-QUESADA, F. R. (2010). Twelve angry men: a dynamic-epistemic study of awareness, implicit and explicit information. En GROSSI D, KURZEN L, VELÁZQUEZ-

QUESADA FR (eds), Logic and interactive rationality. Seminar’s yearbook 2009. ILLC, The Netherlands, 42-68.

GROSSI, D. y VELÁZQUEZ-QUESADA, F. R. (2015). Syntactic awareness in logical dynamics. Synthese, 192(12): 4071-4105.

HALPERN, J. Y. (2001). Alternative Semantics for Unawareness. Games and Economic Behavior, 37, 321-339.

HALPERN, J. Y. y RÊGO, L. C. (2008). Interactive unawareness revisited. Games and Economic Behavior, 62(1): 232-262.

HEIFETZ, A., MEIER, M. y SCHIPPER, B. C. (2006). Interactive unawareness. Journal of Economic Theory, 130(1): 78-94.

HEIFETZ, A., MEIER, M. y SCHIPPER, B. C. (2008). A canonical model for interactive unawareness. Games and Economic Behavior, 62(1): 304-324.

HEIFETZ, A., MEIER, M., y SCHIPPER, B. (2013). Dynamic unawareness and rationalizable behavior. Games and Economic Behavior, 81(1): 50-68.

HILL, B. (2010). Awareness dynamics. Journal of Philosophical Logic, 39(2): 113-137.

HINTIKKA, J. (1962). Knowledge and Belief. Ithaca: Cornell U.P.

HINTIKKA, J. (1975). Impossible possible worlds vindicated. Journal of Philosophical Logic, 475-484.

HUANG, Z. y KWAST, K. (1991). Awareness, negation and Logical omniscience. En VAN EIJCK, J. (ed), Logics in AI. JELIA 1990. Lecture Notes in Computer Science, vol. 478, 282-300.

KONOLIGE, K. (1986). What awareness isn’t: A sentential view of implicit and explicit belief. En HALPERN, J. Y., editor, Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, March 1986, 241-250.

MEYER, J.-J. CH. y VAN DER HOEK, W. (1995). Epistemic Logic for AI and Computer Science. Cambridge: Cambridge University Press.

MODICA, S. y RUSTICHINI, A. (1999). Unawareness and Partitional Information Structures, Games and Economic Behavior, Volume 27, Issue 2, 265-298.

MURILLO-CORCHADO, M. V. y NEPOMUCENO-FERNÁNDEZ, Á. (2019). Giro dinámico y lógica de la investigación científica. Revista de Humanidades de Valparaíso, 13, 68-89.

SCHIPPER, B. C. (2015). Awareness. En VAN DITMARSCH, H., HALPERN, J. Y., VAN DER HOEK, W. y KOOI, B., editors, Handbook of Epistemic Logic. Londres: College Publications, 77-146.

SEDLÁR, I. (2013). Justifications, awareness and epistemic dynamics. En ARTEMOV, S. N. y NERODE, A., editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, volume 7734 of Lecture Notes in Computer Science, 307-318.

SILLARI, G. (2007). Models of Awareness. En BONANNO, G., VAN DER HOEK, W. y WOOLDRIDGE, M. (editors), Logic and the Foundations of Game and Decision Theory, Volume 2 of Texts in Logic and Games. Amsterdam University Press, 209-240.

SILLARI, G. (2008). Quantified Logic of Awareness and Impossible Worlds. The Review of Symbolic Logic, 1(4): 514-529.

VAN BENTHEM, J. (2011). Logical Dynamics of Information and Interaction. Cambridge: Cambridge University Press.

VAN BENTHEM, J. y VELÁZQUEZ-QUESADA, F. R. (2010). The dynamics of awareness. Synthese, 177 (Supplement-1): 5-27.

VAN DITMARSCH, H. y FRENCH, T. (2009). Awareness and Forgetting of Facts and Agents. IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, Milan, Italy, 478-483.

VAN DITMARSCH, H. y FRENCH, T. (2011). Becoming aware of propositional variables. En BANERJEE, M. y SETH, A., editors, Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, volume 6521 of Lecture Notes in Computer Science, 204-218.

VAN DITMARSCH, H., FRENCH, T. y VELÁZQUEZ-QUESADA, F. R. (2012). Action models for knowledge and awareness. En VAN DER HOEK, W., PADGHAM, L., CONITZER, V. y WINIKO, M., editors, AAMAS 2012, Valencia, Spain, June 4-8, 1091-1098.

VAN DITMARSCH, H., FRENCH, T., VELÁZQUEZ-QUESADA, F. R. y WÁNG, Y. N. (2013). Knowledge, Awareness, and Bisimulation. En TARK 2013 - Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, Vol. 1, 61-70.

VAN DITMARSCH, H., FRENCH, T., VELÁZQUEZ-QUESADA, F. R. y WÁNG, Y. N. (2018). Implicit, explicit and speculative knowledge, Artificial Intelligence, Volume 256, 35-67.

VAN DITMARSCH, H., VAN DER HOEK, W. y KOOI, B. (2008). Dynamic Epistemic Logic. Dordrecht: Springer.

VELÁZQUEZ-QUESADA, F. R. (2011). Small steps in dynamics of information. PhD thesis, Institute for Logic, Language and Computation. Amsterdam: Universiteit van Amsterdam.

VELÁZQUEZ-QUESADA, F. R. (2013). Explicit and implicit knowledge in neighbourhood models. En GROSSI, D., ROY, O. y HUANG, H., editors, Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, Proceedings, volume 8196 of Lecture Notes in Computer Science, 239-252.

VELÁZQUEZ-QUESADA, F. R. (2014). Dynamic epistemic logic for implicit and explicit beliefs. Journal of Logic, Language and Information, 23(2): 107-140.

VELÁZQUEZ-QUESADA, F. R. (2018). Bisimulation characterization and expressivity hierarchy of languages for epistemic awareness models, Journal of Logic and Computation, Volume 28, Issue 8, December 2018, 1805-1832.

VON WRIGHT, G. H. (1951). An Essay in Modal Logic. Amsterdam: North-Holland.