Results 1  10
of
8,363
On the Semantics and Automated Deduction for PLFC, a logic of possibilistic uncertainty and fuzziness
"... Possibilistic logic (PL) is a wellknown graded logic of uncertainty suitable to reason under incomplete information and partially inconsistent knowledge, which is built upon classical first order logic. Recently, a syntax of an extension of PL (called PLFC) dealing with fuzzy constants and fuzzily ..."
Abstract
 Add to MetaCart
Possibilistic logic (PL) is a wellknown graded logic of uncertainty suitable to reason under incomplete information and partially inconsistent knowledge, which is built upon classical first order logic. Recently, a syntax of an extension of PL (called PLFC) dealing with fuzzy constants and fuzzily
Possibilistic Logic: Complexity and Algorithms
, 1997
"... Possibilistic logic is a logic for reasoning with uncertain and partially inconsistent knowledge bases. Its standard version consists in ranking propositional formulas according to their certainty or priority level, by assigning them lower bounds of necessity values. We give a survey of automated de ..."
Abstract

Cited by 30 (0 self)
 Add to MetaCart
Possibilistic logic is a logic for reasoning with uncertain and partially inconsistent knowledge bases. Its standard version consists in ranking propositional formulas according to their certainty or priority level, by assigning them lower bounds of necessity values. We give a survey of automated
Possibilistic logic 1
"... Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent knowledge. At the syntactic level it handles formulas of propositional or firstorder logic to which are attached numbers between 0 and 1, or more generally elements in a totally ..."
Abstract
 Add to MetaCart
Possibilistic logic is a logic of uncertainty tailored for reasoning under incomplete evidence and partially inconsistent knowledge. At the syntactic level it handles formulas of propositional or firstorder logic to which are attached numbers between 0 and 1, or more generally elements in a
NonClassical Automated Deduction
 IN AUTOMATED REASONING: ESSAYS IN HONOR OF WOODY BLEDSOE
, 1996
"... The observation that humans often appear to use a more sophisticated logic than the classical one has sometimes served as an argument against the fundamental role of Automated Deduction in Intellectics. In response to this challenge, a variety of nonclassical logics have been developed especially o ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
The observation that humans often appear to use a more sophisticated logic than the classical one has sometimes served as an argument against the fundamental role of Automated Deduction in Intellectics. In response to this challenge, a variety of nonclassical logics have been developed especially
Adding similaritybased reasoning capabilities to a Horn fragment of
"... possibilistic logic with fuzzy constants ..."
Gentzen Sequent Calculus for Possibilistic Reasoning
 in: M. Masuch and L. P'olos, Eds., Knowledge Representation and Reasoning under Uncertainty, LNAI 808 (SpringerVerlag
, 1994
"... . Possibilistic logic is an important uncertainty reasoning mechanism based on Zadeh's possibility theory and classical logic. The deduction rules of possibilistic logic have been obtained from classical resolution rule by attaching possibility or necessity weight to ordinary clauses. However, ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. Possibilistic logic is an important uncertainty reasoning mechanism based on Zadeh's possibility theory and classical logic. The deduction rules of possibilistic logic have been obtained from classical resolution rule by attaching possibility or necessity weight to ordinary clauses. However
Partial Truth is not Uncertaintv d Fuzzy Logic versus Possibilistic Logic
"... and cast serious doubts on the reasons for its success, arguing that “fuzzy logic collapses mathematically to twovalued logic. ” We completely disagree, and we especially object to two points: (1) Elkan’s proof uses too strong a notion of logical equivalence. The particular equivalence he considers ..."
Abstract
 Add to MetaCart
and cast serious doubts on the reasons for its success, arguing that “fuzzy logic collapses mathematically to twovalued logic. ” We completely disagree, and we especially object to two points: (1) Elkan’s proof uses too strong a notion of logical equivalence. The particular equivalence he
email: email On the Semantics of PerceptionBased Fuzzy Logic Deduction∗)
, 2004
"... In this paper, we return to the problem of derivation of a conclusion on the basis of fuzzy IFTHEN rules. The, so called, Mamdani method is well elaborated and widely applied. In this paper, we present an alternative to it. The fuzzy IFTHEN rules are here interpreted as genuine linguistic sentence ..."
Abstract
 Add to MetaCart
in logical deduction, which we will call a perceptionbased logical deduction. We focus on semantics only and confine ourselves to one specific model. If the perceptionbased deduction is repeated and the result interpreted in appropriate model, we obtain a piecewise continuous and monotonous function
11TH NMR WORKSHOP 2.13 On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification On the Computation of Warranted Arguments within a Possibilistic Logic Framework with Fuzzy Unification ∗
"... Possibilistic Defeasible Logic Programming (PDeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at objectlanguage level. The aim of this paper is twofold: first to present an approa ..."
Abstract
 Add to MetaCart
Possibilistic Defeasible Logic Programming (PDeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at objectlanguage level. The aim of this paper is twofold: first to present
FUZZY LOGIC
"... This chapter describes the basics of fuzzy logic, a group of theories and techniques that uses values in the interval [0,1] where traditional theories use either 0 or 1. Basically, to apply the term fuzzy logic to a system means to break somewhere inside that system the allpervasive laws of the exc ..."
Abstract
 Add to MetaCart
This chapter describes the basics of fuzzy logic, a group of theories and techniques that uses values in the interval [0,1] where traditional theories use either 0 or 1. Basically, to apply the term fuzzy logic to a system means to break somewhere inside that system the allpervasive laws
Results 1  10
of
8,363