Skip to main content

Research Repository

See what's under the surface

A logic for context-aware non-monotonic reasoning agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul

Authors

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque



Contributors

Alexander Gelbukh
Editor

Félix Castro Espinoza
Editor

Sofía N Galicia-Haro
Editor

Abstract

We develop a logical model for resource-bounded context-aware multi-agent systems which handles inconsistent context information using non-monotonic reasoning. We extend the temporal logic $CTL^*$ with belief and communication modalities, and the resulting logic $\mathcal{L}_{DROCS}$ allows us to describe a set of rule-based non-monotonic context-aware agents with bounds on computational (time and space) and communication resources. We use OWL 2 RL ontologies and Semantic Web Rule Language (SWRL) for context-modelling and rules that enables the construction of a formal system. We provide an axiomatization of the logic and prove it is sound and complete. We illustrate the use of the logical model on a simple example.

Publication Date Nov 16, 2014
Print ISSN 0302-9743
Peer Reviewed Peer Reviewed
Volume 8856
Pages 453-471
Book Title Human-Inspired Computing and Its Applications
ISBN 9783319136462
APA6 Citation Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In F. C. Espinoza, S. N. Galicia-Haro, & A. Gelbukh (Eds.), Human-Inspired Computing and Its Applications, 453-471. Springer. https://doi.org/10.1007/978-3-319-13647-9_41
DOI https://doi.org/10.1007/978-3-319-13647-9_41
Keywords context-aware, rule-based reasoning, defeasible reasoning multi-agent systems, ontology
Publisher URL http://dx.doi.org/10.1007/978-3-319-13647-9_41
Related Public URLs https://link.springer.com/chapter/10.1007%2F978-3-319-13647-9_41