{"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}
引用次数: 21
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.<>