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.
CITATION STYLE
Rakib, A., & Ul Haque, H. M. (2014). A logic for context-aware non-monotonic reasoning agents. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8856, 453–471. https://doi.org/10.1007/978-3-319-13647-9_41
Mendeley helps you to discover research relevant for your work.