KED: a deontic theorem prover

Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). KED: a deontic theorem prover. In: Biagioli, Carlo, Sartor, Giovanni and Tiscornia, Daniela, Eleventh International Conference on Logic Programming (ICLP’94), Santa Margherita Ligure, Italy, (60-76). June 13 - 18 1994.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ9691_OA.pdf Full text (open access) application/pdf 91.38KB 1964
Author Artosi, Alberto
Cattabriga, Paola
Governatori, Guido
Title of paper KED: a deontic theorem prover
Conference name Eleventh International Conference on Logic Programming (ICLP’94)
Conference location Santa Margherita Ligure, Italy
Conference dates June 13 - 18 1994
Publication Year 1994
Sub-type Fully published paper
Open Access Status File (Author Post-print)
Editor Biagioli, Carlo
Sartor, Giovanni
Tiscornia, Daniela
Start page 60
End page 76
Language eng
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.
Keyword Deontic logic
Theorem prover
Labelled tableaux
Normative reasoning
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Mon, 21 Mar 2005, 10:00:00 EST by Guido Governatori on behalf of Scholarly Communication and Digitisation Service