Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

John Horty, Agency and Deontic Logic

John Horty, Agency and Deontic Logic 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 http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Artificial Intelligence and Law Springer Journals

John Horty, Agency and Deontic Logic

Loading next page...
 
/lp/springer-journals/john-horty-agency-and-deontic-logic-ynEOSJxjBq
Publisher
Springer Journals
Copyright
Copyright © 2003 by Kluwer Academic Publishers
Subject
Computer Science; Artificial Intelligence (incl. Robotics); International IT and Media Law, Intellectual Property Law; Philosophy of Law; Legal Aspects of Computing; Information Storage and Retrieval
ISSN
0924-8463
eISSN
1572-8382
DOI
10.1023/B:ARTI.0000013352.63798.08
Publisher site
See Article on Publisher Site

Abstract

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

Journal

Artificial Intelligence and LawSpringer Journals

Published: Oct 6, 2004

References