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

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

Vaishak Belle, Hector J. Levesque

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 representation; cognitive robotics; reasoning about action; reasoning about knowledge; probabilistic logical models; reasoning about uncertainty

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

68T37: Reasoning under uncertainty in the context of artificial intelligence

68T40: Artificial intelligence for robotics

Uses Software

• ProbLog
• PMTK
• PREGO
• BLOG