Automated Configuration Problem Solving

Author(s):  
Charles J. Petrie
Author(s):  
ALEXANDER FELFERNIG ◽  
GERHARD FRIEDRICH ◽  
DIETMAR JANNACH ◽  
MARKUS STUMPTNER ◽  
MARKUS ZANKER

Today's economy exhibits a growing trend toward highly specialized solution providers cooperatively offering configurable products and services to their customers. This paradigm shift requires the extension of current standalone configuration technology with capabilities of knowledge sharing and distributed problem solving. In this context a standardized configuration knowledge representation language with formal semantics is needed in order to support knowledge interchange between different configuration environments. Languages such as Ontology Inference Layer (OIL) and DARPA Agent Markup Language (DAML+OIL) are based on such formal semantics (description logic) and are very popular for knowledge representation in the Semantic Web. In this paper we analyze the applicability of those languages with respect to configuration knowledge representation and discuss additional demands on expressivity. For joint configuration problem solving it is necessary to agree on a common problem definition. Therefore, we give a description logic based definition of a configuration problem and show its equivalence with existing consistency-based definitions, thus joining the two major streams in knowledge-based configuration (description logics and predicate logic/constraint based configuration).


1987 ◽  
Vol 2 (4) ◽  
pp. 277-285 ◽  
Author(s):  
M.S. Lan ◽  
R.M. Panos ◽  
M.S. Balban

AbstractThis paper describes some of our experience gathered during the development of an expert system, the press lineup advisor, in which we used the commercially available expert system development tool, S.1.™ Discussion includes: (1) how we used S. l to develop a system which solves a configuration problem; (2) difficulties we encountered when applying S.1 to this specific reasoning problem; (3) limitations of S.1 from both problem-solving and operational points of view and (4) issues remaining to be solved with respect to generalization of the system.


1991 ◽  
Vol 55 (5) ◽  
pp. 327-331 ◽  
Author(s):  
GT Chiodo ◽  
WW Bullock ◽  
HR Creamer ◽  
DI Rosenstein
Keyword(s):  

1982 ◽  
Vol 13 (2) ◽  
pp. 129-133
Author(s):  
A. D. Pellegrini

The paper explores the processes by which children use private speech to regulate their behaviors. The first part of the paper explores the ontological development of self-regulating private speech. The theories of Vygotsky and Luria are used to explain this development. The second part of the paper applies these theories to pedagogical settings. The process by which children are exposed to dialogue strategies that help them solve problems is outlined. The strategy has children posing and answering four questions: What is the problem? How will I solve it? Am I using the plan? How did it work? It is argued that this model helps children systematically mediate their problem solving processes.


1989 ◽  
Vol 20 (3) ◽  
pp. 320-332 ◽  
Author(s):  
David A. Shapiro ◽  
Nelson Moses

This article presents a practical and collegial model of problem solving that is based upon the literature in supervision and cognitive learning theory. The model and the procedures it generates are applied directly to supervisory interactions in the public school environment. Specific principles of supervision and related recommendations for collaborative problem solving are discussed. Implications for public school supervision are addressed in terms of continued professional growth of both supervisees and supervisors, interdisciplinary team functioning, and renewal and retention of public school personnel.


Sign in / Sign up

Export Citation Format

Share Document