对知识进行形式化和验证的结构化方法

[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs Pub Date : 1900-01-01 DOI:10.1109/DMESP.1991.171732

P. Merlevede, J. Vanthienen

{"title":"对知识进行形式化和验证的结构化方法","authors":"P. Merlevede, J. Vanthienen","doi":"10.1109/DMESP.1991.171732","DOIUrl":null,"url":null,"abstract":"A guideline for structuring and representing knowledge is introduced. The validation problem and how it can be solved using decision tables are addressed. In most cases, decision table engineering is able to provide extensive validation and verification assistance. Moreover, the knowledge acquisition process is well served through the overview and communication abilities of well-structured decision tables. The automated use of decision tables by means of a decision table engineering workbench, the main element behind the method, is shown.<<ETX>>","PeriodicalId":117336,"journal":{"name":"[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs","volume":"94 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"A structured approach to formalization and validation of knowledge\",\"authors\":\"P. Merlevede, J. Vanthienen\",\"doi\":\"10.1109/DMESP.1991.171732\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A guideline for structuring and representing knowledge is introduced. The validation problem and how it can be solved using decision tables are addressed. In most cases, decision table engineering is able to provide extensive validation and verification assistance. Moreover, the knowledge acquisition process is well served through the overview and communication abilities of well-structured decision tables. The automated use of decision tables by means of a decision table engineering workbench, the main element behind the method, is shown.<<ETX>>\",\"PeriodicalId\":117336,\"journal\":{\"name\":\"[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs\",\"volume\":\"94 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DMESP.1991.171732\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DMESP.1991.171732","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 21

摘要

介绍了知识的构造和表示准则。讨论了验证问题以及如何使用决策表来解决验证问题。在大多数情况下，决策表工程能够提供广泛的确认和验证协助。此外，通过结构良好的决策表的概述和沟通能力，知识获取过程得到了很好的服务。通过决策表工程工作台自动使用决策表，这是该方法背后的主要元素。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A structured approach to formalization and validation of knowledge

A guideline for structuring and representing knowledge is introduced. The validation problem and how it can be solved using decision tables are addressed. In most cases, decision table engineering is able to provide extensive validation and verification assistance. Moreover, the knowledge acquisition process is well served through the overview and communication abilities of well-structured decision tables. The automated use of decision tables by means of a decision table engineering workbench, the main element behind the method, is shown.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1991] Proceedings of the IEEE/ACM International Conference on Developing and Managing Expert System Programs

自引率

0.00%

发文量