Redesigning a Problem-Solver's Operations to Improve Solution Quality

Stroulia, Eleni; Goel, Ashok K.

Redesigning a Problem-Solver's Operations to Improve Solution Quality

Download BibTeX Cite

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence. Diagnosis and Qualitative Reasoning. Pages 562-566.

Abstract

The inability of a problem solver to produce solutions of a desired quality often may lie in the incorrect design of its operators. In this paper, we describe a method which, given a problem solver that produces a poor solution for a given problem, and given the desired solution for it, uses a model of the problem-solver's processing and knowledge to identify faults in the specification of its operators and to appropriately redesign them. This method is based on the structure-behavior-function (SBF) model of problem solving that explicitly captures the functional semantics of the problem-solver's tasks, the compositional semantics of its problemsolving methods that combine the operators' inferences into the outputs of the overall task, its domain knowledge, and the "causal" interdependencies between its tasks, methods and domain knowledge. We illustrate and evaluate this learning method through AUTOGNOSTIC .

Eleni Stroulia, and Ashok K. Goel. 1997. Redesigning a Problem-Solver's Operations to Improve Solution Quality. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. IJCAI, 562–566. https://ijcai.org/proceedings/1997/83

@inproceedings{ijcai1997p83,
  title     = {Redesigning a Problem-Solver's Operations to Improve Solution Quality},
  author    = {Stroulia, Eleni and Goel, Ashok K.},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-97}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Martha E. Pollack},
  pages     = {562--566},
  year      = {1997},
  note      = {Diagnosis and Qualitative Reasoning},
  url       = {https://ijcai.org/proceedings/1997/83},
}

TY  - CPAPER
TI  - Redesigning a Problem-Solver's Operations to Improve Solution Quality
AU  - Stroulia, Eleni
AU  - Goel, Ashok K.
T2  - Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1997
SP  - 562
EP  - 566
UR  - https://ijcai.org/proceedings/1997/83
ER  -