A Default Temporal Logic for Regulatory Conformance Checking

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 accommodate 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2008
Accession Number
ADA519810

Entities

People

  • Aravin K. Joshi
  • Insup Lee
  • Nikhil Dinesh
  • Oleg Sokolsky

Organizations

  • University of Pennsylvania

Tags

DTIC Thesaurus Topics

  • Case Studies
  • Computer Science
  • Computers
  • Consistency
  • Construction
  • Hepatitis
  • Infection
  • Information Science
  • Language
  • Law
  • Models
  • Natural Languages
  • Notation
  • Pennsylvania
  • Reasoning
  • Regulations
  • Semantics

Readers

  • Artificial Intelligence
  • Defense Acquisition Program Management
  • Mathematical Modeling and Probability Theory.