Situation calculus as hybrid logic: First steps

Patrick Blackburn*, Jaap Kamps, Maarten Marx

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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 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 sets out to revive the connection between situation calculus and modal logic. In particular, we will show that quantified hybrid logic, QHL, is able to express situation calculus formulas often more natural and concise than the original formulations. The main 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.

Original languageEnglish
Title of host publicationProgress in Artificial Intelligence : Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving - 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Proc.
EditorsPavel Brazdil, Alipio Jorge
Number of pages8
PublisherSpringer
Publication date2001
Pages253-260
ISBN (Print)978-3-540-43030-8
ISBN (Electronic)9783540430308
DOIs
Publication statusPublished - 2001
Externally publishedYes
Event10th Portuguese Conference on Artificial Intelligence, EPIA 2001 - Porto, Portugal
Duration: 17 Dec 200120 Dec 2001

Conference

Conference10th Portuguese Conference on Artificial Intelligence, EPIA 2001
Country/TerritoryPortugal
CityPorto
Period17/12/200120/12/2001
SeriesLecture Notes in Computer Science
Volume2258
ISSN0302-9743

Cite this