Analytic tableaux for verifying agent beliefs

Ji Ma; Mehmet A. Orgun

doi:10.1109/WIIAT.2008.79

Analytic tableaux for verifying agent beliefs

Ji Ma^*, Mehmet A. Orgun

^*Corresponding author for this work

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-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 language	English
Title of host publication	Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
Place of Publication	Los Alamitos, CA
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	643-646
Number of pages	4
Volume	3
ISBN (Print)	9780769534961
DOIs	https://doi.org/10.1109/WIIAT.2008.79
Publication status	Published - 2008
Event	2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 - Sydney, NSW, Australia Duration: 9 Dec 2008 → 12 Dec 2008

Other

Other	2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008
Country/Territory	Australia
City	Sydney, NSW
Period	9/12/08 → 12/12/08

Access to Document

10.1109/WIIAT.2008.79

Cite this

@inproceedings{de147898b8294fd08d1f9ef9f502fe5f,

title = "Analytic tableaux for verifying agent beliefs",

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.",

author = "Ji Ma and Orgun, {Mehmet A.}",

year = "2008",

doi = "10.1109/WIIAT.2008.79",

language = "English",

isbn = "9780769534961",

volume = "3",

pages = "643--646",

booktitle = "Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008 ; Conference date: 09-12-2008 Through 12-12-2008",

}

Ma, J & Orgun, MA 2008, Analytic tableaux for verifying agent beliefs. in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. vol. 3, 4740861, Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, CA, pp. 643-646, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008, Sydney, NSW, Australia, 9/12/08. https://doi.org/10.1109/WIIAT.2008.79

Analytic tableaux for verifying agent beliefs. / Ma, Ji; Orgun, Mehmet A.
Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. Vol. 3 Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), 2008. p. 643-646 4740861.

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

TY - GEN

T1 - Analytic tableaux for verifying agent beliefs

AU - Ma, Ji

AU - Orgun, Mehmet A.

PY - 2008

Y1 - 2008

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=62949232004&partnerID=8YFLogxK

U2 - 10.1109/WIIAT.2008.79

DO - 10.1109/WIIAT.2008.79

M3 - Conference proceeding contribution

AN - SCOPUS:62949232004

SN - 9780769534961

VL - 3

SP - 643

EP - 646

BT - Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Los Alamitos, CA

T2 - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008

Y2 - 9 December 2008 through 12 December 2008

ER -

Analytic tableaux for verifying agent beliefs

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this