{"type":"ScholarlyArticle","title":"Redesigning a Problem-Solver's Operations to Improve Solution Quality","authors":[{"name":"Eleni Stroulia","slug":"eleni-stroulia","given":"Eleni","family":"Stroulia","affiliation":""},{"name":"Ashok K. Goel","slug":"ashok-k-goel","given":"Ashok K.","family":"Goel","affiliation":""}],"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 .","doi":null,"url":"https://ijcai.org/proceedings/1997/83","pdf":"https://ijcai.org/proceedings/1997/0083.pdf","markdown":"https://ijcai.org/proceedings/1997/83.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/83","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Diagnosis and Qualitative Reasoning","track":"Diagnosis and Qualitative Reasoning","number":83,"pages":{"first":562,"last":566},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}