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

DOI10.1016/J.ARTINT.2010.04.016zbMATH Open1216.68271OpenAlexW2069745074MaRDI QIDQ543604FDOQ543604

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

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

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)

Cites Work

• Title not available (Why is that?)
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
• Title not available (Why is that?)
• Probabilistic Principal Component Analysis
• A Maximization Technique Occurring in the Statistical Analysis of Probabilistic Functions of Markov Chains
• The complexity of probabilistic verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concerning measures in first order calculi
• Determining optical flow
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic for reasoning about time and reliability
• Model checking of probabilistic and nondeterministic systems
• Lucas/Kanade meets Horn/Schunck: combining local and global optic flow methods
• Some contributions to the metatheory of the situation calculus
• Reasoning about knowledge and probability
• The independent choice logic for modelling multiple agents under uncertainty
• A logic for reasoning about probabilities
• Reasoning about noisy sensors and effectors in the situation calculus
• An analysis of first-order logics of probability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Decidability and expressiveness for first-order logics of probability
• Structured machine learning: the next ten years
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parameter estimation in stochastic logic programs
• Introduction: Progress in formal commonsense reasoning
• Maximum likelihood estimation for multivariate observations of Markov sources
• Temporal logics for the specification of performance and reliability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probability logic
• Proving properties of states in the situation calculus
• The well-designed child
• Title not available (Why is that?)
• Title not available (Why is that?)
• Learning Stochastic Logical Automaton
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On knowledge-based programming with sensing in the situation calculus
• Title not available (Why is that?)

Cited In (3)

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

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)