Anti-logicist framework for design-knowledge representation

Annual Reviews in Control

Volumn 39, Issue , 2015, Pages 144-157

  Giovannini, A ^a,b,c   Aubry, A ^a,b   Panetto, H ^a,b   El Haouzi, H ^a,b   Pierrel, L ^c   Dassisti, M ^d  

^a CNRS   (France)

^b UNIVERSITÉ DE LORRAINE   (France)

^c TRANE SAS   (France)

^d POLITECNICO DI BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; DESIGN; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; MAPPING;

CONCEPTUAL MODEL; DESIGN KNOWLEDGE; DESIGN KNOWLEDGE REPRESENTATION; KNOWLEDGE BASED; KNOWLEDGE REUSE; LOGIC CONSTRUCTS; MAPPING PROCESS; SPECIFIC PROPERTIES;

PRODUCT DESIGN;

EID: 84929043001     PISSN: 13675788     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.arcontrol.2015.03.013     Document Type: Conference Paper

References (31)

1. Agre, P. E., & Chapman, D. (1987). Pengi: An implementation of a theory of activity. In Association for the advancement of artificial intelligence (Vol. 87, pp. 286-272).
2. Air-Conditioning, Heating & Refrigeration Institute. (2001). AHRI standard 410-2001 with addenda 1, 2 and 3: Forced-circulation air-cooling and air-heating coils.
3. ASHRAE. (2009). 2009 ASHRAE handbook: Fundamentals. American society of heating, refrigerating and air-conditioning engineers, incorporated.
4. ASHRAE. (2012). 2012 ASHRAE handbook: Heating, ventilating, and air-conditioning systems and equipment. Atlanta, Ga.: American Society of Heating, Refrigerating & Air-Conditioning Engineers, Incorporated.
5. F. Baader, I. Horrocks, and U. Sattler Description logics Handbook of Knowledge Representation 3 2008 135 179
6. G. Brewka, I. Niemelä, and M. Truszczynski Nonmonotonic reasoning Handbook of Knowledge Representation 2007 239 284
7. R.A. Brooks Intelligence without representation Artificial Intelligence 47 1 1991 139 159
8. G.A. Chauvet Hierarchical functional organization of formal biological systems: A dynamical approach. I. The increase of complexity by self-association increases the domain of stability of a biological system Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences 339 1290 1993 425 444
9. A. Darwiche Bayesian networks Handbook of Knowledge Representation 3 2008 467 509
10. E. Davis Naive physics perplex AI Magazine 19 4 1998 51
11. K.D. Forbus Qualitative modeling Handbook of Knowledge Representation 3 2008 361 393
12. M. Gelfond Answer sets Handbook of Knowledge Representation 1 2008 285
13. Giovannini, A. (2015). A knowledge representation framework for the design and the evaluation of a product variety. PhD Thesis - University of Lorraine, France.
14. A. Giovannini, A. Aubry, H. Panetto, M. Dassisti, and H. El Haouzi Ontology-based system for supporting manufacturing sustainability Annual Reviews in Control 36 2 2012 309 317
15. Giovannini, A., Aubry, A., Panetto, H., El Haouzi, H., Pierrel, L., & Dassisti, M. (2014). Approach for the rationalisation of product lines variety. In Proceedings of 19th IFAC world congress (Vol. 19(1), pp. 3280-3291). Cape Town, South Africa.
16. C.P. Gomes, H. Kautz, A. Sabharwal, and B. Selman Satisfiability solvers Handbook of Knowledge Representation 3 2008 89 134
17. B.N. Grosof, I. Horrocks, R. Volz, and S. Decker Description logic programs: Combining logic programs with description logic Proceedings of the 12th international conference on World Wide Web 2003 ACM 48 57
18. ISO/IEC. (2007). ISO/IEC 24707 information technology-common logic (CL) - A framework for a family of logic-based languages.
19. L.P. Kaelbling An architecture for intelligent reactive systems Reasoning about Actions and Plans 1987 395 410
20. Y. Kalfoglou, and M. Schorlemmer Ontology mapping: The state of the art The Knowledge Engineering Review 18 01 2003 1 31
21. Lieber, R., Dupont, J. -M., Bouffaron, F., & Morel, G. (2013). Improving physical-physiological interaction requirements for maintenance enabling systems specification. In 12th IFAC/IFIP/IFORS/IEA symposium on analysis, design, and evaluation of human-machine systems. Las Vegas, États-Unis.
22. V. Lifschitz, L. Morgenstern, and D. Plaisted Knowledge representation and classical logic Handbook of Knowledge Representation 1 2008 3 88
23. H. Panetto, M. Dassisti, and A. Tursi ONTO-PDM: Product-driven ONTOlogy for Product Data Management interoperability within manufacturing process environment Advanced Engineering Informatics 2012
24. E. Rahm, and P.A. Bernstein A survey of approaches to automatic schema matching The VLDB Journal 10 4 2001 334 350
25. F. Rossi, P. Van Beek, and T. Walsh Constraint programming Handbook of Knowledge Representation 1 2008 181
26. Schild, K. (1991). A correspondence theory for terminological logics: Preliminary report. In Proceedings of the 12th international joint conference on artificial intelligence (Vol. 1, pp. 466-471).
27. J.J. Shah, D. Anderson, Y.S. Kim, and S. Joshi A discourse on geometric feature recognition from CAD models Journal of Computing and Information Science in Engineering 1 1 2001 41 51
28. J.F. Sowa Conceptual graphs Foundations of Artificial Intelligence 3 2008 213 237
29. P. Struss Model-based problem solving Handbook of Knowledge Representation 2008 395
30. J. Van Heijenoort From Frege to Gödel: A source book in mathematical logic, 1879-1931 Vol. 9 1977 Harvard University Press
31. L.E. Whitman, and H. Panetto The missing link: Culture and language barriers to interoperability Annual Reviews in Control 30 2 2006 233 241