nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

A Dynamic Logic for Learning Theory

verfasst von : Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets

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

Building on previous work [4, 5] that bridged Formal Learning Theory and Dynamic Epistemic Logic in a topological setting, we introduce a Dynamic Logic for Learning Theory (DLLT), extending Subset Space Logics [9, 17] with dynamic observation modalities \([o]\varphi \), as well as with a learning operator

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-73579-5_3/461709_1_En_3_IEq2_HTML.gif

, which encodes the learner’s conjecture after observing a finite sequence of data

https://static-content.springer.com/image/chp%3A10.1007%2F978-3-319-73579-5_3/461709_1_En_3_IEq3_HTML.gif

. We completely axiomatise DLLT, study its expressivity and use it to characterise various notions of knowledge, belief, and learning.

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 Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork

Nächstes Kapitel Layered Logics, Coalgebraically

From probabilistic and statistical formalisms based on Bayesian reasoning, Popper-style measures of corroboration, through default and non-monotonic logics, Carnap-style ‘inductive logic’, to AGM-style rational belief revision and theory change.

‘The Logic of Reliable Inquiry’ is the title of a classic text in FLT-based epistemology [16].

We will return to it, with complete definitions, later in the paper. Our DLLT is interpreted over such frames.

In the tautological information state X, the learner believes P iff \(\mathbb {L}(X)\subseteq P\).

This topology is T1 iff for every two distinct points \(x\not =y\) there exist an observation \(O\in \mathscr {O}\) with \(x\in O\) and \(y\not \in O\).

The observational topology is T0 iff points can be distinguished by observations; i.e. if x and y satisfy the same observable properties in \(\mathscr {O}\), then \(x=y\). Obviously, T0 is a minimally necessary condition for any kind of learnability of the real world from observations.

A set is locally closed if it is the intersection of a closed and an open set.

Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics, vol. 4. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5587-4 MATH

Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: ‘Knowable’ as ‘known after an announcement’. Rev. Symb. Logic 1, 305–334 (2008)MathSciNetCrossRefMATH

Balbiani, P., van Ditmarsch, H., Kudinov, A.: Subset space logic with arbitrary announcements. In: Lodaya, K. (ed.) ICLA 2013. LNCS, vol. 7750, pp. 233–244. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36039-8_21 CrossRef

Baltag, A., Gierasimczuk, N., Smets, S.: Belief revision as a truth-tracking process. In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 187–190. ACM (2011)

Baltag, A., Gierasimczuk, N., Smets, S.: On the solvability of inductive problems: a study in epistemic topology. In: Ramanujam, R. (ed.) Proceedings of the 15th Conference TARK, Also Available as a Technical Report in ILLC Prepublication Series PP-2015-13 (2015)

Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference TARK, pp. 43–56. Morgan Kaufmann Publishers Inc. (1998)

Baltag, A., Özgün, A., Vargas Sandoval, A.L.: Topo-logic as a dynamic-epistemic logic. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 330–346. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55665-8_23 CrossRef

Bjorndahl, A.: Topological subset space models for public announcements. In: Trends in Logic, Outstanding Contributions: Jaakko Hintikka (2016, to appear)

Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78, 73–110 (1996)MathSciNetCrossRefMATH

10.

Dégremont, C., Gierasimczuk, N.: Finite identification from the viewpoint of epistemic update. Inf. Comput. 209, 383–396 (2011)MathSciNetCrossRefMATH

11.

Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., Pólos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147–159. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-58095-6_11 CrossRef

12.

Georgatos, K.: Knowledge on treelike spaces. Stud. Logica. 59, 271–301 (1997)MathSciNetCrossRefMATH

13.

Gierasimczuk, N.: Knowing one’s limits. Logical analysis of inductive inference. Ph.D. thesis, Universiteit van Amsterdam, The Netherlands (2010)

14.

Gierasimczuk, N., de Jongh, D.: On the complexity of conclusive update. Comput. J. 56, 365–377 (2013)CrossRef

15.

Gold, E.M.: Language identification in the limit. Inf. Control 10, 447–474 (1967)MathSciNetCrossRefMATH

16.

Kelly, K.T.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)MATH

17.

Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Proceedings of the 4th Conference TARK, pp. 95–105. Morgan Kaufmann (1992)

18.

Parikh, R., Moss, L.S., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics, pp. 299–341. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5587-4_6 CrossRef

19.

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

20.

van Ditmarsch, H., Knight, S., Özgün, A.: Arbitrary announcements on topological subset spaces. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 252–266. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-17130-2_17

21.

van Ditmarsch, H., Knight, S., Özgün, A.: Announcement as effort on topological spaces. In: Proceedings of the 15th TARK, pp. 95–102 (2015)

22.

van Ditmarsch, H., Knight, S., Özgün, A.: Announcement as effort on topological spaces. Extended version, Submitted (2015). http://www.lix.polytechnique.fr/sophia/papers/effort.pdf

23.

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

24.

Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1989)MATH

25.

Wang, Y.N., Ågotnes, T.: Multi-agent subset space logic. In: Proceedings of the 23rd IJCAI, pp. 1155–1161. IJCAI/AAAI (2013)

26.

Weiss, M.A., Parikh, R.: Completeness of certain bimodal logics for subset spaces. Stud. Logica. 71, 1–30 (2002)MathSciNetCrossRefMATH

Titel: A Dynamic Logic for Learning Theory
verfasst von: Alexandru Baltag
Nina Gierasimczuk
Aybüke Özgün
Ana Lucia Vargas Sandoval
Sonja Smets
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_3

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"