逻辑知识库的模块化

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering Pub Date : 1992-06-15 DOI:10.1109/SEKE.1992.227943

G. Antoniou

{"title":"逻辑知识库的模块化","authors":"G. Antoniou","doi":"10.1109/SEKE.1992.227943","DOIUrl":null,"url":null,"abstract":"The author argues that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, he introduces a module concept with formal interfaces, and gives semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. He discusses how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.<<ETX>>","PeriodicalId":191866,"journal":{"name":"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Modularity for logical knowledge bases\",\"authors\":\"G. Antoniou\",\"doi\":\"10.1109/SEKE.1992.227943\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The author argues that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, he introduces a module concept with formal interfaces, and gives semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. He discusses how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.<<ETX>>\",\"PeriodicalId\":191866,\"journal\":{\"name\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-06-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEKE.1992.227943\",\"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 Fourth International Conference on Software Engineering and Knowledge Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEKE.1992.227943","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

作者认为，模块化对于大规模基于知识的系统的设计、验证和维护至关重要。在软件模块和代数规范工作的激励下，他引入了具有正式接口的模块概念，并基于逻辑编程给出了这些模块的语义和正确性概念。单个模块通过其接口与环境通信。他讨论了如何通过所谓的模块操作从单个模块构建模块化系统，并推导了有关语义组合性和正确性保持的组合操作结果。

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

查看原文本刊更多论文

Modularity for logical knowledge bases

The author argues that modularity is essential for the design, verification, and maintenance of large-scale knowledge based systems. Motivated by work on software modules and algebraic specification, he introduces a module concept with formal interfaces, and gives semantics and correctness notions for such modules based on logic programming. Single modules communicate with their environment by their interfaces. He discusses how modular systems can be built from single modules by means of so-called module operations, and derive for the composition operation results concerning compositionality of semantics and correctness preservation.<>

求助全文

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

来源期刊

Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering

自引率

0.00%

发文量