亚历山德罗·阿曼多；迈克尔·科尔哈斯；西尔维奥·兰伊斯 基于KQML和OMRS的数学服务通信协议。 （英语） Zbl 0986.68003号 Kerber，Manfred（编辑）等人，《符号计算和自动推理》。CALCULEMUS-2000研讨会。第八届符号计算与机械化推理集成研讨会，苏格兰圣安德鲁斯，英国，2000年8月6-7日。马萨诸塞州纳蒂克：A.K.彼得斯。33-48 (2001). 摘要：我们描述了基于KQML（知识查询和操作语言）和OMRS（开放式机械化推理系统）的数学服务通信协议的第一种形式化思想。其主张是，只要数学服务的计算行为和内部状态的本体具有足够的表达力和简洁性（我们在OMRS中有），数学服务的通信协议的交互级别可以是相对通用的（因此KQML就足够了）。本文提供的材料是OMRS中交互层定义的第一步，提供了基于OPENMATH标准的具体语法，并给出了分布式定理证明和符号计算环境中数学服务通信的语义。有关整个系列，请参见[兹比尔0962.00008]. 引用于1文件 MSC公司： 68个M12 网络协议 关键词：开放式机械化推理系统 软件：OMDoc公司；繁荣；OMRS公司；KQML公司 PDF格式BibTeX公司 XML格式引用 \textit｛A.Armando｝等人，在：符号计算和自动推理。CALCULEMUS-2000研讨会。第八届符号计算与机械化推理集成研讨会，苏格兰圣安德鲁斯，英国，2000年8月6-7日。马萨诸塞州纳蒂克：A.K.彼得斯。33-48（2001；Zbl 0986.68003）