1,565 research outputs found
A New Penta-valued Logic Based Knowledge Representation
In this paper a knowledge representation model are proposed, FP5, which
combine the ideas from fuzzy sets and penta-valued logic. FP5 represents
imprecise properties whose accomplished degree is undefined, contradictory or
indeterminate for some objects. Basic operations of conjunction, disjunction
and negation are introduced. Relations to other representation models like
fuzzy sets, intuitionistic, paraconsistent and bipolar fuzzy sets are
discussed.Comment: The 12th International Conference Information Processing and
Management of Uncertainty in Knowledge-Based Systems, June 22-27, 2008,
Malaga, Spai
Towards a Proof Theory of G\"odel Modal Logics
Analytic proof calculi are introduced for box and diamond fragments of basic
modal fuzzy logics that combine the Kripke semantics of modal logic K with the
many-valued semantics of G\"odel logic. The calculi are used to establish
completeness and complexity results for these fragments
The Varieties of Ought-implies-Can and Deontic STIT Logic
STIT logic is a prominent framework for the analysis of multi-agent choice-making. In the available deontic extensions of STIT, the principle of Ought-implies-Can (OiC) fulfills a central role. However, in the philosophical literature a variety of alternative
OiC interpretations have been proposed and discussed. This paper provides a modular framework for deontic STIT that accounts for a multitude of OiC readings. In particular, we discuss, compare, and formalize ten such readings. We provide sound and complete sequent-style calculi for all of the various STIT logics accommodating these OiC principles. We formally analyze the resulting logics and discuss how the different OiC principles are logically related. In particular, we propose an endorsement principle describing which OiC readings logically commit one to other OiC readings
A Geometric Interpretation of the Neutrosophic Set - A Generalization of the Intuitionistic Fuzzy Set
In this paper we generalize the intuitionistic fuzzy set (IFS),
paraconsistent set, and intuitionistic set to the neutrosophic set (NS).
Several examples are presented. Also, a geometric interpretation of the
Neutrosophic Set is given using a Neutrosophic Cube. Many distinctions between
NS and IFS are underlined.Comment: 9 pages. Presented at the 2003 BISC FLINT-CIBI International Workshop
on Soft Computing for Internet and Bioinformatics, University of Berkeley,
California, December 15-19, 2003, under the title "Generalization of the
Intuitionistic Fuzzy Set to the Neutrosophic Set
- …