Reasoning about actions with sensing under qualitative and probabilistic uncertainty
From MaRDI portal
(Redirected from Publication:5277823)
imprecise probabilitiesdescription logicssensingreasoning about actionsprobabilistic uncertaintyaction languagesqualitative uncertainty
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)