Reasoning about actions with sensing under qualitative and probabilistic uncertainty

DOI10.1145/1459010.1459015MaRDI QIDQ5277823zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1459010.1459015

zbMATH Keywords

imprecise probabilitiesdescription logicssensingreasoning about actionsprobabilistic uncertaintyaction languagesqualitative uncertainty

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• Formalizing sensing actions -- a transition function based approach
• Publication:4940940
• Reasoning about noisy sensors and effectors in the situation calculus
• Probabilistic reasoning about epistemic action narratives
• Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Cited in

(17)

• Probabilistic reasoning about epistemic action narratives
• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• SLAP: specification logic of actions with probability
• Domain-independent planning for services in uncertain and dynamic environments
• Formalizing sensing actions -- a transition function based approach
• scientific article; zbMATH DE number 1882063 (Why is no real title available?)
• Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation
• scientific article; zbMATH DE number 2063021 (Why is no real title available?)
• A probabilistic interval-based event calculus for activity recognition
• Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework
• Probabilistic Reasoning by SAT Solvers
• Robot location estimation in the situation calculus
• Reasoning about noisy sensors and effectors in the situation calculus
• scientific article; zbMATH DE number 1407685 (Why is no real title available?)
• Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
• scientific article; zbMATH DE number 2084416 (Why is no real title available?)
• Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

This page was built for publication: Reasoning about actions with sensing under qualitative and probabilistic uncertainty

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