PP-2001-17: Blackburn, P. and Kamps, J. and Marx, M. (2001) Situation Calculus as Hybrid Logic: First Steps. [Report]
Preview |
Text (Full Text)
PP-2001-17.text.pdf Download (207kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2001-17.abstract.txt Download (982B) |
Abstract
The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing the situation calculus also highlight the
<BR>connection between the fields of artificial intelligence and philosophical logic (especially modal logics of belief, knowledge, and tense). Modal logic changed enormously since the 60s. This paper
<BR>sets out to revive the connection between situation calculus and modal logic. In particular, we will show that quantified hybrid logic, is able to express situation calculus formulas often more natural and concise than the original formulations. The main
<BR>contribution of this paper is a new quantified hybrid logic with temporal operators and action modalities, tailor-made for expressing the fluents of situation calculus.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2001-17 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2001 |
| Uncontrolled Keywords: | situation calculus, modal logic |
| Subjects: | Logic |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/59 |
Actions (login required)
 |
View Item |
