{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T23:38:23Z","timestamp":1773963503230,"version":"3.50.1"},"reference-count":78,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer-Aided Design"],"published-print":{"date-parts":[[1990,7]]},"DOI":"10.1016\/0010-4485(90)90086-r","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T09:47:17Z","timestamp":1047635237000},"page":"352-367","source":"Crossref","is-referenced-by-count":42,"title":["A fundamental and theoretical framework for an intelligent CAD system"],"prefix":"10.1016","volume":"22","author":[{"given":"V.","family":"Akman","sequence":"first","affiliation":[]},{"given":"P.J.W.","family":"ten Hagen","sequence":"additional","affiliation":[]},{"given":"T.","family":"Tomiyama","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0010-4485(90)90086-R_BIB1","article-title":"Qualitative and quantitative knowledge in classical mechanics","author":"de Kleer","year":"1975"},{"key":"10.1016\/0010-4485(90)90086-R_BIB2","series-title":"Design Rules for a CIM System","author":"Yeomans","year":"1985"},{"key":"10.1016\/0010-4485(90)90086-R_BIB3","article-title":"The science of design: creating the artificial","author":"Simon","year":"1979"},{"issue":"No 3","key":"10.1016\/0010-4485(90)90086-R_BIB4","first-page":"23","article-title":"Intelligent computer-aided engineering","volume":"Vol 9","author":"Forbus","year":"1988","journal-title":"Al Magazine"},{"key":"10.1016\/0010-4485(90)90086-R_BIB5","first-page":"1153","article-title":"Graphics, design, and artificial intelligence","volume":"Vol F40","author":"Lansdown","year":"1988"},{"key":"10.1016\/0010-4485(90)90086-R_BIB6","article-title":"Organization of design knowledge in an intelligent CAD environment","author":"Tomiyama","year":"1987"},{"issue":"No 2","key":"10.1016\/0010-4485(90)90086-R_BIB7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0950-7051(88)90001-9","article-title":"Knowledge engineering in design","volume":"Vol 1","author":"Akman","year":"1988","journal-title":"Knowl.-Based Syst."},{"key":"10.1016\/0010-4485(90)90086-R_BIB8","series-title":"Intelligent CAD Systems I: Theoretical and Methodological Aspects","first-page":"295","article-title":"An integrated data description language for coding design knowledge","author":"Veth","year":"1987"},{"issue":"No 7","key":"10.1016\/0010-4485(90)90086-R_BIB9","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/MC.1986.1663283","article-title":"Knowledge and control for a mechanical design expert system","volume":"Vol 1","author":"Brown","year":"1986","journal-title":"IEEE Comput."},{"issue":"No 7","key":"10.1016\/0010-4485(90)90086-R_BIB10","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1109\/MC.1986.1663284","article-title":"PRIDE: an expert system for the design of paper handling systems","volume":"Vol 1","author":"Mittal","year":"1986","journal-title":"IEEE Comput."},{"key":"10.1016\/0010-4485(90)90086-R_BIB11","series-title":"Intelligent CAD, I: Proceedings of the IFIP TC5 WG5.2 Workshop","article-title":"Multiple worlds in an intelligent CAD system","author":"Veerkamp","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB12","series-title":"Intelligent CAD Systems II: Implementational Issues","first-page":"58","article-title":"IDDL: a language for intelligent integrated interactive CAD systems","author":"Veerkamp","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB13","series-title":"Artificial Intelligence in Engineering 3","year":"1988"},{"key":"10.1016\/0010-4485(90)90086-R_BIB14","series-title":"Artificial Intelligence in Design","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB15","series-title":"Intelligent CAD Systems I: Theoretical and Methodological Aspects","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB16","series-title":"Intelligent CAD Systems II: Implementational Issues","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB17","series-title":"Intelligent CAD, I: Proceedings of the IFIP TC5 WG5.2 Workshop","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB18","series-title":"Proc. AFIPS Spring J. Comput. Conf.","first-page":"329","article-title":"SKETCHPAD, a man-machine graphical communication system","author":"Sutherland","year":"1963"},{"issue":"No 9","key":"10.1016\/0010-4485(90)90086-R_BIB19","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1145\/6592.6597","article-title":"Expert systems: perils and promise","volume":"Vol 2","author":"Bobrow","year":"1986","journal-title":"Commun. ACM"},{"issue":"No 1","key":"10.1016\/0010-4485(90)90086-R_BIB20","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/0954-1810(86)90033-6","article-title":"EDISON: an engineering design invention system operating naively","volume":"Vol 1","author":"Dyer","year":"1986","journal-title":"Artif. Intell. Eng."},{"key":"10.1016\/0010-4485(90)90086-R_BIB21","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0004-3702(86)90073-1","article-title":"Qualitative simulation","volume":"Vol 29","author":"Kuipers","year":"1986","journal-title":"Artif. Intell."},{"issue":"No 11","key":"10.1016\/0010-4485(90)90086-R_BIB22","doi-asserted-by":"crossref","first-page":"1386","DOI":"10.1109\/TSE.1985.231886","article-title":"Expert systems and the \u2018myth\u2019 of symbolic reasoning","volume":"Vol 1","author":"Doyle","year":"1985","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0010-4485(90)90086-R_BIB23","series-title":"Design Theory for CAD","first-page":"95","article-title":"Extended general design theory","author":"Tomiyama","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB24","series-title":"Readings in Knowledge Representation","first-page":"336","article-title":"The role of logic in knowledge representation and commonsense reasoning","author":"Moore","year":"1985"},{"key":"10.1016\/0010-4485(90)90086-R_BIB25","series-title":"Proc. 5th Int. Jt Conf. Artif. Intell. (IJCAI-77)","first-page":"559","article-title":"In defence of logic","author":"Hayes","year":"1977"},{"key":"10.1016\/0010-4485(90)90086-R_BIB26","series-title":"Logic Models of Design","author":"Coyne","year":"1988"},{"issue":"No 3","key":"10.1016\/0010-4485(90)90086-R_BIB27","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/MS.1984.234384","article-title":"Capital-intensive software technology","volume":"Vol 1","author":"Wegner","year":"1984","journal-title":"IEEE Softw."},{"key":"10.1016\/0010-4485(90)90086-R_BIB28","series-title":"On Conceptual Modelling","first-page":"165","article-title":"The logic of incomplete knowledge bases","author":"Levesque","year":"1984"},{"key":"10.1016\/0010-4485(90)90086-R_BIB29","series-title":"The Mythical Man-Month","author":"Brooks","year":"1975"},{"issue":"No 1","key":"10.1016\/0010-4485(90)90086-R_BIB30","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1109\/MC.1987.1663354","article-title":"Software development support for Al programs","volume":"Vol 2","author":"Ramamoorthy","year":"1987","journal-title":"IEEE Comput."},{"issue":"No 11","key":"10.1016\/0010-4485(90)90086-R_BIB31","doi-asserted-by":"crossref","first-page":"1401","DOI":"10.1109\/TSE.1985.231888","article-title":"If Prolog is the answer, what is the question? or What it takes to support AI programming paradigms","volume":"Vol 1","author":"Bobrow","year":"1985","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0010-4485(90)90086-R_BIB32","series-title":"Computing Shape","author":"Woodwark","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB33","article-title":"Representing knowledge in two distinct descriptions: extensional vs intensional","author":"Tomiyama","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB34","series-title":"Coupling Symbolic and Numerical Computing in Expert Systems","article-title":"Symbolic and numerical computing in knowledge based systems","author":"Kitzmiller","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB35","series-title":"Formal Methods in Artificial Intelligence","author":"Delahaye","year":"1988"},{"issue":"No 4","key":"10.1016\/0010-4485(90)90086-R_BIB36","first-page":"40","article-title":"Object-oriented programming: themes and variations","volume":"Vol 6","author":"Stefik","year":"1986","journal-title":"Al Magazine"},{"key":"10.1016\/0010-4485(90)90086-R_BIB37","series-title":"Smalltalk-80: the Interactive Programming Environment","author":"Goldberg","year":"1983"},{"key":"10.1016\/0010-4485(90)90086-R_BIB38","article-title":"Introduction to dialogue cells","author":"van Liere","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB39","series-title":"Second draft proposal 9592\/1","article-title":"The Programmer's Hierarchical Interactive Graphics System (PHIGS)","author":"ISO","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB40_1","article-title":"Graphical Kernel System (GKS) \u2014 Functional description","author":"ISO","year":"1985","journal-title":"ISO IS 7942"},{"key":"10.1016\/0010-4485(90)90086-R_BIB40_2","series-title":"Draft international standard 8805","article-title":"GKS-3D functional description","author":"ISO","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB41","series-title":"Inteligent CAD Systems I: Theoretical and Methodological Aspects","article-title":"Multi-expert systems for CAD","author":"David","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB42","series-title":"Proc. 11th Des. Automation Workshop","first-page":"352","article-title":"GERMINAL: towards a general and integrated system for computer aided design","author":"Jacquart","year":"1974"},{"key":"10.1016\/0010-4485(90)90086-R_BIB43","first-page":"304","article-title":"The structure of ill-structured problems","volume":"Vol LIV","author":"Simon","year":"1977"},{"key":"10.1016\/0010-4485(90)90086-R_BIB44","series-title":"Intelligent CAD Systems II: Implementational Issues","first-page":"170","article-title":"The power of physical representations","author":"Akman","year":"1989"},{"key":"10.1016\/0010-4485(90)90086-R_BIB45","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1207\/s15516709cog0803_3","article-title":"The role of a mental model in learning to operate a device","volume":"Vol 8","author":"Kieras","year":"1984","journal-title":"Cognitive Sci."},{"key":"10.1016\/0010-4485(90)90086-R_BIB46","series-title":"Meaning and Necessity: A Study in Semantics and Modal Logic","author":"Carnap","year":"1947"},{"issue":"No 2","key":"10.1016\/0010-4485(90)90086-R_BIB47","first-page":"1","article-title":"The knowledge level","volume":"Vol 2","author":"Newell","year":"1981","journal-title":"Al Magazine"},{"key":"10.1016\/0010-4485(90)90086-R_BIB48","series-title":"Representation and Understanding","year":"1975"},{"key":"10.1016\/0010-4485(90)90086-R_BIB49","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/0010-4485(90)90086-R_BIB50","series-title":"Logic","author":"Hodges","year":"1977"},{"key":"10.1016\/0010-4485(90)90086-R_BIB51","series-title":"Programming in Prolog","author":"Clocksin","year":"1981"},{"key":"10.1016\/0010-4485(90)90086-R_BIB52","series-title":"The Art of Prolog","author":"Sterling","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB53","series-title":"Introduction to Modal Logic","author":"Hughes","year":"1968"},{"key":"10.1016\/0010-4485(90)90086-R_BIB54","series-title":"Proc. 3eme Journess d'Etudes Langages Orientes Objects","article-title":"Delegation and inheritance: two mechanisms for sharing knowledge in object-oriented systems","author":"Lieberman","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB55","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","article-title":"A qualitative physics based on confluences","volume":"Vol 24","author":"de Kleer","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(90)90086-R_BIB56","series-title":"Qualitative Reasoning about Physical Systems","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB57","series-title":"Computation: Finite and Infinite Machines","author":"Minsky","year":"1967"},{"key":"10.1016\/0010-4485(90)90086-R_BIB58","series-title":"Formal Theories of the Commonsense World Ablex","first-page":"1","article-title":"The second naive physics manifesto","author":"Hayes","year":"1985"},{"key":"10.1016\/0010-4485(90)90086-R_BIB59","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative process theory","volume":"Vol 24","author":"Forbus","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(90)90086-R_BIB60","article-title":"A theory of qualitative kinematics in mechanisms","author":"Faltings","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB61","article-title":"The qualitative statistics of rigid bodies","author":"Nielsen","year":"1987"},{"key":"10.1016\/0010-4485(90)90086-R_BIB62","series-title":"Proceedings of the American Association for Artificial Intelligence (AAAI-86)","first-page":"100","article-title":"Order of magnitude reasoning","author":"Raiman","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB63","series-title":"Proc. American Assoc. Artif. Intell. (AAAI-86)","first-page":"118","article-title":"Commonsense arithmetic reasoning","author":"Simmons","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB64","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(86)90090-1","article-title":"Theories of causal ordering","volume":"Vol. 29","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(90)90086-R_BIB65","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0004-3702(86)90089-5","article-title":"Causality in device behaviour","volume":"Vol. 29","author":"Iwasaki","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0010-4485(90)90086-R_BIB66","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1080\/09528138908953694","article-title":"Exploring the non-function-in-structure principle","volume":"Vol 1","author":"Gomez","year":"1989","journal-title":"Journal of Exper. Theoretical Artif. Intell."},{"key":"10.1016\/0010-4485(90)90086-R_BIB67","article-title":"Reasoning about change: Time and causation from the standpoint of artificial intelligence","author":"Shoham","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB68","series-title":"Semantic Information Processing","first-page":"403","article-title":"Programs with common sense","author":"McCarthy","year":"1968"},{"key":"10.1016\/0010-4485(90)90086-R_BIB69","series-title":"Readings in Knowledge Representation","year":"1985"},{"key":"10.1016\/0010-4485(90)90086-R_BIB70","article-title":"The construction of Smalltalk-80 applications","author":"Cunningham","year":"1985"},{"key":"10.1016\/0010-4485(90)90086-R_BIB71","article-title":"Comments on the learnability and usability of Smalltalk for casual users","author":"Nielsen","year":"1986"},{"key":"10.1016\/0010-4485(90)90086-R_BIB72","series-title":"Smalltalk-80: Bits of History Words of Advice A","article-title":"Implementing a Smalltalk-80 file system and the Smalltalk-80 system as a programming tool","author":"Penny","year":"1984"},{"issue":"No 1","key":"10.1016\/0010-4485(90)90086-R_BIB73","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MS.1986.232428","article-title":"Integrating access-oriented programming with a multiparadigm environment","volume":"Vol 3","author":"Stefik","year":"1986","journal-title":"IEEE Softw."},{"key":"10.1016\/0010-4485(90)90086-R_BIB74","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","article-title":"A truth maintenance system","volume":"Vol. 28","author":"Doyle","year":"1979","journal-title":"Artif. Intell."},{"issue":"No 2","key":"10.1016\/0010-4485(90)90086-R_BIB75","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","article-title":"An assumption-based TMS","volume":"Vol 28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"issue":"No 2","key":"10.1016\/0010-4485(90)90086-R_BIB76","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","article-title":"Extending the ATMS","volume":"Vol 28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."},{"issue":"No 2","key":"10.1016\/0010-4485(90)90086-R_BIB77","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","article-title":"Problem solving with the ATMS","volume":"Vol 28","author":"de Kleer","year":"1986","journal-title":"Artif. Intell."}],"container-title":["Computer-Aided Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859090086R?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:001044859090086R?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T15:58:34Z","timestamp":1553615914000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/001044859090086R"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":78,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["001044859090086R"],"URL":"https:\/\/doi.org\/10.1016\/0010-4485(90)90086-r","relation":{},"ISSN":["0010-4485"],"issn-type":[{"value":"0010-4485","type":"print"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}