• 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 logicalExpand
  • 440
  • 53
The deliberative stit: A study of action, omission, ability, and obligation
TLDR
L'A. propose une alternative a la stit theory (selon laquelle l'agent sees to it that A) developpee par N. Belnap et M. Horty dans le sens d'un stit deliberatif qui peut s'appliquer a la logique deontique. Expand
  • 217
  • 16
  • PDF
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 defaultsExpand
  • 156
  • 13
  • PDF
A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems
TLDR
In The Mathematics of Inheritance Systems, or TMOIS, Touretzky described two problems these systems cannot handle: reasoning in the presence of true but redundant assertions, and coping with ambiguity. Expand
  • 327
  • 11
  • PDF
Some direct theories of nonmonotonic inheritance
  • 125
  • 11
Moral dilemmas and nonmonotonic logic
  • J. Horty
  • Mathematics, Computer Science
  • J. Philos. Log.
  • 1 February 1994
TLDR
I have 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. Expand
  • 124
  • 10
  • PDF
A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks
TLDR
This paper describes a new approach to inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. Expand
  • 301
  • 9
  • PDF
Reasoning with dimensions and magnitudes
  • J. Horty
  • Computer Science
  • ICAIL
  • 12 June 2017
TLDR
In response to problems raised by Bench-Capon [4], this paper shows how two models of precedential constraint can be broadened to include legal information represented through dimensions. Expand
  • 16
  • 7
  • PDF
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 agentExpand
  • 73
  • 6
  • PDF
Deontic logic as founded on nonmonotonic logic
  • J. Horty
  • Mathematics, Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 1 March 1993
TLDR
Nonmonotonic Logic may provide a better theoretical framework — at least for the formalization of commensense normative reasoning. Expand
  • 54
  • 6
  • PDF
...
1
2
3
4
5
...