Results 1  10
of
261
NORM PERFORMATIVES AND DEONTIC LOGIC
, 2011
"... ABSTRACT Deontic logic is standardly conceived as the logic of true statements about the existence of obligations and permissions. In his last writings on the subject, G. H. von Wright criticized this view of deontic logic, stressing the rationality of norm imposition as the proper foundation of de ..."
Abstract
 Add to MetaCart
∩Y )〉  ∃D ⊆ C : X ∈ s E 1D and Y ∈ s E 2(C \D) }; R. Mastop  Norm Performatives and Deontic Logic Some light can be shed on these definitions in the form of some propositions. The next proposition states that intersection of two effectivity functions preserves outcome monotonicity. Merging
State Spaces, Local Logics, and NonMonotonicity
 Cambridge: Cambridge University Press) Chapter
, 1996
"... This paper uses the informationtheoretic machinery developed in IF [2] to relate the way error is handled in the sciences to the problems of nonmonotonic reasoning. In Information Flow in Distributed Systems [2] (hereinafter IF ) Jerry Seligman and I develop a mathematical theory of information. O ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
theories. Again, nonmonotonicity becomes an issue one has to face since if human reasoning is essentially nonmonotonic but scientific reasoning is classical (hence monotonic), there would seem to be a serious obstacle to reconciling the two. In this paper I want to use the tools from IF to further
Induction from answer sets in nonmonotonic logic programs
 ACM Transactions on Computational Logic
"... Inductive logic programming (ILP) realizes inductive machine learning in computational logic. However, the present ILP mostly handles classical clausal programs, especially Horn logic programs, and has limited applications to learning nonmonotonic logic programs. This article studies a method for re ..."
Abstract

Cited by 13 (0 self)
 Add to MetaCart
Inductive logic programming (ILP) realizes inductive machine learning in computational logic. However, the present ILP mostly handles classical clausal programs, especially Horn logic programs, and has limited applications to learning nonmonotonic logic programs. This article studies a method
Deontic Logic Programs (Extended Abstract)
"... ABSTRACT Deontic logic programming (DLP) is a framework combining deontic logic and nonmonotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner for deon ..."
Abstract
 Add to MetaCart
ABSTRACT Deontic logic programming (DLP) is a framework combining deontic logic and nonmonotonic logic programming, and it is useful to represent and reason about normative systems. In this paper we propose an implementation for reasoning in DLP that combines, in a modular way, a reasoner
Appears in 9th Int’l Workshop on NonMonotonic Reasoning (NMR ’2002). Interpolation Theorems for Nonmonotonic Reasoning Systems
, 2002
"... Craig’s interpolation theorem [Craig, 1957] is an important theorem known for propositional logic and firstorder logic. It says that if a logical formula β logically follows from a formula α, then there is a formula γ, including only symbols that appear in both α, β, such that β logically follows f ..."
Abstract
 Add to MetaCart
from γ and γ logically follows from α. Such theorems are important and useful for understanding those logics in which they hold as well as for speeding up reasoning with theories in those logics. In this paper we present interpolation theorems in this spirit for three nonmonotonic systems
Explanation and Prediction: An Architecture for Default and Abductive Reasoning
 Computational Intelligence
, 1993
"... Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of ..."
Abstract

Cited by 141 (16 self)
 Add to MetaCart
Although there are many arguments that logic is an appropriate tool for artificial intelligence, there has been a perceived problem with the monotonicity of classical logic. This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences
Behavioral theories and the neurophysiology of reward,
 Annu. Rev. Psychol.
, 2006
"... ■ Abstract The functions of rewards are based primarily on their effects on behavior and are less directly governed by the physics and chemistry of input events as in sensory systems. Therefore, the investigation of neural mechanisms underlying reward functions requires behavioral theories that can ..."
Abstract

Cited by 187 (0 self)
 Add to MetaCart
toward the current Annu. Rev. Psychol. 2006.57:87115. Downloaded from arjournals.annualreviews.org by HARVARD UNIVERSITY on 04/18/07. For personal use only. THEORY AND NEUROPHYSIOLOGY OF REWARD 89 optimum. This review describes some of the knowledge on brain mechanisms related to rewarding outcomes
Classical Logic I: FirstOrder Logic
"... The word ‘logic ’ in the title of this chapter is ambiguous. In its first meaning, a logic is a collection of closely related artificial languages. There are certain languages called firstorder languages, and together they form firstorder logic. In the same spirit, there are several closely related ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
related languages called modal languages, and together they form modal logic. Likewise secondorder logic, deontic logic and so forth. In its second but older meaning, logic is the study of the rules of sound argument. Firstorder languages can be used as a framework for studying rules of argument; logic
A defeasible logic for modelling policybased intentions and motivational attitudes
, 2009
"... In this paper we show how defeasible logic could formally account for the nonmonotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitatio ..."
Abstract

Cited by 16 (13 self)
 Add to MetaCart
In this paper we show how defeasible logic could formally account for the nonmonotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule
A logical view of probability
, 1994
"... Imprecise Probability (or Upper and Lower Probability) is represented as a very simple but powerful logic. Despite having a very different language from classical logics, it enjoys many of the most important properties, which means that some extensions to classical logic can be applied in a fairly s ..."
Abstract

Cited by 21 (8 self)
 Add to MetaCart
straightforward way. The logic is extended to allow qualitative grades of belief, which can be used to represent degrees of caution, and this is applied to create theories of belief revision and nonmonotonic inference for probability statements. We also construct a theory of default probability which is based
Results 1  10
of
261