Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models

DOI10.1016/j.ijar.2017.12.006zbMath1444.68187OpenAlexW2792073259MaRDI QIDQ1642751

Otávio Bueno, Kamal Premaratne, Manohar N. Murthi, Matthias Scheutz, Rafael C. Núñez

Publication date: 15 June 2018

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2017.12.006

zbMATH Keywords

Dempster-Shafer theoryfirst-order logicautomated reasoninguncertain logicbelief theoryuncertain logic processing

Mathematics Subject Classification ID

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

Related Items (2)

Uncertain multi-attribute group decision making based on linguistic-valued intuitionistic fuzzy preference relations ⋮ A new rule reduction and training method for extended belief rule base based on DBSCAN algorithm

Uses Software

• AgentSpeak
• Alchemy

Cites Work

• Possibilistic logic: a retrospective and prospective view
• Conditioning and updating evidence
• Towards a logical belief function theory
• A logic-based analysis of Dempster-Shafer theory
• Probabilistic logic
• Classic works on the Dempster-Shafer theory of belief functions
• Markov logic networks
• Markov Logic: An Interface Layer for Artificial Intelligence
• Fuzzy sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models