Results 1  10
of
1,635
PRESERVATIONIST LOGICS AND NONMONOTONIC LOGICS
"... Abstract. Any number of distinct logical consequencerelations can be represented in preservationist terms—as preserving one or more properties of sets of sentences—providing a general and abstract perspective from which to consider theories of consequence. One simple way of defining such consequenc ..."
Abstract
 Add to MetaCart
such consequencerelations, however, yields ones that are always strictly monotonic. At the same time, many nonmonotonic logics do not seem to be motivated by any concern for preservation, at least not in the way that truthpreservation is central to classical logic. It is shown that a wide class of nonmonotonic
Proof Systems for Nonmonotonic Logics
"... A survey of proof systems for nonmonotonic logics is presented. In particular, proof methods for default logics, nonmonotonic modal logics, circumscription, and conditional logics are discussed. ..."
Abstract
 Add to MetaCart
A survey of proof systems for nonmonotonic logics is presented. In particular, proof methods for default logics, nonmonotonic modal logics, circumscription, and conditional logics are discussed.
Nonmonotonic logics and their algebraic foundations
, 2006
"... The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We th ..."
Abstract
 Add to MetaCart
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the emergence of nonmonotonic logics and introduce two major nonmonotonic formalisms, default and autoepistemic logics. We
Moral Dilemmas and Nonmonotonic Logic
, 1994
"... this paper is to establish some formal connections between deontic and nonmonotonic logics, and to suggest some ways in which the techniques developed in the study of nonmonotonic reasoning and the issues confronted there might help to illuminate deontic ideas. These two subjects have evolved within ..."
Abstract

Cited by 45 (9 self)
 Add to MetaCart
this paper is to establish some formal connections between deontic and nonmonotonic logics, and to suggest some ways in which the techniques developed in the study of nonmonotonic reasoning and the issues confronted there might help to illuminate deontic ideas. These two subjects have evolved
Nonmonotonic Logics: Meaning and Utility
"... We propose a unifying framework for nonmonotonic logics, which subsumes previously published systems, and at the same time is very simple. We discuss some of the technicalities of the new general framework, illustrate briefly how some previous systems are special cases of it, and finish an informal ..."
Abstract
 Add to MetaCart
We propose a unifying framework for nonmonotonic logics, which subsumes previously published systems, and at the same time is very simple. We discuss some of the technicalities of the new general framework, illustrate briefly how some previous systems are special cases of it, and finish an informal
Nonmonotonic Logic and Neural Networks
 ILLC/Department of Philosophy, University of Amsterdam
, 1997
"... A puzzle in the philosophy of mind concerns the gap between symbolic and subsymbolic (neuronlike) modes of processing (e.g. Smolensky 1988). The aim of this paper is to overcome this gap by viewing symbolism as a highlevel description of the properties of (a class of) neural networks. Combining met ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
methods of algebraic semantics and nonmonotonic logic, the possibility of integrating both modes of viewing cognition is demonstrated. The main results are (I) that certain activities of connectionist networks can be interpreted as nonmonotonic inferences, and (II) that there is a strict correspondence
Hardware Implementation of Temporal Nonmonotonic Logics
"... Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic. This mapping provides a f ..."
Abstract

Cited by 3 (3 self)
 Add to MetaCart
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal operators and (2) a mapping of these new temporal nonmonotonic logics into a Metric Temporal Logic. This mapping provides a
Deontic Logic as Founded on Nonmonotonic Logic
 Annals of Mathematics and Artificial Intelligence
, 1993
"... this paper, however, that the techniques of nonmonotonic logic may provide a better theoretical frameworkat least for the formalization of commonsense normative reasoningthan the usual modal treatment. After reviewing some standard approaches to deontic logic, I focus on two areas in which non ..."
Abstract

Cited by 42 (3 self)
 Add to MetaCart
this paper, however, that the techniques of nonmonotonic logic may provide a better theoretical frameworkat least for the formalization of commonsense normative reasoningthan the usual modal treatment. After reviewing some standard approaches to deontic logic, I focus on two areas in which
Nonmonotonic Logics and Semantics
 Journal of Logic and Computation
, 2001
"... Tarski gave a general semantics for deductive reasoning: a formula a may be deduced from a set A of formulas i a holds in all models in which each of the elements of A holds. A more liberal semantics has been considered: a formula a may be deduced from a set A of formulas i a holds in all of th ..."
Abstract

Cited by 30 (4 self)
 Add to MetaCart
in which the monotonicity requirement is replaced by three weaker conditions. Classical propositional connectives are characterized by natural introductionelimination rules in a nonmonotonic setting. Even in the nonmonotonic setting, one obtains classical propositional logic, thus showing
Results 1  10
of
1,635