Sequent calculus and data fusion

DOI10.1016/S0165-0114(00)00067-1zbMath0979.68114MaRDI QIDQ5947552

Claudio Sossai, Paolo Bison, Gaetano Chemello

Publication date: 16 October 2001

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

Full work available at URL: https://doi.org/10.1016/s0165-0114(00)00067-1

zbMATH Keywords

possibilistic logic; data fusion

Mathematics Subject Classification ID

68T37: Reasoning under uncertainty in the context of artificial intelligence

68T45: Machine vision and scene understanding

Related Items

Fusion of symbolic knowledge and uncertain information in robotics

Cites Work

• Linear logic
• Sheaves in geometry and logic: a first introduction to topos theory
• Fuzzy sets as a basis for a theory of possibility
• The three semantics of fuzzy sets
• The transferable belief model
• Modeling a dynamic environment using a Bayesian multiple hypothesis approach
• Inferences in probability logic
• A qualitative fuzzy possibilistic logic
• Possibilistic reasoning -- a mini-survey and uniform semantics
• On the semantics of fuzzy logic
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Toward a competence theory of diagnosis
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• On Fuzzy Logic I Many‐valued rules of inference
• A modal logic for fusing partial belief of multiple reasoners
• A survey of belief revision and updating rules in various uncertainty models
• Reasoning about knowledge and probability
• Local possibilistic logic
• A weak completeness theorem for infinite valued first-order logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item