Stateless and Rule-Based Verification For Compliance Checking Applications

04/14/2022
by   Mohammad Reza Besharati, et al.
0

Underlying computational model has an important role in any computation. The state and transition (such as in automata) and rule and value (such as in Lisp and logic programming) are two comparable and counterpart computational models. Both of deductive and model checking verification techniques are relying on a notion of state and as a result, their underlying computational models are state dependent. Some verification problems (such as compliance checking by which an under compliance system is verified against some regulations and rules) have not a strong notion of state nor transition. Behalf of it, these systems have a strong notion of value symbols and declarative rules defined on them. SARV (Stateless And Rule-Based Verification) is a verification framework that designed to simplify the overall process of verification for stateless and rule-based verification problems (e.g. compliance checking). In this paper, a formal logic-based framework for creating intelligent compliance checking systems is presented. We define and introduce this framework, report a case study and present results of an experiment on it. The case study is about protocol compliance checking for smart cities. Using this solution, a Rescue Scenario use case and its compliance checking are sketched and modeled. An automation engine for and a compliance solution with SARV are introduced. Based on 300 data experiments, the SARV-based compliance solution outperforms famous machine learning methods on a 3125-records software quality dataset.

READ FULL TEXT
research
04/10/2014

Verification of confliction and unreachability in rule-based expert systems with model checking

It is important to find optimal solutions for structural errors in rule-...
research
07/11/2020

KARB Solution: Compliance to Quality by Rule Based Benchmarking

Instead of proofs or logical evaluations, compliance assessment could be...
research
10/13/2021

Compliance checking in reified IO logic via SHACL

Reified Input/Output (I/O) logic[21] has been recently proposed to model...
research
05/17/2023

Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels

Artificial Intelligence plays a main role in supporting and improving sm...
research
09/20/2022

Declarative Guideline Conformance Checking of Clinical Treatments: A Case Study

Conformance checking is a process mining technique that allows verifying...
research
09/02/2021

An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts

We propose Dr.Aid, a logic-based AI framework for automated compliance c...
research
02/09/2021

Interrogating the Black Box: Transparency through Information-Seeking Dialogues

This paper is preoccupied with the following question: given a (possibly...

Please sign up or login with your details

Forgot password? Click here to reset