Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

KR
2000
Springer

favoriteEmaildiscussreport

120views Automated Reasoning» more KR 2000»

Representing the Knowledge of a Robot

13 years 8 months ago

Representing the Knowledge of a Robot

Download www1.inf.tu-dresden.de

Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we present a new, unifying formalism for representing and reasoning about sensing actions, knowledge preconditions, conditional actions, non-knowledge, and about what goals a robot can possibly achieve.

Michael Thielscher

Real-time Traffic

Automated Reasoning | Autonomous Robots | Crucial Ability | Fluent Calculus | KR 2000 |

claim paper

Related Content

» Representing and Reasoning about Motion in a TwoDimensional World

» A LogicBased Formulation of Active Visual Perception

» A robot ontology for urban search and rescue

» Representation and shape estimation of Odin a parallel underactuated modular robot

» Transferring embodied concepts between perceptually heterogeneous robots

» Modeling affordances using Bayesian networks

» A Method for Clustering the Experiences of a Mobile Robot that Accords with Human Judgment...

» Mapping Grounded Object Properties across Perceptually Heterogeneous Embodiments

» Using Multiple Gaussian Hypotheses to Represent Probability Distributions for Mobile Robot...

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	KR
Authors	Michael Thielscher

Comments (0)