The well-designed logical robot: learning and experience from observations to the Situation Calculus

DOI10.1016/J.ARTINT.2010.04.016MaRDI QIDQ543604zbMATHOpenAlexFDO

Authors Fiora Pirri

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

zbMATH Keywords

visual perceptionaction spaceaction recognitioninference from visual perception to knowledge representationlearning knowledgelearning theory of action from visual perceptionparametric probability modeltheory of action

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• What observations really tell us
• Probabilistic situation calculus
• scientific article; zbMATH DE number 1884373
• scientific article; zbMATH DE number 2080646
• scientific article; zbMATH DE number 2084823

Cites work

• scientific article; zbMATH DE number 1680164 (Why is no real title available?)
• scientific article; zbMATH DE number 1696788 (Why is no real title available?)
• scientific article; zbMATH DE number 3151566 (Why is no real title available?)
• scientific article; zbMATH DE number 4145875 (Why is no real title available?)
• scientific article; zbMATH DE number 5547890 (Why is no real title available?)
• scientific article; zbMATH DE number 5547961 (Why is no real title available?)
• scientific article; zbMATH DE number 3657792 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 3567782 (Why is no real title available?)
• scientific article; zbMATH DE number 1095145 (Why is no real title available?)
• scientific article; zbMATH DE number 1948170 (Why is no real title available?)
• scientific article; zbMATH DE number 1753155 (Why is no real title available?)
• scientific article; zbMATH DE number 2084823 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 765034 (Why is no real title available?)
• scientific article; zbMATH DE number 3321248 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 4189217 (Why is no real title available?)
• scientific article; zbMATH DE number 3090127 (Why is no real title available?)
• 10.1162/jmlr.2003.3.4-5.679
• A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains
• A logic for reasoning about probabilities
• A logic for reasoning about time and reliability
• An Introduction to the Application of the Theory of Probabilistic Functions of a Markov Process to Automatic Speech Recognition
• An analysis of first-order logics of probability
• Concerning measures in first order calculi
• Decidability and expressiveness for first-order logics of probability
• Determining optical flow
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
• Introduction: Progress in formal commonsense reasoning
• Learning Stochastic Logical Automaton
• Lucas/Kanade meets Horn/Schunck: combining local and global optic flow methods
• Maximum likelihood estimation for multivariate observations of Markov sources
• Model checking of probabilistic and nondeterministic systems
• On knowledge-based programming with sensing in the situation calculus
• Parameter estimation in stochastic logic programs
• Probabilistic Principal Component Analysis
• Probability logic
• Proving properties of states in the situation calculus
• Reasoning about knowledge and probability
• Reasoning about noisy sensors and effectors in the situation calculus
• Some contributions to the metatheory of the situation calculus
• Structured machine learning: the next ten years
• Temporal logics for the specification of performance and reliability
• The complexity of probabilistic verification
• The independent choice logic for modelling multiple agents under uncertainty
• The well-designed child

Cited in

(3)

• The well-designed child
• John McCarthy's legacy
• The well-designed young mathematician

Describes a project that uses

Uses Software

• hmm
• BLOG

This page was built for publication: The well-designed logical robot: learning and experience from observations to the Situation Calculus

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