Alexandru Baltag (Institute for logic, Language and Computation. University of Amsterdam) |
Nina Gierasimczuk (Institute for Logic, Language and Computation. University of Amsterdam) |
Sonja Smets (Institute for Logic, Language and Computation. University of Amsterdam) |
We investigate the issues of inductive problem-solving and learning by doxastic agents. We provide topological characterizations of solvability and learnability, and we use them to prove that AGM-style belief revision is "universal", i.e., that every solvable problem is solvable by AGM conditioning. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.215.7 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |