A logical theory of localization (Q310092): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.1007/s11225-015-9625-0 / rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S11225-015-9625-0 / rank | |||
Normal rank |
Revision as of 16:13, 8 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logical theory of localization |
scientific article |
Statements
A logical theory of localization (English)
0 references
7 September 2016
0 references
The authors consider a fundamental problem in cognitive robotics, namely the problem for a robot to identify its location and orientation to a reasonable certainty by means of available sensors and given a spatial characterization of its environment. The idea is to understand this localization problem as part of the situation calculus, a prominent first-order formalism for knowledge representation, in particular for reasoning about action and change. The central ingredient of the account given is an axiomatic basic action theory from which robot localization follows logically. This is illustrated by two examples of a robot in a two-dimensional grid, equipped with a moving action and distance sensor. Various properties of the basic action theory are shown to hold. Also, localization with multiple agents is treated.
0 references
knowledge representation
0 references
situation calculus
0 references
reasoning about action and change
0 references
reasoning about knowledge and belief
0 references
multi-agent logics
0 references