A logic for context-aware non-monotonic reasoning agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul

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