nach oben

Journal of Logic, Language and Information

Erschienen in:

01.06.2014

Semantics for Knowledge and Change of Awareness

verfasst von: Hans van Ditmarsch, Tim French

Erschienen in: Journal of Logic, Language and Information | Ausgabe 2/2014

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.

Vorheriger Artikel Generation and Selection of Abductive Explanations for Non-Omniscient Agents

Nächster Artikel A Logic for Reasoning About Knowledge of Unawareness

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

In van Ditmarsch and French (2011), \(K_i^S\) was called introspective knowledge and written as \(K_i\).

Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Ed.), Proceedings of 7th TARK (pp. 43–56). Morgan Kaufmann.

Board, O., & Chung, K. S. (2009). Object-based unawareness: Theory and applications. Technical report, University of Minnesota, Department of Economics.

Browne, M., Clarke, E., & Grümberg, O. (1987). Characterizing Kripke structures in temporal logic. In H. Ehrig, R. Kowalski, G. Levi, & U. Montanari (Eds.), TAPSOFT ’87, LNCS 249 (pp. 256–270). Springer.

d’Agostino, G., & Hollenberg, M. (2000). Logical questions concerning the \(\mu \)-calculus: Interpolation, Lyndon and Los-Tarski. Journal of Symbolic Logic, 65(1), 310–332.CrossRef

Fagin, R., & Halpern, J. (1988). Belief, awareness, and limited reasoning. Artificial Intelligence, 34(1), 39–76.CrossRef

Fagin, R., Halpern, J., Moses, Y., & Vardi, M. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press.

Fine, K. (1970). Propositional quantifiers in modal logic. Theoria, 36(3), 336–346.CrossRef

French, T. (2006). Bisimulation quantifiers for modal logic. Ph.D. thesis, University of Western Australia.

Grossi, D., & Velázquez-Quesada, F. (2009). Twelve angry men: A study on the fine-grain of announcements. In X. He, J. Horty, & E. Pacuit (Eds.), Proceedings of 1st LORI (pp. 147–160). Springer, LNCS 5834.

Halpern, J., & Rego, L. (2009). Reasoning about knowledge of unawareness. Games and Economic Behavior, 67(2), 503–525.CrossRef

Heifetz, A., Meier, M., & Schipper, B. (2006). Interactive unawareness. Journal of Economic Theory, 130, 78–94.CrossRef

Hill, B. (2010). Awareness dynamics. Journal of Philosophical Logic, 39, 113–137.CrossRef

Hintikka, J. (1962). Knowledge and belief. Ithaca, NY: Cornell University Press.

Hollenberg, M. (1998). Logic and bisimulation. Ph.D. thesis, University of Utrecht.

Levesque, H. (1984). A logic of implicit and explicit belief. In R. Brachman (Ed.), Proceedings of AAAI (pp. 198–202). AAAI Press.

Lin, F., & Reiter, R. (1994). Forget it!. In Proceedings of AAAI fall symposium on relevance (pp. 154–159). New Orleans.

Meyer, J. J., & van der Hoek, W. (1995). Epistemic logic for AI and computer science (Vol. 41). Cambridge University Press, Cambridge Tracts in Theoretical Computer Science.

Modica, S., & Rustichini, A. (1994). Awareness and partitional information structures. Theory and Decision, 37, 107–124.CrossRef

Modica, S., & Rustichini, A. (1999). Unawareness and partitional information structures. Games and Economic Behavior, 27, 265–298.CrossRef

Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings of the 4th ISMIS (pp. 201–216). Oak Ridge National Laboratory.

Stirling, C. (1998). The joys of bisimulation. In Brim, L., Gruska, J., & Zlatuska, J. (Eds.), Mathematical foundations of computer science 1998 (Proceedings of 23rd international symposium) (pp. 142–151). Springer, LNCS 1450.

van Benthem, J. (1998). Dynamic odds and ends. Technical report, University of Amsterdam, ILLC Research, Report ML-1998-08.

van Ditmarsch, H., & French, T. (2009a). Awareness and forgetting of facts and agents. In P. Boldi, G. Vizzari, G. Pasi, & R. Baeza-Yates (Eds.), Proceedings of WI-IAT workshops 2009 (pp. 478–483). IEEE Press.

van Ditmarsch, H., & French, T. (2009b). Simulation and information. In J. Broersen & J. J. Meyer (Eds.), Knowledge Representation for Agents and Multi-Agent Systems (pp. 51–65). Springer, LNAI 5605.

van Ditmarsch, H., & French, T. (2011). Becoming aware of propositional variables. In M. Banerjee & A. Seth (Eds.), Proceedings of 4th ICLA (pp. 204–218). Springer, LNCS 6521.

van Ditmarsch, H., Herzig, A., Lang, J., & Marquis, P. (2009). Introspective forgetting. Synthese (Knowledge, Rationality and Action), 169(2), 405–423.

van Ditmarsch, H., French, T., & Velázquez-Quesada, F. (2012). Action models for knowledge and awareness. In W. van der Hoek, L. Padgham, V. Conitzer, M. Winikoff (Eds.), Proceedings of 11th AAMAS (pp. 1091–1098).

van Ditmarsch, H., French, T., Velázquez-Quesada, F., & Wang, Y. (2013). Knowledge, awareness, and bisimulation. In B. Schipper (Ed.), Proceedings of 14th TARK (pp. 61–70).

van Eijck, J., & Sietsma, F. (2011). Message-generated Kripke semantics. In K. Tumer, P. Yolum, L. Sonenberg, P. Stone (Eds.), Proceedings of 10th AAMAS (pp. 1183–1184).

Velázquez-Quesada, F. (2011). Small steps in dynamics of information. Ph.D. thesis, University of Amsterdam, ILLC dissertation series DS-2011-02.

Velázquez-Quesada, F. (2013). Expressivity hierarchy of languages for epistemic awareness models. In D. Grossi, O. Roy, & H. Huang (Eds.), Proceedings of 4th LORI (pp. 253–266). Springer LNCS 8196.

Visser, A. (1996). Bisimulations, model descriptions and propositional quantifiers. Logic Group Preprint Series 161, Department of Philosophy, Utrecht University.

Titel: Semantics for Knowledge and Change of Awareness
verfasst von: Hans van Ditmarsch
Tim French
Publikationsdatum: 01.06.2014
Verlag: Springer Netherlands
Erschienen in: Journal of Logic, Language and Information / Ausgabe 2/2014
Print ISSN: 0925-8531
Elektronische ISSN: 1572-9583
DOI: https://doi.org/10.1007/s10849-014-9194-z

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"

Weitere Artikel der Ausgabe 2/2014

Formal Models of Awareness

Generation and Selection of Abductive Explanations for Non-Omniscient Agents

A Formal Model of Communication and Context Awareness in Multiagent Systems

Dynamic Epistemic Logic for Implicit and Explicit Beliefs

A Logic for Reasoning About Knowledge of Unawareness

Premium Partner