A decision procedure for a temporal belief logic

Michael Wooldridge, M. Fisher

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

Abstract

This paper presents a temporal belief logic called
LTB. In addition to the usual connectives of linear discrete temporal logic, LTB 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 LTB 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 LTB is then described, and some examples of its use are presented. The paper concludes with a discussion and future work proposals.
Original languageEnglish
Title of host publicationTemporal Logic
Subtitle of host publicationFirst International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings
EditorsDov M. Gabbay, Hans Jürgen Ohlbach
Place of PublicationHeidelberg
PublisherSpringer Berlin
Pages317–331
Number of pages15
ISBN (Electronic)9783540485858
ISBN (Print)9783540582410
DOIs
Publication statusPublished - 29 Jun 1994

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume827
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameInternational Conference on Temporal Logic
PublisherSpringer
NameLecture Notes in Artificial Intelligence
PublisherSpringer

Fingerprint

Dive into the research topics of 'A decision procedure for a temporal belief logic'. Together they form a unique fingerprint.

Cite this