| 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/.
() |
|