Title of article
McCarthy variations in a modal key Original Research Article
Author/Authors
Johan van Benthem، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2011
Pages
12
From page
428
To page
439
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.
Keywords
Fixed-point logic , Structural rules , Situation calculus , Circumscription , Dynamic epistemic logic , Temporal logic , Belief change , Regression method
Journal title
Artificial Intelligence
Serial Year
2011
Journal title
Artificial Intelligence
Record number
1207811
Link To Document