Deontic Logic in Computer Science

Governatori, Guido; Sartor, Giovanni

doi:10.1007/978-3-642-14183-6

Cited by 1 publication

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The idea of using a temporal logic for deontic purposes is not new. It can be traced to [1,22,16,8,11,7,23], among others who use some type of temporal-deontic logic. However, as far as we know they provide neither tool support nor a translation into a standard tool, and thus are not directly comparable to our work which is heavily tool-biased.…”

Section: Related Workmentioning

confidence: 99%

A Software Tool for Legal Drafting

Gorín

Mera

Schapachnik

2011

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do. In this article we compare normative documents and software specifications to find out their similarities and differences. The comparison shows that there are distinctive particularities, but they are restricted to a very specific subclass of normative propositions. The rest, we postulate, can be dealt with software tools. For such an enterprise the FormaLex tool set was devised: an LTL-based language and companion tools that utilize model checking to find out normative incoherences in regulations, contracts and other legal documents. A feature-rich case study is analyzed with the presented tools

show abstract