{"title":"Comparative study of two knowledge-based development systems: flex/Prolog and ATOME/LISP","authors":"Jean-Marie Dirand, V. Chevrier, R. González-Rubio","doi":"10.1109/CCECE.1995.526411","DOIUrl":null,"url":null,"abstract":"To illustrate the approaches of the Quintus flex/Prolog system and the Nancy University blackboard-based applications generator, the authors undertake a comparison of modules of an expert system for electric transformer design, implemented on the respective development systems. After setting some typical instances in context, they present the different implementations at the levels of knowledge representation, management of control in the reasoning process, and the treatments themselves. The approaches are compared in terms of ease of knowledge modelling and structuring, control of reasoning, and capacity of treatment.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CCECE.1995.526411","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
To illustrate the approaches of the Quintus flex/Prolog system and the Nancy University blackboard-based applications generator, the authors undertake a comparison of modules of an expert system for electric transformer design, implemented on the respective development systems. After setting some typical instances in context, they present the different implementations at the levels of knowledge representation, management of control in the reasoning process, and the treatments themselves. The approaches are compared in terms of ease of knowledge modelling and structuring, control of reasoning, and capacity of treatment.