Reasoning about actions and obligations in first-order logic

Studia Logica 57 (1):221 - 237 (1996)
  Copy   BIBTEX

Abstract

We describe a new way in which theories about the deontic status of actions can be represented in terms of the standard two-sorted first-order extensional predicate calculus. Some of the resulting formal theories are easy to implement in Prolog; one prototype implementation—R. M. Lee's deontic expert shell DX—is briefly described.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370676

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,388

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reasoning about Actions and Obligations in First-Order Logic.Gert-Jan C. Lokhorst - 1996 - Studia Logica 57 (1):221 - 237.
On Some Applied First-Order Theories which Can Be Represented by Definitions.Vladimir Shalack - 2015 - Bulletin of the Section of Logic 44 (1/2):19-24.
Progression and Verification of Situation Calculus Agents with Bounded Beliefs.Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi & Stavros Vassos - 2016 - Studia Logica 104 (4):705-739.
A Framework for Deontic Reasoning in Predicate Logic.Sharon Ruth Livingston - 1998 - Dissertation, Georgetown University
The Concurrent, Continuous Fluent Calculus.Thielscher Michael - 2001 - Studia Logica 67 (3):315-331.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
The Ramifications of Error Theories about the Deontic.Vuko Andrić - 2015 - Acta Analytica 30 (4):429-445.
Two approaches to the formalisation of defeasible deontic reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
The reduction of deontic logic to the first-order predicate calculus.J. F. Lindemans - 1983 - Logique Et Analyse 26 (2):191.
A new formulation of discussive logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.

Analytics

Added to PP
2009-01-28

Downloads
68 (#322,097)

6 months
13 (#197,488)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical English meets legal English for swaps and derivatives.Robert Kowalski & Akber Datoo - 2022 - Artificial Intelligence and Law 30 (2):163-197.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar, The Logica Yearbook 2011. College Publications.

Add more citations

References found in this work

Elements of symbolic logic.Hans Reichenbach - 1980 - London: Dover Publications.
An Introduction to Modal Logic.George Edward Hughes & M. J. Cresswell - 1968 - London, England: Methuen. Edited by M. J. Cresswell.
I. deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
Foundations of Logic Programming.J. W. Lloyd - 1987 - Journal of Symbolic Logic 52 (1):288-289.
Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.

View all 10 references / Add more references