Tabulation proof procedures for fuzzy linguistic logic programming
DOI10.1016/J.IJAR.2015.06.001zbMATH Open1346.68052OpenAlexW626807938MaRDI QIDQ899133FDOQ899133
Publication date: 21 December 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2015.06.001
fuzzy logic programmingtop-\(k\) retrievallinguistic truth valuehedge connectivetabulation proof procedurethreshold computation
Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17) Logic in artificial intelligence (68T27)
Cites Work
- f-SWRL: A Fuzzy Extension of SWRL
- Fuzzy sets as a basis for a theory of possibility
- Fuzzy sets
- Paraconsistent logic programming
- Probabilistic logic
- Fuzzy logic and approximate reasoning
- Metamathematics of fuzzy logic
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic qualification of attack in abstract argumentation
- Quantitative deduction and its fixpoint theory
- Similarity-based unification: A multi-adjoint approach
- Termination of logic programs with imperfect information: applications and query procedure
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reducing fuzzy answer set programming to model finding in fuzzy logics
- Logics in Artificial Intelligence
- Fuzzy logic programming
- Aggregated fuzzy answer set programming
- A logic for reasoning with inconsistency
- Extended hedge algebras and their application to fuzzy logic
- Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
- Fuzzy modifiers based on fuzzy relations.
- Theory of T-norms and fuzzy inference methods
- Fuzzy linguistic logic programming and its applications
- Fundamentals of Fuzzy Prolog
- Tabled evaluation with delaying for general logic programs
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- A comparison of fuzzy and annotated logic programming
- Title not available (Why is that?)
- HEDGE ALGEBRAS, LINGUISTIC-VALUE LOGIC AND THEIR APPLICATION TO FUZZY REASONING
- A top-\(k\) query answering procedure for fuzzy logic programming
- Tabling for non-monotonic programming
- Tabulated resolution for the well-founded semantics
- A new model for linguistic modifiers
- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- A parametric representation of linguistic hedges in Zadeh's fuzzy logic
- Resolution in linguistic first order logic based on linear symmetrical hedge algebra
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Resolution Method for Linguistic Many-valued Logic
Cited In (2)
Uses Software
This page was built for publication: Tabulation proof procedures for fuzzy linguistic logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q899133)
