nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

Dynamic Epistemic Logics of Introspection

verfasst von : Raul Fervari, Fernando R. Velázquez-Quesada

Erschienen in: Dynamic Logic. New Trends and Applications

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

This work studies positive and negative introspection not as properties, but rather as actions that change the agent’s knowledge. The actions are introduced as model update operations, with matching modalities expressing their effects. Sound and complete axiom systems are provided, and some properties are explored.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Dynamic Informational-Epistemic Logic

Nächstes Kapitel Logics for Actor Networks: A Case Study in Constrained Hybridization

The paradigmatic example is \(p \wedge \lnot \mathop {\Box }{p}\).

Proof: http://homepages.cwi.nl/~jve/courses/lai0506/Solutions2.pdf.

Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)MATH

Hendricks, V.F.: 8 bridges between formal and mainstream epistemology. Philos. Stud. 128(1), 1–5 (2006)MathSciNetCrossRef

Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)MATH

de Bruin, B.: Explaining Games: The Epistemic Programme in Game Theory. Synthese Library, vol. 346. Springer, Dordrecht (2010). https://doi.org/10.1007/978-1-4020-9906-9 CrossRefMATH

van Ditmarsch, H., French, T.: Semantics for knowledge and change of awareness. J. Logic Lang. Inf. 23(2), 169–195 (2014)MathSciNetMATH

Grossi, D., Velázquez-Quesada, F.R.: Syntactic awareness in logical dynamics. Synthese 192(12), 4071–4105 (2015)MathSciNetCrossRefMATH

van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Stud. Logica 99(1), 61–92 (2011)MathSciNetCrossRefMATH

Velázquez-Quesada, F.R.: Explicit and implicit knowledge in neighbourhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 239–252. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40948-6_19 CrossRef

Balbiani, P., Fernández-Duque, D., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Jonker, C.M., Marsella, S., Thangarajah, J., Tuyls, K. (eds.) Proceedings AAMAS 2016, pp. 644–652. ACM (2016)

10.

van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008). https://doi.org/10.1007/978-1-4020-5839-4 MATH

11.

van Benthem, J.: Logical Dynamics of Information and Interaction. CUP, New York (2011)CrossRefMATH

12.

van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 129–155 (2007)MathSciNetCrossRefMATH

13.

van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. J. Appl. Non-Class. Logics 17(2), 157–182 (2007)MathSciNetCrossRefMATH

14.

Ghosh, S., Velázquez-Quesada, F.R.: Agreeing to agree: reaching unanimity via preference dynamics based on reliable agents. In: Weiss, G., Yolum, P., Bordini, R.H., Elkind, E. (eds.) Proceedings AAMAS 2015, pp. 1491–1499. ACM (2015)

15.

Ghosh, S., Velázquez-Quesada, F.R.: A note on reliability-based preference dynamics. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 129–142. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-48561-3_11 CrossRef

16.

Pucella, R., Weissman, V.: Reasoning about dynamic policies. In: Walukiewicz, I. (ed.) FoSSaCS 2004. LNCS, vol. 2987, pp. 453–467. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24727-2_32 CrossRef

17.

Göller, S.: On the complexity of reasoning about dynamic policies. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol. 4646, pp. 358–373. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74915-8_28 CrossRef

18.

Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268–276. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-32254-2_16 CrossRef

19.

Areces, C., Fervari, R., Hoffmann, G.: Moving arrows and four model checking results. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 142–153. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32621-9_11 CrossRef

20.

Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22(2), 309–332 (2014)MathSciNetCrossRefMATH

21.

Fervari, R.: Relation-Changing Modal Logics. Ph.D. thesis, Facultad de Matemática, Astronomía y Física, Universidad Nacional de Córdoba, Argentina (2014)

22.

Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601–627 (2015)MathSciNetCrossRefMATH

23.

Kooi, B., Renne, B.: Arrow update logic. Rev. Symb. Logic 4, 536–559 (2011)MathSciNetCrossRefMATH

24.

Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)CrossRefMATH

25.

Blackburn, P., de Rijke, M., Venema, Y.: Modal logic. CUP, New York (2001)CrossRefMATH

26.

Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATH

27.

van Eijck, J., Wang, Y.: Propositional dynamic logic as a logic of belief revision. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 136–148. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69937-8_13 CrossRef

28.

Prior, A.N.: Time and Modality. Clarendon Press, Oxford (1957)MATH

29.

Parikh, R.: The completeness of propositional dynamic logic. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol. 64, pp. 403–415. Springer, Heidelberg (1978). https://doi.org/10.1007/3-540-08921-7_88 CrossRef

30.

Holliday, W., Icard, T.: Moorean phenomena in epistemic logic. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, College Publications, pp. 178–199 (2010)

31.

Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings 4th International Symposium on Methodologies for Intelligent Systems, Oak Ridge National Laboratory, pp. 201–216 (1989)

32.

van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620–1662 (2006)MathSciNetCrossRefMATH

Titel: Dynamic Epistemic Logics of Introspection
verfasst von: Raul Fervari
Fernando R. Velázquez-Quesada
Verlag: Springer International Publishing
Buch: Dynamic Logic. New Trends and Applications
Print ISBN: 978-3-319-73578-8

Electronic ISBN: 978-3-319-73579-5

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-73579-5_6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"