Evidential support logic programming
From MaRDI portal
Publication:1099968
DOI10.1016/0165-0114(87)90110-2zbMath0639.68105OpenAlexW2078040181MaRDI QIDQ1099968
Publication date: 1987
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0165-0114(87)90110-2
fuzzy logicknowledge representationevidential reasoninglogic programmingexpert systemPrologstrength of evidenceinference mechanismsupport systems
Related Items
Fuzzy sets in approximate reasoning. II: Logical approaches, A HYBRID MODEL FOR SHARING INFORMATION BETWEEN FUZZY, UNCERTAIN AND DEFAULT REASONING MODELS IN MULTI-AGENT SYSTEMS, Information and evidence in logic systems, FUZZY MEASURES AND FUZZY INTEGRALS: AN OVERVIEW, Reasoning with belief functions: An analysis of compatibility, A logic-based analysis of Dempster-Shafer theory, A voting mechanism for fuzzy logic, Relaxed unification -- proposal, Proximity-based unification theory, Probabilistic logic programming, Special issue: Soft computing in recognition and search, A methodology for computing with words, USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN, A resolution-based system for symbolic approximate reasoning, A comparison of fuzzy and annotated logic programming, Approximate well-founded semantics, query answering and generalized normal logic programs over lattices, Reasoning with Uncertainty in Deductive Databases and Logic Programs, Interval-Valued Degrees of Belief: Applications of Interval Computations to Expert Systems and Intelligent Control, A note on the conditional probability of fuzzy subsets of a continuous domain, Semantics for Possibilistic Disjunctive Programs, Operators with \(n\)-threshold for uncertainty management, A semantical framework for supporting subjective and conditional probabilities in deductive databases, Fuzzy operator logic and fuzzy resolution, Computational models of uncertainty reasoning in expert systems
Cites Work
