R. Klein, M. Buchheit, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proceedings Artificial Intelligence in Design '94, pages 201-- 218. Kluwer, Aug. 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....exists a model of C (that is also a model of T ) An ABox A is consistent (w.r.t. a TBox T ) i# A has model I (which is also a model of T ) A knowledge base (T , A) is called consistent i# there exists a model. 3 Solving an Application Problem with ALCNH R (D) According to [3] configuration problem solving processes can be formalized as synthesis inference tasks. Following this approach, a solution of a configuration task is defined to be a (logical) model of the given knowledge base consisting of both the conceptual domain model (TBox) as well as the task ....

....is very simple: A = a : Cylinder # # displacement . #Vol c . c # 0.5) In order to solve the problem to construct a Cylinder, the knowledge base (T , A) is tested for consistency. If the knowledge base is consistent, there exists a model which can be considered as a solution (see [3]) Note that (T , A) is only a very simplified example for a representation of a configuration problem. For instance, using an ABox with additional assertions it is possible to explicitly specify some required cylinder parts etc. In order to actually compute a solution to a configuration ....

M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In F. Sudweeks and J. Gero, editors, Proc. 4th Int. Conf. on Artificial Intelligence in Design. Kluwer, Dordrecht, 1994.

.... Postfach 2080, D 67608 Kaiserslautern, Germany 1 Introduction Well founded formalizations of configuration typically represent configuration tasks as the problem of constructing a model of the current specification due to a theory that represents general knowledge on applicable configurations [2, 10]. These approaches exhibit mainly three drawbacks: 1. Yet, logical frameworks for configuration concentrated on structure oriented configuration (object classes, attributes, parts) neglecting the management of so called resources [4] Resources, which may be considered as constraints between a ....

Martin Buchheit, Rudiger Klein, and Werner Nutt. Configuration as model construction: The constructive problem solvin approach. Technical Report TM-95-01, DFKI, 1994.

....rather than starting from a high level description of the product to be configured. Most configuration models in the literature are product oriented: their task is described as the synthesis, more or less automatic, of a set of objects satisfying a set of predefined constraints [Stumper 1997] In [Klein, Buchheit Nutt 1994] the configuration task is described as model construction, the constraints being expressed as a set of logic formulas defining a theory; any model of the theory is a legitimate configuration. An alternative approach is described in [Faltings Weigel 1994] where configuration is described as a ....

Klein, R., Buchheit, M., Nutt, W., Configuration as model construction: the constructive problem solving approach, in Proc. Of the 3 rd International Conference on Artificial Intelligence in Design, AID '94.

.... been investigated in the literature (see, e.g. 3, 9, 1] In the present paper, we shall consider an extension that is motivated by the use of terminological systems for solving configuration tasks, which is an application domain that is currently gaining more and more importance (see, e.g. [11, 5, 10, 13, 8]) Technical domains such as configuration seem to be well suited for terminological systems since they usually rely on a large number of terminological conventions, which are in most cases precisely defined. In contrast, more traditional AI applications of terminological systems, such as natural ....

....algorithm of Section 4, it will generate the obligatory parts like system unit, etc. It also makes sure that the integrity constraints expressed by the inclusion axioms and the cardinality restriction are satisfied (more information on this idea of configuration by model generation can be found in [8]) 4 The consistency algorithm The method for deciding consistency of a KB presented below is rule based in the sense that it starts with the original KB (consisting of an ABox A 0 and a TBox T 0 ) and applies certain consistency preserving transformation rules to the ABox until no more rules ....

M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proceedings of the Third International Conference on Artificial Intelligence in Design, AID'94, Lausanne, Switzerland, 1994. To appear.

....of consequence. In the area of configuration, such contributions are rare up to now and they only describe selected aspects of implemented systems (see e.g. the abstract formulation of structure oriented and resource oriented configuration in [5] or the constructive problem solving (CPS) model of [2]) describing configuration as model construction. One of the advantages to be gained from this approach is that issues like correctness and adequateness of a representation can be discussed independently of the implemented solution procedure. For example, it is reasonable to expect that generic ....

....with questions in other areas and to transfer results. In the sequel we will give some more evidence for our argumentation here. We briefly sketch the model, some results and problems given by Najmann and Stein [5] We then recall and discuss the CPS model of Buchheit, Klein, and Nutt [2]. Finally we summarize some results by one of the authors [6] who used the latter approach and compared the usage of a general KR system CLASSIC [1] and of the CPS system [2] for customizingretail information systems. 2 The Model of Najmann and Stein In Germany two different views of ....

[Article contains additional citation context not shown here]

M. Buchheit, R. Klein, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proc. of the 3rd International Conference on Artificial Intelligence in Design, AID'94, 1994.

No context found.

R. Klein, M. Buchheit, and W. Nutt. Configuration as model construction: The constructive problem solving approach. In Proceedings Artificial Intelligence in Design '94, pages 201-- 218. Kluwer, Aug. 1994.

No context found.

Buchheit, M., Klein, R., Nutt, W. (1994b). Configuration as model construction: The constructive problem solving approach. In Proceedings of the Third International Conference on Artificial Intelligence in Design, AID'94, Lausanne, Switzerland.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC