一种形式化智能协作信息系统的多形式化方法

[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems Pub Date : 1993-05-12 DOI:10.1109/ICICIS.1993.291774

H. Bachatène, A. E. Seghrouchni

{"title":"一种形式化智能协作信息系统的多形式化方法","authors":"H. Bachatène, A. E. Seghrouchni","doi":"10.1109/ICICIS.1993.291774","DOIUrl":null,"url":null,"abstract":"We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specific problem solving strategies. Communication relies on service delimitation from internal structure. Dynamics is expressed with production rules in a constraint specification language. A translation method derives colored Petri nets describing system's behavior.<<ETX>>","PeriodicalId":270352,"journal":{"name":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A multiformalism approach to formalize intelligent cooperative information systems\",\"authors\":\"H. Bachatène, A. E. Seghrouchni\",\"doi\":\"10.1109/ICICIS.1993.291774\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specific problem solving strategies. Communication relies on service delimitation from internal structure. Dynamics is expressed with production rules in a constraint specification language. A translation method derives colored Petri nets describing system's behavior.<<ETX>>\",\"PeriodicalId\":270352,\"journal\":{\"name\":\"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICICIS.1993.291774\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICICIS.1993.291774","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

提出了一种将知识结构与智能合作相结合的多形式化方法来形式化合作信息系统。底层体系结构鼓励形式化和工具互操作性。基本构建块是知识库社会，由建模单元模型指定。协作由智能控制，通过元知识和具体的问题解决策略进行管理。通信依赖于内部结构的服务划分。动态用约束规范语言中的生产规则表示。一种翻译方法导出描述系统行为的彩色Petri网。

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

查看原文本刊更多论文

A multiformalism approach to formalize intelligent cooperative information systems

We present a multiformalism approach combining knowledge structure and intelligent cooperation, to formalize cooperative information systems. The underlying architecture encourages formalism and tool interoperability. The basic building block is the knowledge base society, specified by the modeling-unit model. Cooperation is managed by an intelligent control, by means of meta knowledge and specific problem solving strategies. Communication relies on service delimitation from internal structure. Dynamics is expressed with production rules in a constraint specification language. A translation method derives colored Petri nets describing system's behavior.<>

求助全文

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

来源期刊

[1993] Proceedings International Conference on Intelligent and Cooperative Information Systems

自引率

0.00%

发文量