A fibred belief logic for multi-agent systems

Chuchang Liu*, Maris A. Ozols, Mehmet A. Orgun

*Corresponding author for this work

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

3 Citations (Scopus)

Abstract

To introduce a temporal dimension to a belief logic, we consider a powerful technique called fibring for combining belief logics and temporal logics. In a fibred belief logic, both temporal operators and belief operators are treated equally. This paper in particular discusses a combination of a belief logic called Typed-Modal Logic with a linear-time temporal logic. We show that, in the resulting logic, we can specify and reason about not only agent beliefs but also the timing properties of a system. With this logical system one is able to build theories of trust for the description of, and reasoning about, multi-agent systems.

Original languageEnglish
Title of host publicationAI 2005: Advances in Artificial Intelligence
Subtitle of host publication18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005. Proceedings
EditorsShichao Zhang, Ray Jarvis
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages29-38
Number of pages10
Volume3809 LNAI
ISBN (Electronic)9783540316527
ISBN (Print)3540304622, 9783540304623
DOIs
Publication statusPublished - Dec 2005
Event18th Australian Joint Conference on Artificial Intelligence, AI 2005: Advances in Artificial Intelligence - Sydney, Australia
Duration: 5 Dec 20059 Dec 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3809 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other18th Australian Joint Conference on Artificial Intelligence, AI 2005: Advances in Artificial Intelligence
CountryAustralia
CitySydney
Period5/12/059/12/05

Fingerprint Dive into the research topics of 'A fibred belief logic for multi-agent systems'. Together they form a unique fingerprint.

Cite this