• Home
  • Search
  • Improving Problem Solving Performance by Example Guided Reformulation
  • https://doi.org/10.1007/978-1-4613-1523-0_2Copy DOI Icon

Improving Problem Solving Performance by Example Guided Reformulation

  • Jan 1, 1990
  • Nicholas S Flann
Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

This paper introduces a method that improves the performance of a problem solver by reformulating its domain theory into one in which functionally relevant features are explicit in the syntax. This method, in contrast to previous reformulation methods, employs sets of training examples to constrain and direct the reformulation process. The use of examples offers two advantages over purely deductive approaches: First, the examples identify the exact part of the domain theory to be reformulated. Second, a proof with examples is much simpler to construct than a general proof because it is fully instantiated. The method exploits the fact that what is relevant to a goal is syntactically explicit in successful solutions to that goal. The method first takes as input a set of training examples that “exercise” an important part of the domain theory and then applies the problem solver to explain the examples in terms of a relevant goal. Next, the set of explanations is “clustered” into cases and then generalized using the induction over explanations method, forming a set of general explanations. Finally, these general explanations are reformulated into new domain theory rules. We illustrate the method in the domain of chess. We reformulate a simple declarative encoding of legal-move to produce a new domain theory that can generate the legal moves in a tenth of the time required by the original theory. We also show how the reformulated theory can more efficiently describe the important knight-fork feature.

Similar Papers
  • Conference Article
  • Citations6

On-demand Data Numerosity Reduction for Learning Artifacts

  • Mar 01, 2012
  • Khamisi Kalegele +5
  • Book Chapter
  • Citations7

CHAPTER 14 - Representation Generation in an Exploratory Learning System

  • Jan 01, 1991
  • Concept Formation: Knowledge and Experience in Unsupervised Learning
  • Paul D Scott +1
  • Book Chapter
  • Citations1

Learning: Overview and Supervised Learning

  • Apr 19, 2010
  • David Poole +1
  • Book Chapter
  • Citations2

Supervised Machine Learning

  • Sep 25, 2017
  • David Poole +1
  • Research Article
  • Citations21

Adapting Web information extraction knowledge via mining site-invariant and site-dependent features

  • Feb 01, 2007
  • ACM Transactions on Internet Technology
  • Tak-Lam Wong +1
  • Research Article
  • Citations9

A mixed-integer programming approach to GRNN parameter estimation

  • May 12, 2015
  • Information Sciences
  • G.E Lee +1
  • Conference Article
  • Citations29

Learning From a Small Number of Training Examples by Exploiting Object Categories

  • Jun 27, 2004
  • K Levi +2
  • Conference Article
  • Citations40

Self-adaptive probability estimation for Naive Bayes classification

  • Aug 01, 2013
  • Jia Wu +2
  • Conference Article
  • Citations95

PALM

  • May 14, 2017
  • Sanjay Krishnan +1
  • Conference Article
  • Citations42

Adaptive Optimization of Sparse Matrix-Vector Multiplication on Emerging Many-Core Architectures

  • Jun 01, 2018
  • Shizhao Chen +4
  • Research Article
  • Citations26

Design of multicategory multifeature split decision trees using perceptron learning

  • Jul 01, 1994
  • Pattern Recognition
  • Ishwar K Sethi +1
  • Research Article
  • Citations7

Fuzzy Classification Rule Learning by Decision Tree Induction

  • Jun 01, 2003
  • International Journal of Fuzzy Logic and Intelligent Systems
  • Keon-Myung Lee +1
  • Conference Article
  • Citations9

Partial example acquisition in cost-sensitive learning

  • Aug 12, 2007
  • Victor S Sheng +1
  • Book Chapter
  • Citations22

A Framework for Automated Landmark Generation for Automated 3D Statistical Model Construction

  • Jan 01, 1999
  • A D Brett +1
  • Research Article
  • Citations2

Active reducing classification error for CAD systems

  • Mar 04, 2015
  • Knowledge-Based Systems
  • Weining Wu
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.