Sequent calculus and data fusion

DOI10.1016/S0165-0114(00)00067-1MaRDI QIDQ5947552zbMATH OpenOpenAlexFDO

Authors 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

data fusionpossibilistic logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Machine vision and scene understanding (68T45)

Recommendations

• Fusion of symbolic knowledge and uncertain information in robotics
• scientific article; zbMATH DE number 108488
• scientific article; zbMATH DE number 975744
• Mathematics of data fusion
• scientific article; zbMATH DE number 1241793

Cites work

• A modal logic for fusing partial belief of multiple reasoners
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A qualitative fuzzy possibilistic logic
• A survey of belief revision and updating rules in various uncertainty models
• A weak completeness theorem for infinite valued first-order logic
• Algebraic Analysis of Many Valued Logics
• Fuzzy sets as a basis for a theory of possibility
• Fuzzy sets in approximate reasoning. II: Logical approaches
• scientific article; zbMATH DE number 3937166 (Why is no real title available?)
• scientific article; zbMATH DE number 1183717 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 465666 (Why is no real title available?)
• scientific article; zbMATH DE number 500943 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 764337 (Why is no real title available?)
• scientific article; zbMATH DE number 1420893 (Why is no real title available?)
• scientific article; zbMATH DE number 3356762 (Why is no real title available?)
• scientific article; zbMATH DE number 3195782 (Why is no real title available?)
• Inferences in probability logic
• Linear logic
• Local possibilistic logic
• Modeling a dynamic environment using a Bayesian multiple hypothesis approach
• On Fuzzy Logic I Many‐valued rules of inference
• On the semantics of fuzzy logic
• Possibilistic reasoning -- a mini-survey and uniform semantics
• Reasoning about knowledge and probability
• Sheaves in geometry and logic: a first introduction to topos theory
• The three semantics of fuzzy sets
• The transferable belief model
• Why the success of fuzzy logic is not paradoxical

Cited in

(4)

• Formal methods for reasoning and uncertainty reduction in evidential grid maps
• Fusion of symbolic knowledge and uncertain information in robotics
• Data fusion with probabilistic conditional logic
• Decision-theoretic approach to robust fusion of location data.

This page was built for publication: Sequent calculus and data fusion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5947552)