Maximum likelihood estimation for multivariate mixture observations of Markov chins
IEEE Transactions on Information Theory
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Likelihood, probability, and knowledge
Computational Intelligence
An analysis of first-order logics of probability
Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Proving properties of states in the situation calculus
Artificial Intelligence
Reasoning about knowledge and probability
Journal of the ACM (JACM)
The complexity of probabilistic verification
Journal of the ACM (JACM)
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Learning what is relevant to the effects of actions for a mobile robot
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Structured probabilistic models: Bayesian networks and beyond
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
EM algorithms for PCA and SPCA
NIPS '97 Proceedings of the 1997 conference on Advances in neural information processing systems 10
Mixtures of probabilistic principal component analyzers
Neural Computation
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
Reasoning about noisy sensors and effectors in the situation calculus
Artificial Intelligence
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Mean Shift: A Robust Approach Toward Feature Space Analysis
IEEE Transactions on Pattern Analysis and Machine Intelligence
Parameter Estimation in Stochastic Logic Programs
Machine Learning
Learning Probabilistic Models of Relational Structure
ICML '01 Proceedings of the Eighteenth International Conference on Machine Learning
Model-Checking for Probabilistic Real-Time Systems (Extended Abstract)
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
Temporal Logics for the Specification of Performance and Reliability
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Reasoning about Noisy Sensors (and Effectors) in the Situation Calculus
RUR '95 Proceedings of the International Workshop on Reasoning with Uncertainty in Robotics
Lp: A Logic for Statistical Information
UAI '89 Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence
Logic, Knowledge Representation, and Bayesian Decision Theory
CL '00 Proceedings of the First International Conference on Computational Logic
A Logic of Probability with Decidable Model-Checking
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Relational Markov models and their application to adaptive web navigation
Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
IEEE Transactions on Pattern Analysis and Machine Intelligence
Contentful mental states for robot baby
Eighteenth national conference on Artificial intelligence
Statistical Imitative Learning from Perceptual Data
ICDL '02 Proceedings of the 2nd International Conference on Development and Learning
ACM SIGKDD Explorations Newsletter
Introduction: progress in formal commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Knowledge, action, and ability in the situation calculus: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge and probability
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
A theory of higher order probabilities
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Lucas/Kanade meets Horn/Schunck: combining local and global optic flow methods
International Journal of Computer Vision
A survey of advances in vision-based human motion capture and analysis
Computer Vision and Image Understanding - Special issue on modeling people: Vision-based understanding of a person's shape, appearance, movement, and behaviour
Vision-based human motion analysis: An overview
Computer Vision and Image Understanding
Automatic verification of probabilistic concurrent finite state programs
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
Decidability and expressiveness for first-order logics of probability
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Structured machine learning: the next ten years
Machine Learning
A glimpse of symbolic-statistical modeling by PRISM
Journal of Intelligent Information Systems
Artificial Intelligence
A survey of robot learning from demonstration
Robotics and Autonomous Systems
Learning symbolic models of stochastic domains
Journal of Artificial Intelligence Research
Learning partially observable deterministic action models
Journal of Artificial Intelligence Research
Parameter learning of logic programs for symbolic-statistical modeling
Journal of Artificial Intelligence Research
An iterative image registration technique with an application to stereo vision
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
BLOG: probabilistic models with unknown objects
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
What is planning in the presence of sensing?
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Learning stochastic logical automaton
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
A survey on visual surveillance of object motion and behaviors
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Bottom-Up Gaze Shifts and Fixations Learning by Imitation
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
IEEE Transactions on Information Theory
Maximum likelihood estimation for multivariate observations of Markov sources
IEEE Transactions on Information Theory
Artificial Intelligence
Hi-index | 0.00 |
The well-designed logical robot paradigmatically represents, in the words of McCarthy, the abilities that a robot-child should have to reveal the structure of reality within a ''language of thought''. In this paper we partially support McCarthy's hypothesis by showing that early perception can trigger an inference process leading to the ''language of thought''. We show this by defining a systematic transformation of structures of different formal languages sharing the same signature kernel for actions and states. Starting from early vision, visual features are encoded by descriptors mapping the space of features into the space of actions. The densities estimated in this space form the observation layer of a hidden states model labelling the identified actions as observations and the states as action preconditions and effects. The learned parameters are used to specify the probability space of a first-order probability model. Finally we show how to transform the probability model into a model of the Situation Calculus in which the learning phase has been reified into axioms for preconditions and effects of actions and, of course, these axioms are expressed in the language of thought. This shows, albeit partially, that there is an underlying structure of perception that can be brought into a logical language.