Results 1  10
of
1,280
Argumentative Logics: Reasoning With Classically Inconsistent Information
, 1995
"... Classical logic has many appealing features for knowledge representation and reasoning. But unfortunately it is flawed when reasoning about inconsistent information, since anything follows from a classical inconsistency. This problem is addressed by introducing the notions of "argument" an ..."
Abstract

Cited by 33 (1 self)
 Add to MetaCart
Classical logic has many appealing features for knowledge representation and reasoning. But unfortunately it is flawed when reasoning about inconsistent information, since anything follows from a classical inconsistency. This problem is addressed by introducing the notions of "argument
Representing Action and Change by Logic Programs
 Journal of Logic Programming
, 1993
"... We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a semantics ..."
Abstract

Cited by 414 (25 self)
 Add to MetaCart
We represent properties of actions in a logic programming language that uses both classical negation and negation as failure. The method is applicable to temporal projection problems with incomplete information, as well as to reasoning about the past. It is proved to be sound relative to a
A Logic for Reasoning with Inconsistency
, 1992
"... Most known computational approaches to reasoning have problems when facing inconsistency, so they assume that a given logical system is consistent. Unfortunately, the latter is difficult to verify and very often is not true. It may happen that addition of data to a large system makes it inconsistent ..."
Abstract

Cited by 110 (8 self)
 Add to MetaCart
for investigating inconsistency in predicate calculus as well as its application to nonmonotonic reasoning. Most importantly, our claim that a logical theory is an adequate model of human perception of inconsistency, is actually backed by rigorous arguments.
A Logic of Argumentation for Reasoning under Uncertainty.
 Computational Intelligence
, 1995
"... We present the syntax and proof theory of a logic of argumentation, LA. We also outline the development of a category theoretic semantics for LA. LA is the core of a proof theoretic model for reasoning under uncertainty. In this logic, propositions are labelled with a representation of the arguments ..."
Abstract

Cited by 145 (8 self)
 Add to MetaCart
, epistemic probability, argumentation, nonclassical logics, nonmonotonic reasoning 1. Introd...
Quasiclassical Logic: Nontrivializable classical reasoning from inconsistent information
, 1995
"... . Here we present a new paraconsistent logic, called quasiclassical logic (or QC logic) that allows the derivation of nontrivializable classical inferences. For this it is necessary that queries are in conjunctive normal form and the reasoning process is essentially that of clause finding. We prese ..."
Abstract

Cited by 42 (13 self)
 Add to MetaCart
systems. 1 Introduction In practical reasoning, it is common to have `too much' information about some situation. In other words, it is common to have to reason with classically inconsistent information. The diversity of logics proposed for aspects of practical reasoning indicates the complexity
Defeasible Logic Programming: An Argumentative Approach. Theory and Practice
 of Logic Programming
, 2004
"... The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation infe ..."
Abstract

Cited by 233 (57 self)
 Add to MetaCart
The work reported here introduces Defeasible Logic Programming (DeLP), a formalism that combines results of Logic Programming and Defeasible Argumentation. DeLP provides the possibility of representing information in the form of weak rules in a declarative manner, and a defeasible argumentation
An argumentative framework for reasoning with inconsistent and incomplete information
 In Workshop on Practical Reasoning and Rationality. 13th biennial European Conference on Artificial Intelligence
, 1998
"... Abstract. We present here a knowledge representation language, where defeasible and nondefeasible rules can be expressed. The language has two different negations: classical negation, which is represented by the symbol “∼ ” used for representing contradictory knowledge; and negation as failure, ..."
Abstract

Cited by 20 (7 self)
 Add to MetaCart
ure, represented by the symbol “not ” used for representing incomplete information. Defeasible reasoning is done using a argumentation formalism. Thus, systems for acting in a dynamic domain, that properly handle contradictory and/or incomplete information can be developed with this language. An argument is used
Inconsistencytolerant Reasoning with Classical Logic and Large Databases
"... Realworld automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation techniques for inconsistencytolerant reasoning over the combination of classical logic and a relational database. Our r ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
Realworld automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation techniques for inconsistencytolerant reasoning over the combination of classical logic and a relational database. Our
Reasoning With Inconsistency in Structured Text
 Knowledge Engineering Review
, 1999
"... Reasoning with inconsistency involves some compromise on classical logic. There is a range of proposals for logics (called paraconsistent logics) for reasoning with inconsistency each with pros and cons. Selecting an appropriate paraconsistent logic for an application depends on the requirements ..."
Abstract

Cited by 13 (11 self)
 Add to MetaCart
Reasoning with inconsistency involves some compromise on classical logic. There is a range of proposals for logics (called paraconsistent logics) for reasoning with inconsistency each with pros and cons. Selecting an appropriate paraconsistent logic for an application depends on the requirements
Incorporating Classical Logic Argumentation into Policybased Inconsistency Management in Relational Databases
"... Inconsistency management policies allow a relational database user to express customized ways for managing inconsistency according to his need. For each functional dependency, a user has a library of applicable policies, each of them with constraints, requirements, and preferences for their applic ..."
Abstract
 Add to MetaCart
for their application, that can contradict each other. The problem that we address in this work is that of determining a subset of these policies that are suitable for application w.r.t. the set of constraints and user preferences. We propose a classical logic argumentationbased solution, which is a natural ap
Results 1  10
of
1,280