Formal methods for reasoning and uncertainty reduction in evidential grid maps

DOI10.1016/J.IJAR.2017.04.006zbMATH Open1419.68165OpenAlexW2612413681MaRDI QIDQ2407931FDOQ2407931

Authors: Andreas Grimmer, Joachim Clemens, Robert Wille 

Publication date: 6 October 2017

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.04.006

Recommendations

• Fusion of symbolic knowledge and uncertain information in robotics
• Sensor fusion for SLAM based on information theory
• An evidential approach to SLAM, path planning, and active exploration
• scientific article; zbMATH DE number 475517
• Sequent calculus and data fusion

zbMATH Keywords

belief functionsformal methodsinformation fusionuncertainty reductionoccupancy grid maps

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Approximation algorithms for combinatorial problems
• The transferable belief model
• Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence
• Title not available (Why is that?)
• An evidential approach to SLAM, path planning, and active exploration
• A comparison of three uncertainty calculi for building sonar-based occupancy grids
• Title not available (Why is that?)
• On Solving the Partial MAX-SAT Problem
• On the Dempster-Shafer framework and new combination rules
• Title not available (Why is that?)
• Algorithms for the maximum satisfiability problem
• Title not available (Why is that?)

Cited In (1)

• Customizable inverse sensor model for Bayesian and Dempster-Shafer occupancy grid frameworks

Uses Software

• MiniSat
• z3
• FastSLAM

This page was built for publication: Formal methods for reasoning and uncertainty reduction in evidential grid maps

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