ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00130.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

摘要:

Abstract:In this paper we take up the plight of the programmer of a rule based language. Our focus is on the type of development environment that is most supportive of such programmers. Our view will be that programming is programming, whether it be with a rule based, functional or imperative language. While it is true that rule based languages have strong links to the Expert Systems field, our discussion in this paper has less to do with ‘expert systems’ per se1, and more to do with the view of rule based languages as yet another computational paradigm, often included under the same roof with non‐rule‐based languages. Just as programming environment research has progressed for non‐rule‐based languages, we would like to build more powerful environments in the rule based world as well. We report here on an attempt to build such an e

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00131.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

摘要:

Abstract:This paper describes an initial evaluation of a deep knowledge representation technique called Incremental Qualitative Analysis (IQA) to assess whether it is reasonably able to discriminate between different behaviours and hence different faults on a power plant. As an example the detection and diagnosis of faults in a PWR pressuriser sub‐system have been implemented in Prolog and evaluated using transients from a reference computer model of a pressuriser in conjunction with an input processor. The application differs from earlier systems for diagnosing faults in electronic hardware in that it is necessary to represent external feedback, two‐way components and sensor failures. The diagnosis is by synthesis and uses ‘constraint satisfaction and suspension’ techniques. For the present implementation all imposed faults have been successfully detected and diagnosed with reasonable determinacy, and a spurious detection has never occurred. IQA appears to be a suitable basis for knowledge‐based operator aids although to produce a real‐time aid appears to require more sophisticated techniques for fault detection and diagnosis, such as ‘constraint propagation’ and ‘candidate generation”. These techniques also offer the prospect of providing pseudo‐causal explanations to jus

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00132.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

摘要:

Abstract:This paper describes an inference system which lends itself to graphical representation. An implementation of the system is described, and its application in a legislation based domain is illustrated. The methodology for knowledge elicitation which the system is intended to support is briefly indicated. The algorithm is described, and semantics for the system are given.

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00133.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

摘要:

KEE is produced by IntelliCorp Inc., 1975 El Camino Real West, Mountain View, CA 94040‐2216, USA and IntelliCorp Ltd., Runnymede Malthouse, Runnymede Road, Egham, Surrey, TW20 9BO, Englan

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00134.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00135.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY

ISSN:0266-4720    

DOI:10.1111/j.1468-0394.1987.tb00136.x

出版商:Blackwell Publishing Ltd    

年代:1987

数据来源: WILEY