Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
A temporal description logic for resource-bounded rule-based context-aware agents
Rakib, Abdur; Haque, Hafiz Mahfooz Ul; Faruqui, Rokan Uddin
Authors
Hafiz Mahfooz Ul Haque
Rokan Uddin Faruqui
Contributors
Phan Cong Vinh
Editor
Vangalur Alagar
Editor
Emil Vassev
Editor
Ashish Khare
Editor
Abstract
© Springer International Publishing Switzerland 2014. We propose a logical framework for modelling and verifying context-aware multi-agent systems. We extend CTL* with belief and communication modalities, and the resulting logic LOCRS allows us to describe a set of rule-based reasoning agents with bound on time, memory and communication. The set of rules which are used to model the systems is derived from OWL 2 RL ontologies. We provide an axiomatization of the logic and prove it is sound and complete. We show how Maude rewriting system can be used to encode and verify interesting properties of LOCRS models using existing model checking techniques.
Citation
Rakib, A., Haque, H. M. U., & Faruqui, R. U. (2014). A temporal description logic for resource-bounded rule-based context-aware agents. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 128, 3-14. https://doi.org/10.1007/978-3-319-05939-6_1
Journal Article Type | Conference Paper |
---|---|
Publication Date | Jan 1, 2014 |
Deposit Date | Jun 16, 2017 |
Journal | Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST |
Print ISSN | 1867-8211 |
Publisher | Springer Verlag (Germany) |
Peer Reviewed | Peer Reviewed |
Volume | 128 |
Pages | 3-14 |
DOI | https://doi.org/10.1007/978-3-319-05939-6_1 |
Keywords | modal logic, context-aware, multi-agent systems, ontology, model checking |
Public URL | https://uwe-repository.worktribe.com/output/819146 |
Publisher URL | https://link.springer.com/chapter/10.1007/978-3-319-05939-6_1 |
Related Public URLs | https://link.springer.com/chapter/10.1007%2F978-3-319-05939-6_1 |
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