Proceedings:
Book One
Volume
Issue:
Proceedings of the AAAI Conference on Artificial Intelligence, 4
Track:
Automated Reasoning
Downloads:
Abstract:
We define the direction of knowledge, and what it means to extend that direction. A special case is function inversion, and we give three algorithms for function inversion. Their performance on non-trivial problems and their shortcomings are demonstrated. All algorithms are implemented in Prolog.
AAAI
Proceedings of the AAAI Conference on Artificial Intelligence, 4