KED: A Deontic Theorem Prover

Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994-01-01). KED: A Deontic Theorem Prover. In: Biagioli, Carlo, Sartor, Giovanni and Tiscornia, Daniela Workshop on Legal Application of Logic Programming, Santa Margherita Ligure, Italy, (60-76). .

 
Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
ked.pdf   ked.pdf application/pdf 91.38KB 900


Author(s) Artosi, Alberto
Cattabriga, Paola
Governatori, Guido
Title of paper KED: A Deontic Theorem Prover
Conference name Workshop on Legal Application of Logic Programming
Conference location Santa Margherita Ligure, Italy
Editor(s) Biagioli, Carlo
Sartor, Giovanni
Tiscornia, Daniela
Publication date 1994-01-01
Start page 60
End page 76
Abstract/Summary Deontic logic (DL) is increasingly recognized as an indispensable tool in such application areas as formal representation of legal knowledge and reasoning, formal specification of computer systems and formal analysis of database integrity constraints. Despite this acknowledgement, there have been few attempts to provide computationally tractable inference mechanisms for DL. In this paper we shall be concerned with providing a computationally oriented proof method for standard DL (SDL), i.e., normal systems of modal logic with the usual possible-worlds semantics. Because of the natural and easily implementable style of proof construction it uses, this method seems particularly well-suited for applications in the AI and Law field, and though in the present version it works for SDL only, it forms an appropriate basis for developing efficient proof methods for more expressive and sophisticated extensions of SDL.
Subjects 280403 Logics and Meanings of Programs
280400 Computation Theory and Mathematics
Keyword(s) deontic logic
theorem prover
labelled tableaux
normative reasoning
 
Related Links
Link Description
http://www.itee.uq.edu.au/~guido/_KEM/ked.pdf  
Go to link with your UQ access privileges		 Alternative Location  
 
Versions
Version Filter Type
Access Statistics: 164 Abstract Views, 893 File Downloads  -  Detailed Statistics
Created: Mon, 21 Mar 2005, 10:00:00 EST by Guido Governatori  -  Detailed History