Tabulation proof procedures for fuzzy linguistic logic programming

DOI10.1016/J.IJAR.2015.06.001MaRDI QIDQ899133zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

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

zbMATH Keywords

fuzzy logic programmingtop-\(k\) retrievallinguistic truth valuehedge connectivetabulation proof procedurethreshold computation

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Efficient thresholded tabulation for fuzzy query answering
• A top-\(k\) query answering procedure for fuzzy logic programming
• Fuzzy linguistic logic programming and its applications
• Fuzzy logic programming
• Fuzzy logic programming

Cites work

• scientific article; zbMATH DE number 994056 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4064538 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1487801 (Why is no real title available?)
• scientific article; zbMATH DE number 1844513 (Why is no real title available?)
• scientific article; zbMATH DE number 1884400 (Why is no real title available?)
• scientific article; zbMATH DE number 2110410 (Why is no real title available?)
• scientific article; zbMATH DE number 909506 (Why is no real title available?)
• A comparison of fuzzy and annotated logic programming
• A logic for reasoning with inconsistency
• A new model for linguistic modifiers
• A parametric representation of linguistic hedges in Zadeh's fuzzy logic
• A resolution method for linguistic many-valued logic
• A top-\(k\) query answering procedure for fuzzy logic programming
• Aggregated fuzzy answer set programming
• Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
• Extended hedge algebras and their application to fuzzy logic
• Fundamentals of Fuzzy Prolog
• Fuzzy linguistic logic programming and its applications
• Fuzzy logic and approximate reasoning
• Fuzzy logic programming
• Fuzzy modifiers based on fuzzy relations.
• Fuzzy sets
• Fuzzy sets as a basis for a theory of possibility
• HEDGE ALGEBRAS, LINGUISTIC-VALUE LOGIC AND THEIR APPLICATION TO FUZZY REASONING
• Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
• Logics in Artificial Intelligence
• Metamathematics of fuzzy logic
• Paraconsistent logic programming
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Probabilistic logic
• Probabilistic qualification of attack in abstract argumentation
• Quantitative deduction and its fixpoint theory
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Resolution in linguistic first order logic based on linear symmetrical hedge algebra
• Similarity-based unification: A multi-adjoint approach
• Tabled evaluation with delaying for general logic programs
• Tabling for non-monotonic programming
• Tabulated resolution for the well-founded semantics
• Termination of logic programs with imperfect information: applications and query procedure
• The implementation of FPROLOG - a fuzzy PROLOG interpreter
• Theory of T-norms and fuzzy inference methods
• f-SWRL: A Fuzzy Extension of SWRL

Cited in

(5)

• Fuzzy linguistic logic programming and its applications
• A comparison of fuzzy and annotated logic programming
• Extending fuzzy logics with many hedges
• Efficient thresholded tabulation for fuzzy query answering
• A top-\(k\) query answering procedure for fuzzy logic programming

Describes a project that uses

Uses Software

• FPROLOG

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)