The well-designed logical robot: learning and experience from observations to the Situation Calculus
DOI10.1016/j.artint.2010.04.016zbMath1216.68271OpenAlexW2069745074MaRDI 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 perceptionaction spaceaction recognitioninference from visual perception to knowledge representationlearning knowledgelearning theory of action from visual perceptionparametric probability modeltheory of action
Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)
Related Items (1)
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
This page was built for publication: The well-designed logical robot: learning and experience from observations to the Situation Calculus
