Abstract
Knowledge acquisition and capitalization to solve problems concerning artefact evolution, still called inventive design, has a certain quantity of specific characteristics. The theoretical approach we are interested in, called TRIZ (the Russian acronym for Theory for Inventive Problem Solving), when translated into a methodological procedure, can be declined into two different steps: problem formulation and problem resolution. This article presents an analysis of two of the most used knowledge bases of TRIZ during the resolution stage. These knowledge bases have been formalized by the construction of an ontology of the informal knowledge sources usually used by the TRIZ experts. This approach has permitted the design of a software architecture that eases the implementation of these bases by means of their declarative manipulation. It combines rules and description logics for populating the ontology and facilitates the access to the compiled generic knowledge that synthesizes, at an abstract level, the already encountered problems and their solutions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Altshuller, G.S.: Creativity as an exact science. Gordon and Breach, New York (1988); 0275-5807
Altshuller, G.S.: TRIZ the innovation algorithm, systematic innovation and technical creativity. Technical innovation Center Inc., Worcester, Massachusset (1999)
Zanni, C., Cavallucci, D., Rousselot, F.: An Ontological Basis for Inventive Design, Computers in Industry. Special issue on “Computer Aided Design” (to be appeared, 2009)
Guarino, N., Welty, C.: A formal ontology of properties. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 97–112. Springer, Heidelberg (2000)
Savransky, S.D.: Engineering of Creativity: Introduction to TRIZ methodology of Inventive Problem Solving. CRC Ed., Boca Raton (2000)
Salamatov, Y.: TRIZ: the right solution at the right time (2000); Insystec Ed. Translated by Strogaia M., Yakovlev S.
Bultey, A., De Bertrand De Beuvron, F., Rousselot, F.: A problem solving environment based on TRIZ ontologies. In: Proceedings of Virtual Concept 2006, Playa del Carmen, Mexico (2006)
De Bertrand De Beuvron, F., Rousselot, F., Kullman, M., Rudolf, D.: CICLOP. In: Proceedings of « les journées francophones de l’ingénierie des connaissances », Toulouse, France (2000)
Lauriere, J.L., Vialatte, M.: SNARK: a language to represent declarative knowledge and inference engine which use heuristics. In: Proceedings of IFIP Congres, Dublin, Ireland, pp. 811–816 (1986)
Nardi, D., Brachman, R.J.: An Introduction to Description Logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook, pp. 5–44. Cambridge University Press, Cambridge (2002)
Bultey, A., De Bertrand De Beuvron, F., Rousselot, F.: A substance-field ontology to support the TRIZ thinking approach. Int. J. Computer Applications in Technology 30(1/2), 113–124 (2007)
Baader, F., Küsters, R.: Matching in description logics with existential restrictions. In: Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 261–272 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bultey, A., Zanni-Merk, C., Rousselot, F., de Beuvron, F. (2009). A Hybrid System Combining Description Logics and Rules for Inventive Design. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04595-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-04595-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04594-3
Online ISBN: 978-3-642-04595-0
eBook Packages: Computer ScienceComputer Science (R0)