Abstract
The research work presented in this article covers the constitution and reutilization of technical memory (i.e. company know-how and skill). The aim of the work in progress is to verify knowledge models in design aid systems. The declarative product Model is explained in the first section. In the second one, we present the knowledge required for verification and, finally, the contents and consistency of the approach proposed for the verification of the Models.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Ayel & M.-C. Rousset — La cohérence dans les bases de connaissances pages. Paris, Cépadues Eds. (1990).
S. Boyera, S. Tourtier et O. Coray — Simuler le comportement macroscopique d’un modèle conceptuel, JAVA, Sème Journées Validation des Systèmes à Base de Connaissances (1994).
Consortium DEKLARE — Conceptualisation of Design Analysis Methodology,,DEKLARE — Esprit Project 6522 (1993).
Consortium DEKLARE — DEKLARE Small Book — ESPRIT Project 6522,Final Project Report, CEE (1995).
C. Djeraba — Composite objects and dependency relationships in engineering, Application of Artificial Intelligence in Engineering VI, Vol. 1: design, methods and technique, p. 6782 (1993).
J. Guyot, J.-P. Vaudet et S. Petitjean — Vers une caractérisation des outils de validation des systèmes à base de connaissances: application à deux outils, 11th International Conference in Experts Systems and their Applications, Avignon, France (1991).
C. Haouche-Gingins & J. Charlet — Une méthode pour tester les systèmes à base de connaissances par rapport à leur modèle conceptuel. Revue d’Intelligence Artificielle, Vol.: 11–n°4 (, p. 463–487 (1997).
T. Hoppe — Hypotheses Generation for Knowledge Validation, 9th European Conference on Artificial Intelligence–ECAI, Stockolm–Sweden, p. 354–356 (1990).
ILOG - Solver C++ v. 4.0 — Reference Manual. (1997).
ILOG - IlogRules, Reference Manual,,Ilog SA, Paris (1998).
P. Lefevre — La validation vue comme une tâche de résolution de problème à part entière: contribution au projet AIDE, PhD Thesis in Contrôle des systèmes, UTC, Compiègne (1997).
P.-A. Muller — Modélisation Objet avec UML. Eyrolles ed, 421 pages. PARIS (1997).
A. Saucier — Un modèle multi-vues du produit pour le développement et l’utilisation de systèmes d’aide à la conception en ingénierie mécanique, PhD Thesis in Mécanique, ENS de Cachan (1997).
F. Sellini — Contribution à la représentation et à la vérification de Modèles de connaissances produit en ingénierie d’ensembles mécaniques., PhD Thesis in génie industriel informatique, Ecole Centrale de Paris (1999).
F. Sellini & P.-A. Yvars — Modèles objet représentation déclarative du produit en conception mécanique. Revue L’Objet — Hermès, Vol.: 4 (2) (1998).
F. van Harmelen & A. ten Teije–Validation and Verification of conceptual models of diagnosis, EuroVaV’97–4th European Symposium on the Validation and Verification of Knowledge Based Systems, Leuven, Belgium, p. 117–128 (1997).
P.-A. Yvars & F. Sellini — KOMOD: A constraint based design support system for mechanical engineering, CIRP’99 — International CIRP Design Seminar, Enschede — Netherlands (1999).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Sellini, F., Yvars, PA. (1999). A priori Verification of Product Models in Mechanical Design. In: Vermesan, A., Coenen, F. (eds) Validation and Verification of Knowledge Based Systems. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-6916-6_16
Download citation
DOI: https://doi.org/10.1007/978-1-4757-6916-6_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-5107-6
Online ISBN: 978-1-4757-6916-6
eBook Packages: Springer Book Archive