Meta-Reasoning in Executable Temporal Logic

Howard Barringer; Michael Fisher; Dov Gabbay; Anthony Hunter

Meta-Reasoning in Executable Temporal Logic

Howard Barringer
, Michael Fisher
, Dov Gabbay
, Anthony Hunter

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

29 Scopus citations

Abstract

Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequent refers to the present and the future, then formulae that have their antecedent satisfied can be satisfied by considering the consequent as an imperative to be obeyed. Such a language becomes a natural alternative to programming languages, such as Prolog, for temporal reasoning. Here, the approach is extended to include an executable metalanguage. This is of importance in developing interpretation, debugging, loop-checking, and simulation tools, and provides a representation for providing control knowledge in the execution of planning and scheduling programs.

Original language	English
Title of host publication	Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991
Editors	James Allen, Richard Fikes, Erik Sandewall
Publisher	Association for the Advancement of Artificial Intelligence
Pages	40-49
Number of pages	10
ISBN (Electronic)	1558601651, 9781558601659
State	Published - 1991
Externally published	Yes
Event	2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 - Cambridge, United States Duration: 22 Apr 1991 → 25 Apr 1991

Publication series

Name	Proceedings of the International Conference on Knowledge Representation and Reasoning
ISSN (Print)	2334-1025
ISSN (Electronic)	2334-1033

Conference

Conference	2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991
Country/Territory	United States
City	Cambridge
Period	22/04/91 → 25/04/91

Bibliographical note

Publisher Copyright:
© 1991 by Morgan Kaufmann Publishers, Inc. All rights reserved.

Cite this

Barringer, H., Fisher, M., Gabbay, D., & Hunter, A. (1991). Meta-Reasoning in Executable Temporal Logic. In J. Allen, R. Fikes, & E. Sandewall (Eds.), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 (pp. 40-49). (Proceedings of the International Conference on Knowledge Representation and Reasoning). Association for the Advancement of Artificial Intelligence.

Barringer, Howard ; Fisher, Michael ; Gabbay, Dov et al. / Meta-Reasoning in Executable Temporal Logic. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. editor / James Allen ; Richard Fikes ; Erik Sandewall. Association for the Advancement of Artificial Intelligence, 1991. pp. 40-49 (Proceedings of the International Conference on Knowledge Representation and Reasoning).

@inproceedings{ea8ff4e9caa14a088feb4e219ce08240,

title = "Meta-Reasoning in Executable Temporal Logic",

abstract = "Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequent refers to the present and the future, then formulae that have their antecedent satisfied can be satisfied by considering the consequent as an imperative to be obeyed. Such a language becomes a natural alternative to programming languages, such as Prolog, for temporal reasoning. Here, the approach is extended to include an executable metalanguage. This is of importance in developing interpretation, debugging, loop-checking, and simulation tools, and provides a representation for providing control knowledge in the execution of planning and scheduling programs.",

author = "Howard Barringer and Michael Fisher and Dov Gabbay and Anthony Hunter",

note = "Publisher Copyright: {\textcopyright} 1991 by Morgan Kaufmann Publishers, Inc. All rights reserved.; 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991 ; Conference date: 22-04-1991 Through 25-04-1991",

year = "1991",

language = "אנגלית",

series = "Proceedings of the International Conference on Knowledge Representation and Reasoning",

publisher = "Association for the Advancement of Artificial Intelligence",

pages = "40--49",

editor = "James Allen and Richard Fikes and Erik Sandewall",

booktitle = "Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991",

}

Barringer, H, Fisher, M, Gabbay, D & Hunter, A 1991, Meta-Reasoning in Executable Temporal Logic. in J Allen, R Fikes & E Sandewall (eds), Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. Proceedings of the International Conference on Knowledge Representation and Reasoning, Association for the Advancement of Artificial Intelligence, pp. 40-49, 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991, Cambridge, United States, 22/04/91.

Meta-Reasoning in Executable Temporal Logic. / Barringer, Howard; Fisher, Michael; Gabbay, Dov et al.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. ed. / James Allen; Richard Fikes; Erik Sandewall. Association for the Advancement of Artificial Intelligence, 1991. p. 40-49 (Proceedings of the International Conference on Knowledge Representation and Reasoning).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Meta-Reasoning in Executable Temporal Logic

AU - Barringer, Howard

AU - Fisher, Michael

AU - Gabbay, Dov

AU - Hunter, Anthony

PY - 1991

Y1 - 1991

N2 - Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequent refers to the present and the future, then formulae that have their antecedent satisfied can be satisfied by considering the consequent as an imperative to be obeyed. Such a language becomes a natural alternative to programming languages, such as Prolog, for temporal reasoning. Here, the approach is extended to include an executable metalanguage. This is of importance in developing interpretation, debugging, loop-checking, and simulation tools, and provides a representation for providing control knowledge in the execution of planning and scheduling programs.

AB - Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequent refers to the present and the future, then formulae that have their antecedent satisfied can be satisfied by considering the consequent as an imperative to be obeyed. Such a language becomes a natural alternative to programming languages, such as Prolog, for temporal reasoning. Here, the approach is extended to include an executable metalanguage. This is of importance in developing interpretation, debugging, loop-checking, and simulation tools, and provides a representation for providing control knowledge in the execution of planning and scheduling programs.

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

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:105030560486

T3 - Proceedings of the International Conference on Knowledge Representation and Reasoning

SP - 40

EP - 49

BT - Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991

A2 - Allen, James

A2 - Fikes, Richard

A2 - Sandewall, Erik

PB - Association for the Advancement of Artificial Intelligence

T2 - 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991

Y2 - 22 April 1991 through 25 April 1991

ER -

Barringer H, Fisher M, Gabbay D, Hunter A. Meta-Reasoning in Executable Temporal Logic. In Allen J, Fikes R, Sandewall E, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR 1991. Association for the Advancement of Artificial Intelligence. 1991. p. 40-49. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

Meta-Reasoning in Executable Temporal Logic

Abstract

Publication series

Conference

Bibliographical note

Other files and links

Fingerprint

Cite this