Learning

---

Basic papers Historical source texts Further directions

Informational events in long-term scenarios are the domain of formal learning theory. Dynamic-epistemic logics have been used to analyze basic patterns in learning, and connect them with properties of update rules for beliefs and knowledge.

 

---

Basic papers

⇥

• Alexandru Baltag, Nina Gierasimczuk, Sonja Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In Theoretical Aspects of Rationality and Knowledge (TARK-2015), 81-98, arXiv, 2011.
• Thomas Bolander, Mikkel Birkegaard Andersen. Epistemic planning for single and multi-agent systems. Journal of Applied Non-Classical Logics, 21(1):9-34, 2011. Prepublication version available.
• Benedikt Löwe, Eric Pacuit, Andreas Witzel. DEL Planning and Some Tractable Cases. In Logic, Rationality, and Interaction (LORI 2011), 179-192, Springer, 2011. Prepublication version available.
• Alexandru Baltag, Nina Gierasimczuk, Sonja Smets. Truth-Tracking by Belief Revision. 2014. Prepublication version available.

 

---

Historical source texts

↑   ⇥

• Nina Gierasimczuk. Bridging learning theory and dynamic epistemic logic. Synthese (Knowledge, Rationality and Action), 169(2):371-384, 2009.

 

---

Further directions

↑   ↟   ⇥

• Nina Gierasimczuk. Learning by Erasing in Dynamic Epistemic Logic. In Language and Automata Theory and Applications (LATA 2009), 362-373, Springer, 2009.
• Cédric Dégremont, Nina Gierasimczuk. Finite identification from the viewpoint of epistemic update. Information and Computation, 209(3):383-396, 2011.
• Guillaume Aucher, Thomas Bolander. Undecidability in Epistemic Planning. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence IJCAI 2013, 27-33, AAAI, 2012. Prepublication version available.
• Nina Gierasimczuk, Dick de Jongh. On the Complexity of Conclusive Update. The Computer Journal, 56(3):365-377, 2013.