{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T05:16:30Z","timestamp":1672290990593},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"63","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGART Bull."],"published-print":{"date-parts":[[1977,6]]},"abstract":"\n Some scientific inference tasks (including mass spectrum identification DerzdrczL, medical diagnosis\n Mycin<\/jats:italic>\n , and math theory development\n AM<\/jats:italic>\n ) have been successfully modelled as rule-directed search processes. These rule systems are designed quite differently from \"pure production systems\". By concentrating upon the design of one program (AM), we shall show how 13 kinds of design deviations arise from (\n i<\/jats:italic>\n ) the level of sophistication of the task that the system is designed to perform, (\n ii<\/jats:italic>\n ) the inherent nature of the task, and (\n iii<\/jats:italic>\n ) the designer's\n view<\/jats:italic>\n of the task. The limitations of AM suggest even more radical departures from traditional rule system architecture. All these modifications are then collected into a new, complicated set of constraints on the form of the data structures, the rules, the interpreter, and the distribution of knowledge between rules and data structures. These new policies sacrifice uniformity in the interests of clarity, efficiency and power derivable from a thorough characterization of the task. Rule systems whose architectures conform to the new design principles will be more awkward for many tasks than would \"pure\" systems. Nevertheless, the new architecture should be significantly more powerful and natural for building rule systems that do scientific discovery tasks.\n <\/jats:p>","DOI":"10.1145\/1045343.1045355","type":"journal-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T18:32:02Z","timestamp":1169058722000},"page":"23-23","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Designing a rule system that searches for scientific discoveries"],"prefix":"10.1145","author":[{"given":"Douglas B.","family":"Lenat","sequence":"first","affiliation":[{"name":"Carnegie-Mellon University, Pittsburgh, PA"}]},{"given":"Gregory","family":"Harris","sequence":"additional","affiliation":[{"name":"Carnegie-Mellon University, Pittsburgh, PA"}]}],"member":"320","published-online":{"date-parts":[[1977,6]]},"container-title":["ACM SIGART Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1045343.1045355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T14:48:29Z","timestamp":1672238909000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1045343.1045355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1977,6]]},"references-count":0,"journal-issue":{"issue":"63","published-print":{"date-parts":[[1977,6]]}},"alternative-id":["10.1145\/1045343.1045355"],"URL":"https:\/\/doi.org\/10.1145\/1045343.1045355","relation":{},"ISSN":["0163-5719"],"issn-type":[{"value":"0163-5719","type":"print"}],"subject":[],"published":{"date-parts":[[1977,6]]},"assertion":[{"value":"1977-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}