Access the full text.
Sign up today, get DeepDyve free for 14 days.
F. Feldman (1986)
Doing the best we can
L. Toor (1998)
The temporal analysis of Chisholm's paradox
J. Horty (2001)
Agency and Deontic Logic
S. Hanks, D. McDermott (1986)
Default Reasoning, Nonmonotonic Logics, and the Frame Problem
David Copp, D. Regan (1983)
Utilitarianism and Co-OperationThe Philosophical Review, 80
A. Gibbard (1965)
Rule-utilitarianism: Merely an illusory alternative?Australasian Journal of Philosophy, 43
I. Humberstone (1983)
THE BACKGROUND OF CIRCUMSTANCESPacific Philosophical Quarterly, 64
J. H. Sobel (1968)
Rule-utilitarianismAustralasian Journal of Philosophy, 46
F. Jackson, R. Pargetter (1986)
Oughts, options, and actualismThe Philosophical Review, 95
R. Thomason (1981)
Deontic Logic as Founded on Tense Logic
H. Castañeda (1981)
The Paradoxes of Deontic Logic: The Simplest Solution to all of them in one Fell Swoop
H. Goldman (1976)
Dated Rightness and Moral ImperfectionThe Philosophical Review, 85
D. Lindley, L. Savage (1955)
The Foundations of StatisticsThe Mathematical Gazette, 57
J. Lang, Leendert Torre, E. Weydert (2002)
Utilitarian DesiresAutonomous Agents and Multi-Agent Systems, 5
E. Clarke, E. Emerson, A. Sistla (1986)
Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Trans. Program. Lang. Syst., 8
J. Broersen, L. Torre (2003)
John Horty, Agency and Deontic LogicArtificial Intelligence and Law, 11
J. Broersen, M. Dastani, Zhisheng Huang, Leendert Torre (2002)
Trust and Commitment in Dynamic Logic
Henry Kautz (1986)
The Logic of Persistence
H. Wansing (2004)
Agency and Deontic Logic, J.F. HortyJournal of Logic, Language and Information, 13
Leendert Torre, Yao-Hua Tan (1999)
Diagnosis and decision making in normative reasoningArtificial Intelligence and Law, 7
J. Czelakowski (2003)
John F. Horthy, Agency and Deontic Logic.Erkenntnis, 58
Leendert Torre, Yao-Hua Tan (1999)
Contrary‐to‐duty reasoning with preference‐based dyadic obligationsAnnals of Mathematics and Artificial Intelligence, 27
G. H. von Wright (1951)
Deontic LogicMind, 60
Artificial Intelligence and Law 11: 45–61, 2003. Book Review John Horty, Agency and Deontic Logic, Oxford University Press, Oxford, 2001, 204 pp. (ISBN 0-19513-461-3) 1. Introduction John Horty’s book ‘Agency and Deontic Logic’ appeared at Oxford University Press in 2001. It develops deontic logic against the background of a theory of agency in non-deterministic time. Several philosophical reviews of the book ap- peared since then (Bartha 2002; Czelakowski 2002; Danielsson 2002; McNamara 2003; Wansing 2003). Our goal is to present the book to a general AI audience that is familiar with action theories developed in AI, classical decision theory (Savage 1954), or formalizations of temporal reasoning like Computation Tree Logic (CTL) (Clarke et al. 1986; Emerson 1990). Therefore, in contrast to the philosophical reviews, we discuss and explain several key examples in the book. We do not explicitly discuss the relevance for AI and law, because the book itself is not concerned with the application of the theory to the legal domain. However, the relevance of deontic logic and normative reasoning for legal reasoning is well established by a number of publications on deontic logic in AI and law, see for example the special issue of this journal on
Artificial Intelligence and Law – Springer Journals
Published: Oct 6, 2004
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.