{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:32:27Z","timestamp":1648773147837},"reference-count":47,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":6236,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1992,2]]},"abstract":"<jats:p>An approach to CAD and CAM modeling and to the design of CAD\/CAM systems is presented. Models of the product and of the process are represented by logical assertions in a common logical language. CAD\/CAM functions are represented by the application of logical inference rules, which correspond to the derivation of new information as well as to actions. This allows all the different kinds of model and specification used in design and manufacturing to be represented in a computer in a common form. It therefore allows the representation of constraints and rules connecting any aspects of design and manufacturing together.<\/jats:p><jats:p>This approach has all the advantages of formal specifiction, namely, ease of expression, communication, standardization and abstraction. At the same time, we demonstrate its practical implementation in an efficient form, and which is industry compatible, and we report practical experience with using this approach for CAD\/CAM models and for intelligent CAD\/CAM functions.<\/jats:p>","DOI":"10.1017\/s0890060400002936","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T09:48:02Z","timestamp":1270028882000},"page":"39-58","source":"Crossref","is-referenced-by-count":1,"title":["A predicate logic approach to CAD\/CAM modeling"],"prefix":"10.1017","volume":"6","author":[{"given":"Alan H.","family":"Bond","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400002936_ref032","doi-asserted-by":"publisher","DOI":"10.1080\/00207548808947907"},{"key":"S0890060400002936_ref035","first-page":"165","volume-title":"CAPE 86\u2014Second International IF1P Conference on Computer Applications in Production and Engineering","author":"Kimura","year":"1987"},{"key":"S0890060400002936_ref015","unstructured":"Bond A. H. and Kim D. H. 1987. Automatic model construction from drawings. MEP report 8704, University of California, Los Angeles."},{"key":"S0890060400002936_ref017","unstructured":"Bond A. H. and Soetarman B. 1987. Integrating PROLOG and CADAM to produce and intelligent CAD system. In IEEE WESTEX Conference on Expert Systems Applications 1987, pp. 152\u2013161."},{"key":"S0890060400002936_ref002","first-page":"145","volume-title":"Design Theory for CAD","author":"Arbab","year":"1987"},{"key":"S0890060400002936_ref031","unstructured":"Jain R. 1988. The formal definition and automatic extraction of group technology codes. MSc thesis, Mechanical, Aeronautical and Nuclear Engineering Department, UCLA, Los Angeles."},{"key":"S0890060400002936_ref025","first-page":"38","article-title":"SRC cracks a coding problem","author":"Gallagher","year":"1978","journal-title":"Machinery and Production Engineering"},{"key":"S0890060400002936_ref014","unstructured":"Bond A. H. and Kao C-C. 1987. The specification and use of design checking configurations. MEP report 8736, University of California, Los Angeles."},{"key":"S0890060400002936_ref019","first-page":"143","volume-title":"Intelligent Manufacturing Systems II","author":"Bond","year":"1987"},{"key":"S0890060400002936_ref018","unstructured":"Bond A. H. , Soetarman B. , Kim D. H. , Ahmed Z. and Chang K. J. 1987a. An intelligent CAD-CAM system. MEP report 8726, University of California, Los Angeles."},{"key":"S0890060400002936_ref016","unstructured":"Bond A. H. and Soetarman B. 1986. Integrating PROLOG and CADAM to produce an intelligent CAD system. MEP report 8606, University of California, Los Angeles."},{"key":"S0890060400002936_ref030","first-page":"263","volume-title":"Proceedings of the 1986 ASME International Computers in Engineering Conference and Exhibition","author":"Hirschtick","year":"1986"},{"key":"S0890060400002936_ref044","unstructured":"Prakash Rao P. V. P. H. 1984. Towards CAD\/CAM: CAPP through automatic generation of group technology code from engineering drawings. Master's thesis, UCLA."},{"key":"S0890060400002936_ref007","first-page":"571","volume-title":"ASME Conference on Artificial Intelligence in Engineering","author":"Bond","year":"1988"},{"key":"S0890060400002936_ref011","first-page":"3","article-title":"Organizational analysis of distributed artificial intelligence systems","author":"Bond","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"S0890060400002936_ref013","first-page":"537","volume-title":"ASME Conference on Artificial Intelligence in Engineering","author":"Bond","year":"1988"},{"key":"S0890060400002936_ref012","unstructured":"Bond A. H. and Jain R. 1987. The formal definition and automatic extraction of group technology codes. MEP report 8718, University of California, Los Angeles."},{"key":"S0890060400002936_ref021","first-page":"111","volume-title":"Proceedings of the 1988 workshop on interactive 3-D Graphics, Chapel Hill, North Carolina","author":"Bruderlin","year":"1987"},{"key":"S0890060400002936_ref047","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)61749-1"},{"key":"S0890060400002936_ref042","doi-asserted-by":"publisher","DOI":"10.1080\/00207549008942734"},{"key":"S0890060400002936_ref036","first-page":"245","article-title":"Group technology in forging and stamping","volume":"38","author":"Knight","year":"1971","journal-title":"Metallurgia and Metal forming"},{"key":"S0890060400002936_ref033","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)61842-3"},{"key":"S0890060400002936_ref003","unstructured":"Arbab F. 1988. Examples of geometric reasoning in OAR. Technical Report CRI 88\u201331, Computer Science Research Institute, University of Southern California, Los Angeles, California."},{"key":"S0890060400002936_ref043","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7357(69)90027-4"},{"key":"S0890060400002936_ref040","unstructured":"Malachi M. 1986. Nonclausal logic programming. PhD thesis, Stanford University, Stanford, California."},{"key":"S0890060400002936_ref004","volume-title":"Machine Intelligence","author":"Bond","year":"1981"},{"key":"S0890060400002936_ref005","first-page":"128","volume-title":"IEEE Westex conference on expert systems applications","author":"Bond","year":"1987"},{"key":"S0890060400002936_ref039","first-page":"38","article-title":"Creating and using a features data base","author":"Luby","year":"1986","journal-title":"Computers in Mechanical Engineering"},{"key":"S0890060400002936_ref006","doi-asserted-by":"publisher","DOI":"10.1016\/0954-1810(89)90023-X"},{"key":"S0890060400002936_ref008","first-page":"403","volume-title":"Proceedings of ASME Computers in Engineering Conference","author":"Bond","year":"1989"},{"key":"S0890060400002936_ref009","volume-title":"Readings in Distributed Artificial Intelligence","author":"Bond","year":"1988"},{"key":"S0890060400002936_ref010","volume-title":"Readings in Distributed Artificial Intelligence","author":"Bond","year":"1988"},{"key":"S0890060400002936_ref022","doi-asserted-by":"publisher","DOI":"10.1145\/214956.214958"},{"key":"S0890060400002936_ref024","doi-asserted-by":"publisher","DOI":"10.1115\/1.3670880"},{"key":"S0890060400002936_ref026","first-page":"11","volume-title":"Computer Aided Design and Manufacture\u2014State of the Art Report","author":"Gero","year":"1985"},{"key":"S0890060400002936_ref020","first-page":"448","volume-title":"EUROCAL '85 European Conference on Computer Algebra","author":"Bruderlin","year":"1985"},{"key":"S0890060400002936_ref027","first-page":"367","article-title":"Fundamental aspects of component classification","author":"Gambinski","year":"1969","journal-title":"Annals of the CIRP"},{"key":"S0890060400002936_ref001","first-page":"32","article-title":"Group Technology","author":"Abou-Zeid","year":"1975","journal-title":"Industrial Engineer"},{"key":"S0890060400002936_ref028","first-page":"5","article-title":"Feature recognition in geometric modelling","author":"Henderson","year":"1984","journal-title":"Proceedings of CAD-I's 13th Annual Meeting and Technical Conference"},{"key":"S0890060400002936_ref029","first-page":"195","volume-title":"Knowledge-based Expert Systems for Manufacturing","author":"Henderson","year":"1986"},{"key":"S0890060400002936_ref023","first-page":"14","article-title":"The Alpha graphics system","author":"Davies","year":"1985","journal-title":"Engineering Designer"},{"key":"S0890060400002936_ref034","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)62555-4"},{"key":"S0890060400002936_ref037","volume-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"S0890060400002936_ref041","unstructured":"McCabe F. 1987. Demotational Graphics, Research Report. Imperial College, London."},{"key":"S0890060400002936_ref045","first-page":"508","volume-title":"Proceedings 1987 Symposium on Logic Programming","author":"Reintjes","year":"1987"},{"key":"S0890060400002936_ref038","unstructured":"Kyprianou L. K. 1980. Shape classification in computer aided design. PhD thesis, University of Cambridge, U.K."},{"key":"S0890060400002936_ref046","first-page":"70","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium","author":"Reintjes","year":"1988"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400002936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T18:36:06Z","timestamp":1558031766000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400002936\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,2]]},"references-count":47,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,2]]}},"alternative-id":["S0890060400002936"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400002936","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,2]]}}}