• Publications
  • Influence
Agency and Deontic Logic
1. OVERVIEW 2. INDETERMINISM AND AGENCY 2.1 Branching time 2.1.1 Frames and Models 2.1.2 2.1.2 Propositions 2.2 Individual agency 2.2.1 Agents and choices 2.2.2 Stit operators 2.2.3 Some logical
The deliberative stit: A study of action, omission, ability, and obligation
L'A. propose une alternative a la stit theory (selon laquelle l'agent sees to it that A) developpee par N. Belnap et M. Perloff en terme de logique de l'accomplissement. L'A. privilegie l'operateur
Reasons as Defaults
Introduction I Default logic 1 A Primer on Default Logic 1.1 Basic concepts 1.1.1 Default rules 1.1.2 Priority relations 1.1.3 Theories and scenarios 1.2 Central definitions 1.2.1 Binding defaults
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
TMOIS provided a definition and analysis of a theoretically sound multiple inheritance system, accompanied by inference algorithms, and other definitions for inheritance have since been proposed that are equally sound and intuitive, but do not always agree with TMOIS.
Moral dilemmas and nonmonotonic logic
  • J. Horty
  • Philosophy
    J. Philos. Log.
  • 1 February 1994
It is shown that nonmonotonic logics provide a natural framework for reasoning about moral dilemmas, perhaps even more useful than the ordinary modal framework, and that the issues surrounding the treatment of exceptional information within these logics run parallel to some of the problems posed by conditional oughts.
Reasoning with Moral Conflicts
1I ntroduction Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent
The doctrine of precedent, as it has evolved within the common law, has at its heart a form of reasoning—broadly speaking, a logic—according to which the decisions of earlier courts in particular
Reasoning with dimensions and magnitudes
  • J. Horty
  • Computer Science
  • 12 June 2017
Two models of precedential constraint can be broadened to include legal information represented through dimensions, as well as standard factors, in response to problems raised by Bench-Capon.