Fuzzy propositional logic (Q1319449): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3914961 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some properties of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Specialization of Programs by Theorem Proving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fuzzy Logic and the Resolution Principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix representation of fuzzy predicates and its application in expert systems / rank | |||
Normal rank |
Revision as of 14:37, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fuzzy propositional logic |
scientific article |
Statements
Fuzzy propositional logic (English)
0 references
19 April 1994
0 references
From the article: The fuzzy propositional logic (FPL) described in the article presents a new alternative approach to thinking about such notions as proposition, interpretation, inference. This logic generalizes classical propositional logic in two directions: (i) propositions are considered to be fuzzy, and (ii) logical variables are considered to be many-valued. Formulas of FPL are constructed from elementary propositions and interpreted over the universe, i.e., the Cartesian product of the sets of the values of all variables. The main inference rule in FPL is a fuzzy resolution which generalizes properties of traditional resolution.
0 references
fuzzy propositional logic
0 references
fuzzy resolution
0 references