Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
A logic for context-aware non-monotonic reasoning agents
Rakib, Abdur; Haque, Hafiz Mahfooz Ul
Authors
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.
Citation
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). https://doi.org/10.1007/978-3-319-13647-9_41
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 |
You might also like
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search