The well-designed logical robot: learning and experience from observations to the Situation Calculus
From MaRDI portal
Publication:543604
DOI10.1016/j.artint.2010.04.016zbMath1216.68271MaRDI QIDQ543604
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.016
visual perception; action space; action recognition; inference from visual perception to knowledge representation; learning knowledge; learning theory of action from visual perception; parametric probability model; theory of action
68T05: Learning and adaptive systems in artificial intelligence
68T27: Logic in artificial intelligence
68T40: Artificial intelligence for robotics
Related Items
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- An analysis of first-order logics of probability
- Introduction: Progress in formal commonsense reasoning
- Structured machine learning: the next ten years
- Proving properties of states in the situation calculus
- Decidability and expressiveness for first-order logics of probability
- A logic for reasoning about time and reliability
- The independent choice logic for modelling multiple agents under uncertainty
- Reasoning about noisy sensors and effectors in the situation calculus
- A logic for reasoning about probabilities
- The well-designed child
- Concerning measures in first order calculi
- Lucas/Kanade meets Horn/Schunck: combining local and global optic flow methods
- Determining optical flow
- Model checking of probabilistic and nondeterministic systems
- Some contributions to the metatheory of the situation calculus
- Learning Stochastic Logical Automaton
- Maximum likelihood estimation for multivariate observations of Markov sources
- Probability logic
- Probabilistic Principal Component Analysis
- Reasoning about knowledge and probability
- The complexity of probabilistic verification
- 10.1162/jmlr.2003.3.4-5.679
- An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition
- Temporal logics for the specification of performance and reliability
- Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
- A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains
- On knowledge-based programming with sensing in the situation calculus
- Parameter estimation in stochastic logic programs