{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T04:59:57Z","timestamp":1698037197793},"reference-count":26,"publisher":"Wiley","issue":"10","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":5873,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1990,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A discussion is presented of system issues in integrating an artificial intelligence system with a conventional computer\u2010aided design system. Two different schemes for integration, and experience in implementing a combined VM\/PROLOG and CADAM, are described.<\/jats:p><jats:p>Both Prolog and CADAM are separately interactively systems, and it was necessary to provide an interactive interface to each, and to be able to move between them. Since CADAM is not reentrant, a coroutining relationship was required. It was necessary to specify a Prolog form for drawings and to be able to transform drawings in the CADAM workspace in Fortran array form into Prolog clauses, representing the same information and residing in the Prolog workspace, and vice versa. The problems of linking to CADAM, and of storage management in a VM virtual machine had to be dealt with. Finally, error recovery had to be considered.<\/jats:p><jats:p>Examples of the use of the system are presented, including examples of CAD graphics, and the setting of goals, with the corresponding system responses.<\/jats:p><jats:p>The main practical application area was the design and manufacture of assemblies made of sheet metal and extrusions, such as components of aircraft. Several application programs, implemented using the intelligent CAD system, are described.<\/jats:p>","DOI":"10.1002\/spe.4380201006","type":"journal-article","created":{"date-parts":[[2006,11,18]],"date-time":"2006-11-18T00:25:26Z","timestamp":1163809526000},"page":"1049-1076","source":"Crossref","is-referenced-by-count":0,"title":["Integrating prolog and CADAM to produce an intelligent CAD system"],"prefix":"10.1002","volume":"20","author":[{"given":"Alan H.","family":"Bond","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Basuki","family":"Soetarman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(82)90174-9"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(82)90058-6"},{"key":"e_1_2_1_4_2","unstructured":"Peter B.Reintjes \u2018A VLSI design environment in Prolog\u2019 Robert A. Kowalski and Kenneth A. Bowen (eds) Proceedings of the Fifth International Conference and Symposium on Logic Programming (1988) pp.70\u201381."},{"key":"e_1_2_1_5_2","doi-asserted-by":"crossref","unstructured":"T. P.Dobry A. M.DespainandY. N.Patt \u2018Performance studies of a Prolog machine architecture\u2019 12th Annual Symposium on Computer Architecture (1985) pp.180\u2013190.","DOI":"10.1145\/327070.327161"},{"key":"e_1_2_1_6_2","first-page":"547","volume-title":"Extraction and Organization of Form Features","author":"Henderson Mark R.","year":"1986"},{"key":"e_1_2_1_7_2","unstructured":"VM\/Programming in Logic SH20\u20106541\u20100 IBM 1985."},{"key":"e_1_2_1_8_2","first-page":"601","volume-title":"An Introduction to Operating Systems","author":"Deitel Harvey M.","year":"1984"},{"key":"e_1_2_1_9_2","unstructured":"IBM Virtual Machine\/System Product General Information GC20\u20101838 IBM."},{"key":"e_1_2_1_10_2","unstructured":"SQL\/Data System: Concepts and Facilities Publication No. GH24\u20105013 IBM 1983."},{"key":"e_1_2_1_11_2","unstructured":"CADAM Installation Guide Document Number C\u2010200\u2013050\u20131 CADAM Inc. Burbank California."},{"key":"e_1_2_1_12_2","unstructured":"D.Simpson \u2018Macro geometry\u2014some basics\u2019 Technical Document CADAM Inc. 1983."},{"issue":"5","key":"e_1_2_1_13_2","first-page":"111","article-title":"\u2018Complex CAD software for the PC\u2019","volume":"5","author":"Hart Glenn","year":"1986","journal-title":"PC Magazine"},{"key":"e_1_2_1_14_2","unstructured":"ICAD System Description ICAD Cambridge Massachusetts 1987."},{"key":"e_1_2_1_15_2","volume-title":"A Practical Guide to Designing Expert Systems","author":"Weiss Sholom M.","year":"1984"},{"key":"e_1_2_1_16_2","first-page":"152","volume-title":"MEP report 8705","author":"Bond Alan H.","year":"1987"},{"key":"e_1_2_1_17_2","unstructured":"Alan H.BondandChen\u2010ChungKao \u2018The specification and use of design checking configurations\u2019 MEP report 8736 University of California Los Angeles 1987. Submitted to theJournal of Manufacturing Systems."},{"key":"e_1_2_1_18_2","unstructured":"Alan H.Bond Dong HunKim andBasukiSoetarman \u2018The Application of Prolog to intelligent CAD\/CAM\u2019 MEP report 8801 University of California Los Angeles 1988. To be submitted toIEEE Trans. Software Engineering."},{"key":"e_1_2_1_19_2","volume-title":"MEP report 8704","author":"Bond Alan H.","year":"1987"},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"K.Priess \u2018Constructing the 3\u2010D representation of a plane\u2010faced object from a digitized engineering drawing\u2019 Proc. AISB International Artificial Intelligence Conference Brighton England1980.","DOI":"10.1016\/0010-4485(80)90481-9"},{"key":"e_1_2_1_21_2","unstructured":"Alan H.BondandZiaAhmed \u2018Rule\u2010based automatic dimensioning\u2019 IEEE WESTEX Conference on Expert Systems Applications 1987 pp.128\u2013135."},{"key":"e_1_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/0954-1810(89)90023-X"},{"key":"e_1_2_1_23_2","volume-title":"\u2018Formal description of manufacturing features\u2019","author":"Bond Alan H.","year":"1987"},{"key":"e_1_2_1_24_2","unstructured":"Alan H.BondandRajanishJain \u2018The formal definition and automatic extraction of group technology codes\u2019 ASME Conference on Artificial Intelligence in Engineering 1988 pp.537\u2013542."},{"key":"e_1_2_1_25_2","unstructured":"Alan H.BondandRajanishJain \u2018The formal definition and automatic extraction of group technology codes\u2019 SME Meeting on Group Technology El Segundo September1987."},{"key":"e_1_2_1_26_2","unstructured":"Alan H.BondandKang J.Chang \u2018Knowledge\u2010based process planning for machining parts\u2019 International Journal for Artificial Intelligence in Engineering accepted for publication 1988."},{"key":"e_1_2_1_27_2","unstructured":"Alan H.BondandKang J.Chang \u2018Feature\u2010based process planning for machining parts\u2019 ASME Conference on Artificial Intelligence in Engineering 1988 pp.571\u2013576."}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380201006","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380201006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,22]],"date-time":"2023-10-22T07:23:36Z","timestamp":1697959416000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380201006"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,10]]},"references-count":26,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1990,10]]}},"alternative-id":["10.1002\/spe.4380201006"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380201006","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,10]]}}}