Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

Simple item page
dc.contributor.authorDinesh, Nikhil
dc.contributor.authorJoshi, Aravind K
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorDinesh, Nikhil
dc.contributor.authorJoshi, Aravind K
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.date2023-05-17T02:13:32.000
dc.date.accessioned2023-05-22T12:47:56Z
dc.date.available2023-05-22T12:47:56Z
dc.date.issued2008-07-01
dc.date.submitted2008-05-07T18:35:18-07:00
dc.description.abstractThis 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.
dc.description.commentsPostprint version. Presented at the <em>Ninth International Conference on Deontic Logic in Computer Science, (DEON'08)</em>, July, 2008.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6415
dc.legacy.articleid1396
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1396&amp;context=cis_papers&amp;unstamped=1
dc.source.issue371
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.titleReasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:nikhild@seas.upenn.edu|institution:University of Pennsylvania|Dinesh, Nikhil
digcom.contributor.authorisAuthorOfPublication|email:joshi@seas.upenn.edu|institution:University of pennsylvania|Joshi, Aravind K
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.identifiercis_papers/371
digcom.identifier.contextkey505628
digcom.identifier.submissionpathcis_papers/371
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication2b07eda6-fd27-43fe-9faf-a945691e5090
relation.isAuthorOfPublicationd3909767-0b3f-4197-837c-49ce268776e3
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery2b07eda6-fd27-43fe-9faf-a945691e5090
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
deon08.pdf
Size:
143.04 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations