An automated approach to normative reasoning

Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). An automated approach to normative reasoning. In: Breuker, Joost, ECAI Workshop on Artificial Normative Reasoning, Amsterdam, (132-145). 8-12 August 1994.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
UQ9690_OA.pdf Full text (open access) application/pdf 131.59KB 615
Author Artosi, Alberto
Cattabriga, Paola
Governatori, Guido
Title of paper An automated approach to normative reasoning
Conference name ECAI Workshop on Artificial Normative Reasoning
Conference location Amsterdam
Conference dates 8-12 August 1994
Place of Publication Amsterdam
Publisher ECCAI
Publication Year 1994
Sub-type Fully published paper
Open Access Status File (Author Post-print)
Editor Breuker, Joost
Start page 132
End page 145
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