朝向指定专家系统的一般方法

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI:10.1109/TAI.1991.167103

Jonathan Lee, J. Yen

{"title":"朝向指定专家系统的一般方法","authors":"Jonathan Lee, J. Yen","doi":"10.1109/TAI.1991.167103","DOIUrl":null,"url":null,"abstract":"A general methodology for specifying both the model and the process knowledge of an expert system at different abstraction levels is proposed. Specifications are acquired and organized around the general notion of a task. The model specification of a task describes a partial model of the application domain and a partial model of the problem solving states relevant to the task. The process specification of a task describes states before, during, and after the task as well as task state expression to describe the behavior. A piece of abstract specification can be refined to a more detailed specification. Specifications at different abstraction levels can be verified for their consistency and completeness.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Toward a general methodology for specifying expert systems\",\"authors\":\"Jonathan Lee, J. Yen\",\"doi\":\"10.1109/TAI.1991.167103\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A general methodology for specifying both the model and the process knowledge of an expert system at different abstraction levels is proposed. Specifications are acquired and organized around the general notion of a task. The model specification of a task describes a partial model of the application domain and a partial model of the problem solving states relevant to the task. The process specification of a task describes states before, during, and after the task as well as task state expression to describe the behavior. A piece of abstract specification can be refined to a more detailed specification. Specifications at different abstraction levels can be verified for their consistency and completeness.<<ETX>>\",\"PeriodicalId\":371778,\"journal\":{\"name\":\"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91\",\"volume\":\"41 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1991.167103\",\"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] Third International Conference on Tools for Artificial Intelligence - TAI 91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1991.167103","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

提出了在不同抽象层次上确定专家系统的模型和过程知识的通用方法。规范是根据任务的一般概念获得和组织的。任务的模型规范描述了应用程序域的部分模型和与任务相关的问题解决状态的部分模型。任务的过程规范描述了任务前、任务中、任务后的状态，以及描述行为的任务状态表达式。一份抽象的规范可以被细化为更详细的规范。可以验证不同抽象级别的规范的一致性和完整性。

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

查看原文本刊更多论文

Toward a general methodology for specifying expert systems

A general methodology for specifying both the model and the process knowledge of an expert system at different abstraction levels is proposed. Specifications are acquired and organized around the general notion of a task. The model specification of a task describes a partial model of the application domain and a partial model of the problem solving states relevant to the task. The process specification of a task describes states before, during, and after the task as well as task state expression to describe the behavior. A piece of abstract specification can be refined to a more detailed specification. Specifications at different abstraction levels can be verified for their consistency and completeness.<>

求助全文

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

来源期刊

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91

自引率

0.00%

发文量