Files: Description File size 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.
PDF
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
REFERENCE TO THIS PAGE:
Levesque, Hector ; Pirri, Fiora and Reiter, Ray (1998). Foundations for the Situation Calculus in Linköping Electronic Articles in Computer and Information Science, Vol. 3. http://www.ep.liu.se/ea/cis/1998/018/. ()