{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T13:11:30Z","timestamp":1711372290981},"reference-count":42,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":5536,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1994]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Design knowledge is continually refined and expanded through experience. This research is concerned with design knowledge expressed as constraints. A simple learning mechanism simulates an expert designer's ability to incrementally adjust her knowledge when presented with slightly new problems. In response to unsatisfied expectations during the design process the system will examine its general knowledge about the design artifact, discover some relevant constraining knowledge, and convert that knowledge into a design constraint for future use. This process, referred to as constraint inheritance, should automatically improve the problem-solving performance.<\/jats:p>","DOI":"10.1017\/s089006040000072x","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:47:22Z","timestamp":1270043242000},"page":"125-142","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge compilation using constraint inheritance"],"prefix":"10.1017","volume":"8","author":[{"given":"Rosemary","family":"Chabot","sequence":"first","affiliation":[]},{"given":"David C.","family":"Brown","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S089006040000072X_ref041","volume-title":"Artificial Intelligence in Engineering Design","author":"Tong","year":"1992"},{"key":"S089006040000072X_ref039","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21626-2_30"},{"key":"S089006040000072X_ref038","first-page":"351","volume-title":"Intelligent Computer Aided Design","author":"Spillane","year":"1992"},{"key":"S089006040000072X_ref036","volume-title":"Dynamic Memory: A Theory of Reminding and Learning in Computers and People","author":"Schank","year":"1982"},{"key":"S089006040000072X_ref035","doi-asserted-by":"publisher","DOI":"10.1016\/1042-8143(91)90006-9"},{"key":"S089006040000072X_ref034","unstructured":"Pazzani M. (1986). Refining the knowledge base of a diagnostic expert system: An application of failure-driven learning. Proc. 5th Natl. Conf. AI, AAAI-86, 1029\u20131035."},{"key":"S089006040000072X_ref033","first-page":"221","volume-title":"The Psychology of Computer Vision","author":"Minsky","year":"1975"},{"key":"S089006040000072X_ref030","unstructured":"Liu J. , & Brown D.C. (1992). The generation of decomposition knowledge for near routine design problems. Proc. Int. Conf. Appl. AI Eng."},{"key":"S089006040000072X_ref029","doi-asserted-by":"crossref","unstructured":"Laird P. (1992). Dynamic optimization. Proc. 9th Int. Workshop on Machine Learning, ML92, 263\u2013272.","DOI":"10.1016\/B978-1-55860-247-2.50039-5"},{"key":"S089006040000072X_ref027","unstructured":"Klein D. , & Finin T. (1987). What's in a deep model? A characterization of knowledge depth in intelligent safety systems. Proc. 10th Int. Joint Conf. AI, 559\u2013562."},{"key":"S089006040000072X_ref026","unstructured":"Keller R.M. , Baudin C. , Iwasaki Y. , Nayak P. , & Tanaka K. (1989). Compiling special-purpose rules from general-purpose device models. Report No. KSL 89\u201349, Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Stanford, CA."},{"key":"S089006040000072X_ref005","first-page":"17","volume-title":"Intelligent CAD, III","author":"Brown","year":"1991"},{"key":"S089006040000072X_ref032","doi-asserted-by":"crossref","unstructured":"Meehan E. , & Brown D.C. (1990). Constraint absorption and relaxation using a design history. Proc. ASME Design Theory Method. Conf., 193\u2013202.","DOI":"10.1115\/DETC1990-0126"},{"key":"S089006040000072X_ref037","unstructured":"Sloan W. (1988). Constraint Migration: A Failure-Based Method of Knowledge Adjustment in Routine Design Expert System. M.S. Thesis, Computer Science Dept., WPI."},{"key":"S089006040000072X_ref004","volume-title":"NSF Engineering Design Research Conference","author":"Brown","year":"1989"},{"key":"S089006040000072X_ref031","volume-title":"Preprints of the Machine Learning in Design Workshop","author":"Maher","year":"1992"},{"key":"S089006040000072X_ref017","unstructured":"Edelson D. (1992). When should a cheetah remind you of a bat? Reminding in case-based techniques. Proc. 10th Natl. Conf. Artificial Intelligence, 667\u2013672."},{"key":"S089006040000072X_ref040","volume-title":"Artificial Intelligence in Engineering Design","author":"Tong","year":"1992"},{"key":"S089006040000072X_ref003","first-page":"99","volume-title":"Proc. 3rd IFIP WG 5.2 Workshop on Intelligent CAD","author":"Brown","year":"1989"},{"key":"S089006040000072X_ref010","first-page":"371","volume-title":"Machine Learning: An Artificial Intelligence Approach","author":"Carbonell","year":"1986"},{"key":"S089006040000072X_ref024","unstructured":"Horner R. (1989). Knowledge Compilation Using Constraint Inheritance. M.S. Thesis, Computer Science Dept., WPI."},{"key":"S089006040000072X_ref023","volume":"6","author":"Goel","year":"1991","journal-title":"IEEE Expert"},{"key":"S089006040000072X_ref015","first-page":"137","volume-title":"Proc. 1st IFIP WG 5.2 Workshop on Intelligent CAD, Intelligent CAD, I","author":"Dixon","year":"1987"},{"key":"S089006040000072X_ref042","doi-asserted-by":"crossref","unstructured":"Stauffer L. , & Slaughterbeck-Hyde R. (1989). The nature of constraints and their effect on quality and satisficing. Proc. ASME Design Theory Method. Conf., 1\u20137.","DOI":"10.1115\/DETC1989-0001"},{"key":"S089006040000072X_ref002","unstructured":"Brown D.C. (1985). Capturing mechanical design knowledge. Proc. ASME Int. Computers in Engineering Conf., 121\u2013129."},{"key":"S089006040000072X_ref014","first-page":"65","article-title":"Expert systems: How far can they go","volume":"10","author":"Davis","year":"1989","journal-title":"AI Magazine"},{"key":"S089006040000072X_ref012","unstructured":"Chandrasekaran B. , & Punch W.F. (1987). Data validation, a step beyond traditional sensor validation. Proc. 6th Natl. Conf. AI, AAAI-87, 778\u2013782."},{"key":"S089006040000072X_ref028","first-page":"29","volume-title":"Artificial Intelligence in Engineering: Diagnosis and Learning","author":"Kwauk","year":"1988"},{"key":"S089006040000072X_ref001","first-page":"207","volume-title":"Readings in Artificial Intelligence and Databases","author":"Brachman","year":"1989"},{"key":"S089006040000072X_ref006","volume-title":"Mechanical Design: Theory and Methodology","author":"Brown","year":"1994"},{"key":"S089006040000072X_ref025","volume-title":"Object-Oriented Programming in COMMON LISP: A Programmer's Guide to CLOS","author":"Keene","year":"1989"},{"key":"S089006040000072X_ref013","first-page":"360","volume-title":"The Handbook of Artificial Intelligence","author":"Cohen","year":"1982"},{"key":"S089006040000072X_ref016","unstructured":"Descotte Y. , & Latombe J.C. (1981). GARI: A problem-solver that plans how to machine parts. Proc. 7th Int. Joint Conf. AI, 766\u2013772."},{"key":"S089006040000072X_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21626-2_32"},{"key":"S089006040000072X_ref008","doi-asserted-by":"crossref","DOI":"10.1016\/B978-0-273-08766-3.50006-2","volume-title":"Design Problem Solving: Knowledge Structures and Control Strategies","author":"Brown","year":"1989"},{"key":"S089006040000072X_ref009","unstructured":"Brown D.C. , & Sloan W.N. (1987). Compilation of design knowledge for routine design expert systems: An initial view. ASME Computers Eng. Conf., 131\u2013136."},{"key":"S089006040000072X_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(83)80064-9"},{"key":"S089006040000072X_ref018","doi-asserted-by":"publisher","DOI":"10.1145\/66443.66445"},{"key":"S089006040000072X_ref019","volume-title":"Towards a General Theory of Expertise","author":"Ericsson","year":"1991"},{"key":"S089006040000072X_ref020","unstructured":"Fisher D. , Subramanian D. , & Tadepalli P. (1992). An overview of current research on knowledge compilation and speedup learning. Proc. ML92 Workshop Knowledge Compilation and Speedup Learning."},{"key":"S089006040000072X_ref021","volume-title":"Modelling Creativity and Knowledge-Based Creative Design","author":"Gero","year":"1993"},{"key":"S089006040000072X_ref022","first-page":"367","volume-title":"Proc. 9th Int. Joint Conf. on AI","author":"Ginsberg","year":"1985"}],"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\/S089006040000072X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T12:53:01Z","timestamp":1711371181000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S089006040000072X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994]]}},"alternative-id":["S089006040000072X"],"URL":"https:\/\/doi.org\/10.1017\/s089006040000072x","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}