Inductive properties of states

Norman Foo; Pavlos Peppas; Yan Zhang

doi:10.1007/3-540-63797-4_75

Inductive properties of states

Norman Foo
, Pavlos Peppas
, Yan Zhang

School of Computer, Data & Mathematical Sciences

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

Abstract

In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible that two situations have end points that agree on all fluents, i.e., are the same state, and yet be distinct from the perspective of situations. This has the merit of making inductive proofs simple as it introduces two axioms amounting to enforcing the rooted tree structure that are used as trivial bases for the inductions. In this paper we show that the tree structure is dispensable for induction when the underlying system is deterministic, thus elevating the state perspective to equal status.

Original language	English
Title of host publication	Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings
Editors	Abdul Sattar
Publisher	Springer Verlag
Pages	227-235
Number of pages	9
ISBN (Print)	3540637974, 9783540637974
DOIs	https://doi.org/10.1007/3-540-63797-4_75
Publication status	Published - 1997
Event	10th Australian Joint Conference on Artificial Intelligence, AI 1997 - Perth, Australia Duration: 30 Nov 1997 → 4 Dec 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1342
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th Australian Joint Conference on Artificial Intelligence, AI 1997
Country/Territory	Australia
City	Perth
Period	30/11/97 → 4/12/97

Bibliographical note

Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1997.

Access to Document

10.1007/3-540-63797-4_75

Cite this

Foo, N., Peppas, P., & Zhang, Y. (1997). Inductive properties of states. In A. Sattar (Ed.), Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings (pp. 227-235). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342). Springer Verlag. https://doi.org/10.1007/3-540-63797-4_75

Foo, Norman ; Peppas, Pavlos ; Zhang, Yan. / Inductive properties of states. Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. editor / Abdul Sattar. Springer Verlag, 1997. pp. 227-235 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2e2c22b620db48a583aebf01a046a8bd,

title = "Inductive properties of states",

abstract = "In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible that two situations have end points that agree on all fluents, i.e., are the same state, and yet be distinct from the perspective of situations. This has the merit of making inductive proofs simple as it introduces two axioms amounting to enforcing the rooted tree structure that are used as trivial bases for the inductions. In this paper we show that the tree structure is dispensable for induction when the underlying system is deterministic, thus elevating the state perspective to equal status.",

author = "Norman Foo and Pavlos Peppas and Yan Zhang",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 10th Australian Joint Conference on Artificial Intelligence, AI 1997 ; Conference date: 30-11-1997 Through 04-12-1997",

year = "1997",

doi = "10.1007/3-540-63797-4\_75",

language = "English",

isbn = "3540637974",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "227--235",

editor = "Abdul Sattar",

booktitle = "Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings",

}

Foo, N, Peppas, P & Zhang, Y 1997, Inductive properties of states. in A Sattar (ed.), Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1342, Springer Verlag, pp. 227-235, 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Perth, Australia, 30/11/97. https://doi.org/10.1007/3-540-63797-4_75

Inductive properties of states. / Foo, Norman; Peppas, Pavlos; Zhang, Yan.
Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. ed. / Abdul Sattar. Springer Verlag, 1997. p. 227-235 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1342).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Inductive properties of states

AU - Foo, Norman

AU - Peppas, Pavlos

AU - Zhang, Yan

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1997.

PY - 1997

Y1 - 1997

N2 - In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible that two situations have end points that agree on all fluents, i.e., are the same state, and yet be distinct from the perspective of situations. This has the merit of making inductive proofs simple as it introduces two axioms amounting to enforcing the rooted tree structure that are used as trivial bases for the inductions. In this paper we show that the tree structure is dispensable for induction when the underlying system is deterministic, thus elevating the state perspective to equal status.

AB - In the situation calculus states are often distinguished from situations by the assumption that situations are paths in a rooted tree while a state is a particular truth assignment to the fluents. It is then possible that two situations have end points that agree on all fluents, i.e., are the same state, and yet be distinct from the perspective of situations. This has the merit of making inductive proofs simple as it introduces two axioms amounting to enforcing the rooted tree structure that are used as trivial bases for the inductions. In this paper we show that the tree structure is dispensable for induction when the underlying system is deterministic, thus elevating the state perspective to equal status.

UR - https://www.scopus.com/pages/publications/84961360813

U2 - 10.1007/3-540-63797-4_75

DO - 10.1007/3-540-63797-4_75

M3 - Conference Paper

AN - SCOPUS:84961360813

SN - 3540637974

SN - 9783540637974

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 227

EP - 235

BT - Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings

A2 - Sattar, Abdul

PB - Springer Verlag

T2 - 10th Australian Joint Conference on Artificial Intelligence, AI 1997

Y2 - 30 November 1997 through 4 December 1997

ER -

Foo N, Peppas P, Zhang Y. Inductive properties of states. In Sattar A, editor, Advanced Topics in Artificial Intelligence - 10th Australian Joint Conference on Artificial Intelligence, AI 1997, Proceedings. Springer Verlag. 1997. p. 227-235. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-63797-4_75

Inductive properties of states

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this