Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration.

Helmut Schmidt Werner Kießling Ulrich Güntzer Rudolf Bayer

Published in: SLP (1987)

Keyphrases

goal directed
autonomous robots
objective function
automated planning
inference rules
iterative process
automated deduction
real time
machine learning
information retrieval
artificial intelligence
computer vision
expert systems
evolutionary algorithm
open ended
decomposable negation normal form