| 1 |
| Author | J. van Benthem | | Title | McCarthy variations in a modal key |
| Journal | Artificial intelligence |
| Volume | 175 |
| Year | 2011 |
| Issue | 1 |
| Pages | 428-439 |
| ISSN | 00043702 |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI: 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. |
| Document type | Article |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/368958
Contact us about this recordNotify a colleague
Add to bookbag
|
