A comparison of fuzzy and annotated logic programming

DOI10.1016/j.fss.2003.10.019zbMath1065.68024OpenAlexW2084254022MaRDI QIDQ1827314

Stanislav Krajči, Rastislav Lencses, Peter Vojtáš

Publication date: 6 August 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2003.10.019

zbMATH Keywords

Fuzzy logic programmingContinuous semantics and computable fixpointDeclarative and procedural semanticsGeneralized annotated programsSoundness and completeness

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items

Beyond multi-adjoint logic programming ⋮ Tabulation proof procedures for fuzzy linguistic logic programming ⋮ A top-\(k\) query answering procedure for fuzzy logic programming ⋮ A declarative semantics for CLP with qualification and proximity ⋮ On reductants in the framework of multi-adjoint logic programming ⋮ Syntax and semantics of multi-adjoint normal logic programming ⋮ Fuzzy linguistic logic programming and its applications ⋮ Unnamed Item ⋮ Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An annotated logic theorem prover for an extended possibilistic logic
• Evidential support logic programming
• Metamathematics of fuzzy logic
• Fixpoint semantics for logic programming a survey
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Logic programming with signs and annotations
• Answer sets for consistent query answering in inconsistent databases
• Hybrid probabilistic programs
• Fuzzy logic programming