Reasoning about conditions and exceptions to laws in regulatory conformance checking

21Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper considers the problem of checking whether an organization conforms to a body of regulation. Conformance is cast as a trace checking question - the regulation is represented in a logic that is evaluated against an abstract trace or run representing the operations of an organization. We focus on a problem in designing a logic to represent regulation. A common phenomenon in regulatory texts is for sentences to refer to others for conditions or exceptions. We motivate the need for a formal representation of regulation to accomodate such references between statements. We then extend linear temporal logic to allow statements to refer to others. The semantics of the resulting logic is defined via a combination of techniques from Reiter's default logic and Kripke's theory of truth. © 2008 Springer-Verlag.

Cite

CITATION STYLE

APA

Dinesh, N., Joshi, A., Lee, I., & Sokolsky, O. (2008). Reasoning about conditions and exceptions to laws in regulatory conformance checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5076 LNAI, pp. 110–124). https://doi.org/10.1007/978-3-540-70525-3_10

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free