- Author
- Year
- 2011
- Title
- McCarthy variations in a modal key
- Journal
- Artificial Intelligence
- Volume | Issue number
- 175 | 1
- Pages (from-to)
- 428-439
- Document type
- Article
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Abstract
- We take a fresh look at some major strands in John McCarthy's work from a logician's perspective. First, we re-analyze circumscription in dynamic logics of belief change under hard and soft information. Next, we re-analyze the regression method in the Situation Calculus in terms of update axioms for dynamic-epistemic temporal logics. Finally, we draw some general methodological comparisons between ‘Logical AI’ and practices in modal logic, pointing at some creative tensions.
- URL
- go to publisher's site
- Language
- English
- Persistent Identifier
- https://hdl.handle.net/11245/1.332312
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.