Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
Authors: Hector Levesque, Fiora Pirri and Ray Reiter
Article title: Foundations for the Situation Calculus
Publ. type: Article
Volume: 3
Article No: 18
Language: English
Abstract [en]: This article gives the logical foundations for the situations-as-histories variant of the situation calculus, focusing on the following items:
  • The language of the situation calculus.
  • Foundational axioms for the domain of situations.
  • Axioms for an underlying domain theory.
  • The syntax and semantics of the logic programming language GOLOG.
  • Axioms for knowledge and sensing actions.
  • Essential metatheoretic results about the situation calculus.
Publisher: Linköping University Electronic Press
Year: 1998
Available: 1998-12-22
No. of pages: 18
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21