A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents

Abdur Rakib; Hafiz Ul Haque; Rokan Faruqui

Context-Aware Systems and Applications. Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers

Research Article

A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents

Download

430 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-05939-6_1,
    author={Abdur Rakib and Hafiz Ul Haque and Rokan Faruqui},
    title={A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents},
    proceedings={Context-Aware Systems and Applications. Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers},
    proceedings_a={ICCASA},
    year={2014},
    month={6},
    keywords={Modal logic Context-aware Multi-agent systems Ontology Model checking},
    doi={10.1007/978-3-319-05939-6_1}
}

Abdur Rakib
Hafiz Ul Haque
Rokan Faruqui
Year: 2014
A Temporal Description Logic for Resource-Bounded Rule-Based Context-Aware Agents
ICCASA
Springer
DOI: 10.1007/978-3-319-05939-6_1

Abdur Rakib¹^,*, Hafiz Ul Haque¹^,*, Rokan Faruqui²^,*

1: The University of Nottingham Malaysia Campus
2: McMaster University

*Contact email: Abdur.Rakib@nottingham.edu.my, khyx2hma@nottingham.edu.my, faruqumr@mcmaster.ca

Abstract

We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend with belief and communication modalities, and the resulting logic allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of models using existing model checking techniques.

Keywords: Modal logic Context-aware Multi-agent systems Ontology Model checking

Published: 2014-06-19

: http://dx.doi.org/10.1007/978-3-319-05939-6_1