Skip to main content

Research Repository

Advanced Search

A logic for context-aware non-monotonic reasoning agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul


Profile Image

Rakib Abdur
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque


Alexander Gelbukh




© Springer International Publishing Switzerland 2014. We develop a logical model for resource-bounded contextaware 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 LDROCS allows us to describe a set of rule-based non-monotonic contextaware 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.


Rakib, A., & Haque, H. M. U. (2014). A logic for context-aware non-monotonic reasoning agents. In A. Gelbukh, F. C. Espinoza, & S. N. Galicia-Haro (Eds.), Human-Inspired Computing and Its Applications (453-471).

Conference Name Mexican International Conference on Artificial Intelligence
Acceptance Date Aug 1, 2014
Publication Date Nov 16, 2014
Deposit Date Jun 16, 2017
Print ISSN 0302-9743
Publisher Springer
Peer Reviewed Peer Reviewed
Volume 8856
Pages 453-471
Series Title Lecture Notes in Computer Science
Series ISSN 9783319136462
Book Title Human-Inspired Computing and Its Applications
ISBN 9783319136462
Keywords context-aware, rule-based reasoning, defeasible reasoning multi-agent systems, ontology
Public URL
Publisher URL
Related Public URLs