Proceedings ArticleDOI
Lukasiewicz inference in Layman's probability theory
Daniel G. Schwartz
- pp 420-423
Reads0
Chats0
TLDR
The paper adds the /spl rarr/ connective to Layman's probability theory, provides this with the well-known Lukasiewicz interpretation, and explores its properties with respect to the system as a whole.Abstract:
A prior work introduced Layman's probability theory as a formal system for reasoning with linguistic likelihood, wherein the logical and is interpreted as the arithmetic min, and the or is interpreted as the max. Likelihood modifiers (likely, very likely, somewhat unlikely, etc.) are treated as modal operators. The system is two-leveled, with the lower level being a multivalent logic and the upper level being bivalent. In the previous treatment, the lower level employed only the connectives V, /spl and/, and /spl sim/. The paper adds the /spl rarr/ connective, provides this with the well-known Lukasiewicz interpretation, and explores its properties with respect to the system as a whole.read more
Citations
More filters
Journal ArticleDOI
Agent-oriented epistemic reasoning: subjective conditions of knowledge and belief
TL;DR: This paper introduces a formal system Σ of subjective epistemic reasoning that encodes a method of reasoning with conditions of knowledge and belief taken from the perspective of an agent's perception of his own state of knowledge or belief with respect to his observable world.
Proceedings ArticleDOI
A novel fault diagnosis method for satellite systems based on multivalue logic inference with semi-tensor product of matrices
Fei Song,Shiyin Qin +1 more
TL;DR: In this paper, a fault diagnosis method for satellite systems based on multivalue logic inference with semi-tensor product of matrices is presented, in which the authors define fault symptoms and conditions as propositions thus the logical values of various propositions can be expressed as vectors.
References
More filters
Journal ArticleDOI
Fuzzy logic = computing with words
TL;DR: The point of this note is that fuzzy logic plays a pivotal role in CW and vice-versa and, as an approximation, fuzzy logic may be equated to CW.
Book
Many Valued Logic
TL;DR: In Ch. IX of his treatise On Interpretation (De interpretatione), Aristotle discussed the truth-status of alternatives regarding future-contingent matters, whose occurrence is not yet determinable by us, and may indeed actually actually be undetermined as discussed by the authors.
Journal ArticleDOI
Fuzzy inference in a formal theory of semantic equivalence
TL;DR: This work shows how ten different fuzzy implication operators, together with appropriately corresponding versions of four different rules of inference, can be represented within a formal axiomatization of the theory of approximate reasoning.
Journal ArticleDOI
Layman's probability theory: a calculus for reasoning with linguistic likelihood
TL;DR: It is proposed that the logic normally associated with the theory of fuzzy sets can be adapted as a kind of “layman's probability theory”, and an encoding as a new kind of formal logical system for reasoning with linguistic likelihood is presented.