Get 20M+ Full-Text Papers For Less Than $1.50/day. Subscribe now for You or Your Team.

Learn More →

Higher-order and modal logic as a framework for explanation-based generalization

Higher-order and modal logic as a framework for explanation-based generalization Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of ‘knowledge’ they contain (i.e., the level of support they provide) and in their ability to ‘learn’ (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Machine Learning Springer Journals

Higher-order and modal logic as a framework for explanation-based generalization

Machine Learning , Volume 9 (1) – Dec 30, 2004

Loading next page...
 
/lp/springer-journals/higher-order-and-modal-logic-as-a-framework-for-explanation-based-n2F1009HCA

References (59)

Publisher
Springer Journals
Copyright
Copyright
Subject
Computer Science; Artificial Intelligence; Control, Robotics, Mechatronics; Artificial Intelligence; Simulation and Modeling; Natural Language Processing (NLP)
ISSN
0885-6125
eISSN
1573-0565
DOI
10.1007/BF00993253
Publisher site
See Article on Publisher Site

Abstract

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of ‘knowledge’ they contain (i.e., the level of support they provide) and in their ability to ‘learn’ (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.

Journal

Machine LearningSpringer Journals

Published: Dec 30, 2004

There are no references for this article.