A logical theory of localization

DOI10.1007/S11225-015-9625-0MaRDI QIDQ310092zbMATH OpenOpenAlexFDO

Authors Vaishak Belle, Hector J. Levesque

Publication date 7 September 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/28649011/10.1007_s11225_015_9625_0_1.pdf

zbMATH Keywords

knowledge representationsituation calculusmulti-agent logicsreasoning about action and changereasoning about knowledge and belief

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42) Logic in computer science (03B70)

Recommendations

• Robot location estimation in the situation calculus
• A theory and implementation of cognitive mobile robots
• Computational principles of mobile robotics.
• The Robot Localization Problem
• Relocalization -- theory and practice

Cites work

• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 1444358 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 2238781 (Why is no real title available?)
• An analysis of first-order logics of probability
• An introduction to infinite-dimensional analysis
• Asynchronous knowledge with hidden actions in the situation calculus
• Dynamic update with probabilities
• Experiences with an interactive museum tour-guide robot
• FLUX: A logic programming method for reasoning agents
• GOLOG: A logic programming language for dynamic domains
• How to progress a database
• Knowledge, action, and the frame problem
• Knowledge, probability, and adversaries
• Markov logic networks
• Probabilistic logic programming
• Probabilistic situation calculus
• Reasoning about knowledge and probability
• Reasoning about noisy sensors and effectors in the situation calculus
• Robot location estimation in the situation calculus
• Robust Monte Carlo localization for mobile robots
• The cognitive agents specification language and verification environment
• The logic of public announcements, common knowledge, and private suspicions
• Two approaches to efficient open-world reasoning

Cited in

(19)

• Probabilistic reasoning about epistemic action narratives
• An existential locality theorem
• Locative ontology. I, II, III
• Indexical knowledge and robot action -- a logical account
• A theory of processes with localities
• Knowledge-based multi-criteria optimization to support indoor positioning
• Analyzing generalized planning under nondeterminism
• Notions of locality and their logical characterizations over finite models
• A theory and implementation of cognitive mobile robots
• How should robots think about space?
• Locality in theory space
• Footprints in Local Reasoning
• Robot location estimation in the situation calculus
• Switching and Learning in Feedback Systems
• A locality principle for system theory.
• A semantic model of confinement and locality theorem
• First Steps in Descriptive Theory of Locales
• A Local System for Classical Logic
• scientific article; zbMATH DE number 4152550 (Why is no real title available?)

Describes a project that uses

Uses Software

• PREGO
• GOLOG

This page was built for publication: A logical theory of localization

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