McCarthy variations in a modal key
| Authors | |
|---|---|
| Publication date | 2011 |
| Journal | Artificial Intelligence |
| Volume | Issue number | 175 | 1 |
| Pages (from-to) | 428-439 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1016/j.artint.2010.04.014 |
| Permalink to this page | |