作为需求说明和推理基础的混合知识表示

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence Pub Date : 1990-11-06 DOI:10.1109/TAI.1990.130312

J. Tsai, T. Weigert, Hung-Chin Jang

{"title":"作为需求说明和推理基础的混合知识表示","authors":"J. Tsai, T. Weigert, Hung-Chin Jang","doi":"10.1109/TAI.1990.130312","DOIUrl":null,"url":null,"abstract":"A hybrid knowledge representation technique is presented which is used as a basis of a requirement specification language FRORL, (frame-and-rule oriented requirements specification language). To easily represent the structure and behavior of a software system, the syntax of FRORL is based on the concepts of frames and production rules. The semantic interpretation of the FRORL language is defined using Horn-clause logic augmented with the concept of multiple inheritance. The completeness and soundness of the hybrid knowledge representation technique are proved. Based on the full machinery of Horn-clause logic, the FRORL specification modeling the world can be checked against the known constraints of a given domain, and the known facts pertaining to the software system.<<ETX>>","PeriodicalId":366276,"journal":{"name":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","volume":"92 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"A hybrid knowledge representation as a basis of requirement specification and reasoning\",\"authors\":\"J. Tsai, T. Weigert, Hung-Chin Jang\",\"doi\":\"10.1109/TAI.1990.130312\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A hybrid knowledge representation technique is presented which is used as a basis of a requirement specification language FRORL, (frame-and-rule oriented requirements specification language). To easily represent the structure and behavior of a software system, the syntax of FRORL is based on the concepts of frames and production rules. The semantic interpretation of the FRORL language is defined using Horn-clause logic augmented with the concept of multiple inheritance. The completeness and soundness of the hybrid knowledge representation technique are proved. Based on the full machinery of Horn-clause logic, the FRORL specification modeling the world can be checked against the known constraints of a given domain, and the known facts pertaining to the software system.<<ETX>>\",\"PeriodicalId\":366276,\"journal\":{\"name\":\"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence\",\"volume\":\"92 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1990.130312\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1990.130312","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

提出了一种混合知识表示技术，作为需求说明语言FRORL(面向框架和规则的需求说明语言)的基础。为了方便地表示软件系统的结构和行为，FRORL的语法基于框架和生产规则的概念。FRORL语言的语义解释使用霍恩子句逻辑和多重继承的概念进行定义。证明了混合知识表示技术的完备性和可靠性。基于霍恩子句逻辑的完整机制，FRORL规范可以根据给定领域的已知约束和与软件系统相关的已知事实来检查世界建模。

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

查看原文本刊更多论文

A hybrid knowledge representation as a basis of requirement specification and reasoning

A hybrid knowledge representation technique is presented which is used as a basis of a requirement specification language FRORL, (frame-and-rule oriented requirements specification language). To easily represent the structure and behavior of a software system, the syntax of FRORL is based on the concepts of frames and production rules. The semantic interpretation of the FRORL language is defined using Horn-clause logic augmented with the concept of multiple inheritance. The completeness and soundness of the hybrid knowledge representation technique are proved. Based on the full machinery of Horn-clause logic, the FRORL specification modeling the world can be checked against the known constraints of a given domain, and the known facts pertaining to the software system.<>

求助全文

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

来源期刊

[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence

自引率

0.00%

发文量