Analytic tableaux for verifying agent beliefs

Ji Ma*, Mehmet A. Orgun

*Corresponding author for this work

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

1 Citation (Scopus)

Abstract

For specifying and reasoning about agent beliefs of agent systems, many researchers have proposed the use of belief logics. Since agent systems are designed to operate in dynamic environments such as the Internet, it is important to model the evolution of communication systems through time in a systematic way. In this paper, we introduce a temporal belief logic called TML+ for formalising agent systems; and also propose a labelled tableaux system for this logic. With the logic TML+ and its associated modal tableaux, we are able to reason about, and verify agent systems operating in dynamic environments.

Original languageEnglish
Title of host publicationProceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
Place of PublicationLos Alamitos, CA
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages643-646
Number of pages4
Volume3
ISBN (Print)9780769534961
DOIs
Publication statusPublished - 2008
Event2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 - Sydney, NSW, Australia
Duration: 9 Dec 200812 Dec 2008

Other

Other2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
CountryAustralia
CitySydney, NSW
Period9/12/0812/12/08

Fingerprint Dive into the research topics of 'Analytic tableaux for verifying agent beliefs'. Together they form a unique fingerprint.

Cite this