Abstract
This paper presents a temporal belief logic called \(\mathcal{L}_{TB}\). In addition to the usual connectives of linear discrete temporal logic, \(\mathcal{L}_{TB}\) contains an indexed set of modal belief connectives, via which it is possible to represent the belief systems of resource-bounded reasoning agents. The applications of \(\mathcal{L}_{TB}\) in general, and its use for representing the dynamic properties of multi-agent AI systems in particular, are discussed in detail. A tableau-based decision procedure for \(\mathcal{L}_{TB}\) is then described, and some examples of its use are presented. The paper concludes with a discussion and future work proposals.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Ben-Ari. Mathematical Logic for Computer Science. Prentice Hall, 1993.
A. H. Bond and L. Gasser, editors. Readings in Distributed Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1988.
L. Catach. Normal multimodal logics. In Proceedings of the National Conference on Artificial Intelligence (AAAI '88), St. Paul, MN, 1988.
E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 996–1072. Elsevier, 1990.
M. Fisher. A resolution method for temporal logic. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI '91), Sydney, Australia, August 1991.
M. Fisher and M. Wooldridge. Executable temporal logic for distributed A.I. In Proceedings of the 12th International Workshop on Distributed Artificial Intelligence, Hidden Valley, PA, May 1993.
M. Fisher and M. Wooldridge. Specifying and verifying distributed intelligent systems. In M. Filgueiras and L. Damas, editors, Progress in Artificial Intelligence — Sixth Portuguese Conference on Artificial Intelligence (LNAI Volume 727), pages 13–28. Springer-Verlag, October 1993.
D. Gabbay. Declarative past and imperative future. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Proceedings of the Colloquium on Temporal Logic in Specification (LNCS Volume 398), pages 402–450. Springer-Verlag, 1989.
C. Geissler and K. Konolige. A resolution method for quantified modal logics of knowledge and belief. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 309–324. Morgan Kaufmann Publishers, Inc., 1986.
G. D. Gough. Decision procedures for temporal logic. Master's thesis, Department of Computer Science, Manchester University, Oxford Rd., Manchester M13 9PL, UK, October 1984.
J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
J. Y. Halpern and M. Y. Vardi. The complexity of reasoning about knowledge and time. I. lower bounds. Journal of Computer and System Sciences, 38:195–237, 1989.
C. B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990.
K. Konolige. A Deduction Model of Belief. Pitman/Morgan Kaufmann, 1986.
S. Kraus and D. Lehmann. Knowledge, belief and time. Theoretical Computer Science, 58:155–174,1988.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
H. Reichgelt. Logics for reasoning about knowledge and belief. Knowledge Engineering Review, 4(2), 1989.
Y. Shoham. Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, 1988.
R. M. Smullyan. First-Order Logic. Springer-Verlag, 1968.
R. H. Thomason. Combinations of tense and modality. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II — Extensions of Classical Logic, pages 135–166. D. Reidel Publishing Company, 1984. (Synthese library Volume 164).
P. Wolper. The tableau method for temporal logic: An overview. Logique et Analyse, 110–111, 1985.
M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992.
M. Wooldridge. A temporal belief logic. Technical report, Department of Computing, Manchester Metropolitan University, Chester St., Manchester M1 5GD, UK, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wooldridge, M., Fisher, M. (1994). A decision procedure for a temporal belief logic. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013996
Download citation
DOI: https://doi.org/10.1007/BFb0013996
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58241-0
Online ISBN: 978-3-540-48585-8
eBook Packages: Springer Book Archive