Temporalised Epistemic Logic for Reasoning about Agent-Based Systems

Authors:
Ji Ma;Mehmet A. Orgun;Abdul Sattar;Kamel Adi
Affiliations:
-;-;-;-
Venue:
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Year:
2009

Citing 11
Cited 0

Properties of independently axiomatizable bimodal logics

Journal of Symbolic Logic
Verification of reactive systems using temporal logic with clocks

Theoretical Computer Science
First-order modal logic

First-order modal logic
The bit transmission problem revisited

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Fibring Logics, Dov M. Gabbay

Journal of Logic, Language and Information
A new logic for electronic commerce protocols

Theoretical Computer Science - Special issue: Algebraic methodology and software technology
Labelled Tableaux for Multi-Modal Logics

TABLEAUX '95 Proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Model Checking for Combined Logics with an Application to Mobile Systems

Automated Software Engineering
Verifying Multi-agent Programs by Model Checking

Autonomous Agents and Multi-Agent Systems
Modal tableaux for verifying stream authentication protocols

Autonomous Agents and Multi-Agent Systems
A temporalised belief logic for specifying the dynamics of trust for multi-agent systems

ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday

Quantified Score

Hi-index	0.00

Visualization

Abstract

For modelling and verifying agent systems, many researchers have proposed different logical systems. Since agent-based 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.