{"title":"flex/Prolog和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":"{\"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}","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}
Comparative study of two knowledge-based development systems: flex/Prolog and ATOME/LISP
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.