Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

  • Nikhil Dinesh
  • Aravind Joshi
  • Insup Lee
  • Oleg Sokolsky
Conference paper

DOI: 10.1007/978-3-540-70525-3_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5076)
Cite this paper as:
Dinesh N., Joshi A., Lee I., Sokolsky O. (2008) Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. In: van der Meyden R., van der Torre L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science, vol 5076. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Nikhil Dinesh
    • 1
  • Aravind Joshi
    • 1
  • Insup Lee
    • 1
  • Oleg Sokolsky
    • 1
  1. 1.Department of Computer ScienceUniversity of PennsylvaniaPhiladelphiaUSA

Personalised recommendations