Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security
A Logical Framework for the Representation and Verification of Context-aware Agents
Rakib, Abdur; Ul Haque, Hafiz Mahfooz
Authors
Hafiz Mahfooz Ul Haque
Abstract
© 2014, Springer Science+Business Media New York. 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 𝓛OCRS 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 a desired 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 𝓛OCRS models using existing model checking techniques.
Journal Article Type | Article |
---|---|
Acceptance Date | Mar 27, 2014 |
Online Publication Date | Jun 19, 2014 |
Publication Date | Oct 1, 2014 |
Deposit Date | Jun 16, 2017 |
Publicly Available Date | Jun 16, 2017 |
Journal | Mobile Networks and Applications |
Print ISSN | 1383-469X |
Electronic ISSN | 1572-8153 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 19 |
Issue | 5 |
Pages | 585-597 |
DOI | https://doi.org/10.1007/s11036-014-0520-0 |
Keywords | modal logic, context-aware, multi-agent systems, ontology, model checking |
Public URL | https://uwe-repository.worktribe.com/output/815884 |
Publisher URL | http://dx.doi.org/10.1007/s11036-014-0520-0 |
Related Public URLs | https://link.springer.com/article/10.1007%2Fs11036-014-0520-0 |
Additional Information | Additional Information : The final publication is available at Springer via http://dx.doi.org/10.1007/s11036-014-0520-0. |
Contract Date | Jun 16, 2017 |
Files
MONET'14.pdf
(551 Kb)
PDF
You might also like
A logic for context-aware non-monotonic reasoning agents
(2014)
Presentation / Conference Contribution
Advancing underutilized crops knowledge using SWRL-enabled ontologies - A survey and early experiment
(2014)
Presentation / Conference Contribution
MyGeo-Explorer: A semantic search tool for querying geospatial information
(2015)
Journal Article
Modeling and verifying context-aware non-monotonic reasoning agents
(2015)
Presentation / Conference Contribution
A temporal description logic for resource-bounded rule-based context-aware agents
(2014)
Presentation / Conference Contribution
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