Skip to main content

Research Repository

Advanced Search

Modeling and verifying context-aware non-monotonic reasoning agents

Rakib, Abdur; Haque, Hafiz Mahfooz Ul

Modeling and verifying context-aware non-monotonic reasoning agents Thumbnail


Authors

Profile Image

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security

Hafiz Mahfooz Ul Haque



Abstract

© 2015 IEEE. This paper complements our previous work on formal modeling of resource-bounded context-aware systems, which handle inconsistent context information using defeasible reasoning, by focusing on automated analysis and verification. A case study demonstrates how model checking techniques can be used to formally analyze quantitative and qualitative properties of a context-aware system based on message passing among agents. The behavior (semantics) of the system is modeled by a term rewriting system and the desired properties are expressed as LTL formulas. The Maude LTL model checker is used to perform automated analysis of the system and verify non-conflicting context information guarantees it provides.

Citation

Rakib, A., & Haque, H. M. U. (2015). Modeling and verifying context-aware non-monotonic reasoning agents. In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) (61-69). https://doi.org/10.1109/MEMCOD.2015.7340471

Conference Name 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015
Conference Location The University of Texas at Austin
Start Date Sep 21, 2015
End Date Sep 23, 2015
Acceptance Date Jul 24, 2015
Publication Date Nov 30, 2015
Deposit Date Jun 16, 2017
Publicly Available Date Jun 20, 2017
Peer Reviewed Peer Reviewed
Pages 61-69
Book Title 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
DOI https://doi.org/10.1109/MEMCOD.2015.7340471
Keywords formal modeling, model checking, context-aware
systems, rule-based reasoning, defeasible reasoning, multi-agent systems
Public URL https://uwe-repository.worktribe.com/output/802350
Publisher URL http://dx.doi.org/10.1109/MEMCOD.2015.7340471
Related Public URLs http://ieeexplore.ieee.org/document/7340471/?reload=true
Additional Information Title of Conference or Conference Proceedings : The 13th ACM-IEEE International Conference on Formal Methods and Models for System Design

Files







You might also like



Downloadable Citations