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

F�lix Castro Espinoza

Sof�a N Galicia-Haro


© 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.

Presentation Conference Type Conference Paper (Published)
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
Contract Date Jun 16, 2017