Sequent calculus and data fusion

Fuzzy Sets and Systems

Volumn 121, Issue 3, 2001, Pages 371-395

  Sossai, Claudio ^a   Bison, Paolo ^a   Chemello, Gaetano ^a  

^a Istituto di Ingeneria Biomedica del CNR   (Italy)

Author keywords

Data fusion; Localization; Mobile robotics; Possibilistic logic; Reasoning with uncertainty; Sequent calculus

Indexed keywords

DECISION THEORY; KNOWLEDGE BASED SYSTEMS; MOBILE ROBOTS; PROBABILISTIC LOGICS; ROBOTICS; SENSORS; THEOREM PROVING;

DATA FUSIONS; SEQUENT CALCULUS;

FUZZY CONTROL;

EID: 0035427585     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0165-0114(00)00067-1     Document Type: Article

References (53)

1. A weak completeness theorem for infinite-valued first-order logic
2. Merging uncertain knowledge bases in a possibilistic logic framework
3. A robot duo for cooperative autonomous navigation
4. A modal logic for merging partial belief of multiple reasoners
5. An algebraic semantics for possibilistic logic
6. Local possibilistic logic
7. Truth functionality and measure-based logics
8. Algebraic analysis of many-valued logics
9. A new proof of the completeness of the Łukasiewicz axioms
10. Modeling a dynamic environment using a Bayesian multiple hypothesis approach
11. Fuzzy sets in approximate reasoning, part 2: Logical approaches
12. Possibilistic logic
13. Combination of fuzzy information in the framework of possibility theory
14. Fuzzy sets and probability: Misunderstanding, bridges and gaps
15. Possibility theory and data fusion in poorly informed environments
16. A survey of belief revision and updating rules in various uncertainty models
17. The three semantics of fuzzy sets
18. Reasoning about knowledge and probability
19. A modal analysis of possibility theory
20. Mobile robot localization using fuzzy maps
21. Inferences in probability logic
22. Linear logic
23. Zum intuitionistischen aussagenkalkül, Anzeiger Akademie der Wissenschaften in Wien
24. Many-valued and fuzzy logics
25. A qualitative fuzzy possibilistic logic
26. Acting under uncertainty: Discrete Bayesian models for mobile-robot navigation
27. Topological mapping for mobile robots using a combination of sonar and vision sensing
28. A hierarchy of qualitative representations for space
29. Dynamic map building for an autonomous mobile robot
30. Possibilistic reasoning - A mini-survey and uniform semantics
31. O logice trójwartościowej
32. Stochastic multisensory data fusion for mobile robot location and environment modeling
33. A proof of the completeness of the infinite-valued calculus of Lukasiewicz with one variable
34. Dervish, an office-navigating robot
35. On fuzzy logic I, II, III
36. Introduction to a general theory of elementary propositions
37. On the semantics of fuzzy logic
38. The uses of fuzzy logic in autonomous robot navigation
39. Perception-based self-localization using fuzzy locations
40. Probabilistic navigation in partially observable environments
41. The transferable belief model
42. On the representation and estimation of spatial uncertainty
43. Fuzzy sets as a basis for a theory of possibility
44. Why the success of fuzzy logic is not paradoxical