Temporalised epistemic logic for reasoning about agent-based systems

Ji Ma; Mehmet A. Orgun; Abdul Sattar; Kamel Adi

doi:10.1109/WI-IAT.2009.329

Temporalised epistemic logic for reasoning about agent-based systems

Ji Ma^*, Mehmet A. Orgun, Abdul Sattar, Kamel Adi

^*Corresponding author for this work

School of Computing

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

11 Downloads (Pure)

Abstract

For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agentbased systems are designed to operate in dynamic environments such as the Internet, it is also important to model the temporal aspects of such systems in a systematic way. In this paper, we use a temporalised epistemic logic called TEL for formalising agent-based systems. We also propose a labelled tableau system and a model checking method for this logic. With logic TEL and its associated proof system, we are able to reason about, and verify agent systems operating in dynamic environments.

Original language	English
Title of host publication	Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009
Editors	Paolo Boldi, Giuseppe Vizzari, Gabriella Pasi, Ricardo Baeza-Yates
Place of Publication	Los Alamitos, CA, USA
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	474-477
Number of pages	4
Volume	3
ISBN (Print)	9780769538013
DOIs	https://doi.org/10.1109/WI-IAT.2009.329
Publication status	Published - 2009
Event	2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 - Milano, Italy Duration: 15 Sept 2009 → 18 Sept 2009

Other

Other	2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009
Country/Territory	Italy
City	Milano
Period	15/09/09 → 18/09/09

Bibliographical note

Copyright 2009 IEEE. Reprinted from [insert relevant publication info â€“ journal title or conference proceedings title]. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

Access to Document

10.1109/WI-IAT.2009.329

Publisher version (open access).pdfFinal published version, 459 KB

Cite this

Ma, J., Orgun, M. A., Sattar, A., & Adi, K. (2009). Temporalised epistemic logic for reasoning about agent-based systems. In P. Boldi, G. Vizzari, G. Pasi, & R. Baeza-Yates (Eds.), Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 (Vol. 3, pp. 474-477). Article 5285051 Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/WI-IAT.2009.329

Ma, Ji ; Orgun, Mehmet A. ; Sattar, Abdul et al. / Temporalised epistemic logic for reasoning about agent-based systems. Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009. editor / Paolo Boldi ; Giuseppe Vizzari ; Gabriella Pasi ; Ricardo Baeza-Yates. Vol. 3 Los Alamitos, CA, USA : Institute of Electrical and Electronics Engineers (IEEE), 2009. pp. 474-477

@inproceedings{159b7bf018bd42c8b4f66043e162e671,

title = "Temporalised epistemic logic for reasoning about agent-based systems",

abstract = "For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agentbased systems are designed to operate in dynamic environments such as the Internet, it is also important to model the temporal aspects of such systems in a systematic way. In this paper, we use a temporalised epistemic logic called TEL for formalising agent-based systems. We also propose a labelled tableau system and a model checking method for this logic. With logic TEL and its associated proof system, we are able to reason about, and verify agent systems operating in dynamic environments.",

author = "Ji Ma and Orgun, {Mehmet A.} and Abdul Sattar and Kamel Adi",

note = "Copyright 2009 IEEE. Reprinted from [insert relevant publication info {\^a}€“ journal title or conference proceedings title]. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie University{\^a}€{\texttrademark}s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.; 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009 ; Conference date: 15-09-2009 Through 18-09-2009",

year = "2009",

doi = "10.1109/WI-IAT.2009.329",

language = "English",

isbn = "9780769538013",

volume = "3",

pages = "474--477",

editor = "Paolo Boldi and Giuseppe Vizzari and Gabriella Pasi and Ricardo Baeza-Yates",

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

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

address = "United States",

}

Ma, J, Orgun, MA, Sattar, A & Adi, K 2009, Temporalised epistemic logic for reasoning about agent-based systems. in P Boldi, G Vizzari, G Pasi & R Baeza-Yates (eds), Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009. vol. 3, 5285051, Institute of Electrical and Electronics Engineers (IEEE), Los Alamitos, CA, USA, pp. 474-477, 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009, Milano, Italy, 15/09/09. https://doi.org/10.1109/WI-IAT.2009.329

Temporalised epistemic logic for reasoning about agent-based systems. / Ma, Ji; Orgun, Mehmet A.; Sattar, Abdul et al.
Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009. ed. / Paolo Boldi; Giuseppe Vizzari; Gabriella Pasi; Ricardo Baeza-Yates. Vol. 3 Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers (IEEE), 2009. p. 474-477 5285051.

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

TY - GEN

T1 - Temporalised epistemic logic for reasoning about agent-based systems

AU - Ma, Ji

AU - Orgun, Mehmet A.

AU - Sattar, Abdul

AU - Adi, Kamel

N1 - Copyright 2009 IEEE. Reprinted from [insert relevant publication info â€“ journal title or conference proceedings title]. This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of Macquarie Universityâ€™s products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to [email protected]. By choosing to view this document, you agree to all provisions of the copyright laws protecting it.

PY - 2009

Y1 - 2009

N2 - For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agentbased systems are designed to operate in dynamic environments such as the Internet, it is also important to model the temporal aspects of such systems in a systematic way. In this paper, we use a temporalised epistemic logic called TEL for formalising agent-based systems. We also propose a labelled tableau system and a model checking method for this logic. With logic TEL and its associated proof system, we are able to reason about, and verify agent systems operating in dynamic environments.

AB - For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agentbased systems are designed to operate in dynamic environments such as the Internet, it is also important to model the temporal aspects of such systems in a systematic way. In this paper, we use a temporalised epistemic logic called TEL for formalising agent-based systems. We also propose a labelled tableau system and a model checking method for this logic. With logic TEL and its associated proof system, we are able to reason about, and verify agent systems operating in dynamic environments.

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

U2 - 10.1109/WI-IAT.2009.329

DO - 10.1109/WI-IAT.2009.329

M3 - Conference proceeding contribution

AN - SCOPUS:84856829442

SN - 9780769538013

VL - 3

SP - 474

EP - 477

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

A2 - Boldi, Paolo

A2 - Vizzari, Giuseppe

A2 - Pasi, Gabriella

A2 - Baeza-Yates, Ricardo

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Los Alamitos, CA, USA

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

Y2 - 15 September 2009 through 18 September 2009

ER -

Ma J, Orgun MA, Sattar A, Adi K. Temporalised epistemic logic for reasoning about agent-based systems. In Boldi P, Vizzari G, Pasi G, Baeza-Yates R, editors, Proceedings - 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2009. Vol. 3. Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers (IEEE). 2009. p. 474-477. 5285051 doi: 10.1109/WI-IAT.2009.329

Temporalised epistemic logic for reasoning about agent-based systems

Abstract

Other

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this