摘要: Expert systems are built to solve problems in application areas for which 'good' algorithms are not known. These systems consist of a global data base of assertions, a set of rules that represent small bits of an expert's knowledg... 展开 Expert systems are built to solve problems in application areas for which 'good' algorithms are not known. These systems consist of a global data base of assertions, a set of rules that represent small bits of an expert's knowledge, and a control strategy for applying the rules to the assertions. Agendas are used to make the control strategy more efficient. Efficiency can be further increased by indexing the rules and assertions in various ways, one of which is frames. A system for deriving formal specifications from natural language requirements is presented as an example. (Author) 收起