Anti-logicist framework for design-knowledge representation

Antonio Giovannini (1, 2) , Alexis Aubry (1) , Hervé Panetto (1) , Hind Bril El-Haouzi (1) , Ludovic Pierrel (2) , Michele Dassisti (3)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 TRANE - TRANE SAS
3 Polytechnic University of Bari / Politecnico di Bari

The knowledge reuse and mapping are among the most important concerns related to the design knowledge representation. In this paper, authors focus on the importance of one specific property of a design knowledge representation: the unambiguity. Authors show 1) how the ambiguity of the representation can increase the risk of a failure in the reuse and mapping processes, 2) how most of works in the literature use formal logic constructs and finally 3) how the use of these can increase the risk of ambiguity. On the basis of these remarks, an overview on the works on the anti-logicist architecture is provided: the systems based on this architecture show an intelligent behaviour without using logic constructs. An analysis and a transposition of the anti-logicist principles are then performed to build a framework allowing to represent design knowledge without logic constructs. To do so 1) main concepts are formalised in a conceptual model; 2) an algorithm has been designed to map pieces of knowledge based only on the representation syntax; 3) two instantiations of the framework are showed using a CAD instantiation. Finally, the limits of the current deployment of the framework and the research perspectives are discussed.

Mots clés: Computer aided design; Conceptual modeling; Design; Anti-logicism; Knowledge reuse; Knowledge representation

Domaines: Ingénierie assistée par ordinateur

Antonio Giovannini, Alexis Aubry, Hervé Panetto, Hind Bril El-Haouzi, Ludovic Pierrel, et al.. Anti-logicist framework for design-knowledge representation. Annual Reviews in Control, 2015, 39 (1), pp.144-157. ⟨10.1016/j.arcontrol.2015.03.013⟩. ⟨hal-01122807⟩