Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems

DOI10.1016/j.artint.2018.06.003zbMath1451.68254arXiv1809.05314OpenAlexW2810243590WikidataQ129630646 ScholiaQ129630646MaRDI QIDQ1711885

Hector J. Levesque, Vaishak Belle

Publication date: 18 January 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.05314

zbMATH Keywords

knowledge representationcognitive roboticsreasoning about actionreasoning about knowledgeprobabilistic logical modelsreasoning about uncertainty

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Artificial intelligence for robotics (68T40)

Related Items (5)

Analyzing generalized planning under nondeterminism ⋮ On the progression of belief ⋮ Semiring programming: a semantic framework for generalized sum product problems ⋮ Probabilistic reasoning about epistemic action narratives ⋮ Regression and progression in stochastic domains

Uses Software

• ProbLog
• PMTK
• PREGO
• BLOG

Cites Work

• A logic-based calculus of events
• Iterated belief change in the situation calculus
• An analysis of first-order logics of probability
• Knowledge, action, and the frame problem
• Robot location estimation in the situation calculus
• Probabilistic logic
• Approximating common knowledge with common beliefs
• Probabilistic dynamic epistemic logic
• Credal networks
• Some first-order probability logics
• Reasoning about noisy sensors and effectors in the situation calculus
• Probabilistic situation calculus
• Reasoning robots. The art and science of programming robotic agents
• Markov logic networks
• An introduction to infinite-dimensional analysis
• Concerning measures in first order calculi
• From Situation Calculus to Dynamic Epistemic Logic
• Probabilistic Databases
• Dynamic Epistemic Logic and Knowledge Puzzles
• Probabilistic reasoning with answer sets
• On the logic of theory change: Partial meet contraction and revision functions
• Representing action and change by logic programs
• Reasoning about knowledge and probability
• cc-Golog - An Action Language with Continuous Change
• On knowledge-based programming with sensing in the situation calculus
• Probability logic for type spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems