Evidential support logic programming
From MaRDI portal
Publication:1099968
DOI10.1016/0165-0114(87)90110-2zbMath0639.68105MaRDI 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 logic; knowledge representation; evidential reasoning; logic programming; expert system; Prolog; strength of evidence; inference mechanism; support systems
DB lookup for MSC labels failed
Related Items
Information and evidence in logic systems, USING META-PROGRAMMING, CONSTRAINT LOGIC PROGRAMMING AND APPROXIMATE REASONING FOR EXPERT SYSTEMS DESIGN, Probabilistic logic programming, A note on the conditional probability of fuzzy subsets of a continuous domain, A semantical framework for supporting subjective and conditional probabilities in deductive databases, Fuzzy operator logic and fuzzy resolution, A resolution-based system for symbolic approximate reasoning, A voting mechanism for fuzzy logic