Skip to main content

Research Repository

Advanced Search

A logic for context-aware non-monotonic reasoning agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul

Authors

Profile Image

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

© 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
DOI https://doi.org/10.1007/978-3-319-13647-9_41
Keywords context-aware, rule-based reasoning, defeasible reasoning multi-agent systems, ontology
Public URL https://uwe-repository.worktribe.com/output/807709
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
Contract Date Jun 16, 2017