Using theory completion to learn a robot navigation control program

DOI10.1007/3-540-36468-4_12MaRDI QIDQ4413491zbMATH OpenFDO

Authors Steve Moyle

Publication date 20 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2583/25830182.htm

Mathematics Subject Classification ID

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

Recommendations

• Theory completion using inverse entailment
• Nonmonotonic abductive inductive learning
• Predicate invention and utilization
• Inductive logic programming as abductive search
• Inductive Logic Programming: Theory and methods

Cited in

(9)

• Learning explanations for biological feedback with delays using an event calculus
• Making sense of sensory input
• Learning from interpretation transition
• Learning goal hierarchies from structured observations and expert annotations
• Application of abductive ILP to learning metabolic network inhibition from temporal data
• Completing causal networks by meta-level abduction
• Incremental learning of event definitions with inductive logic programming
• Using abduction and induction for operational requirements elaboration
• Nonmonotonic abductive inductive learning

This page was built for publication: Using theory completion to learn a robot navigation control program

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