×

数学ZBZ-数学第一资源

基于KQML和OMRS的数学服务通信协议。(英语) Zbl 0986.68003
Kerber,Manfred(ed.)等人,《符号计算和自动推理》。CALCULEMUS-2000专题讨论会。第八届符号计算与机械化推理整合研讨会,苏格兰圣安德鲁斯,英国,2000年8月6日至7日。马萨诸塞州纳蒂克:A.K.彼得斯。33-48(2001年)。
基于开放式知识操作和通信服务的数学操作和形式化服务描述。这种说法是,数学服务的通信协议的交互级别可以是相对通用的(因此KQML就足够了),只要数学服务的计算行为和内部状态的本体足够表达和简洁(我们在OMRS中就有)。
本文的内容是对OMRS中交互层定义的探索性的第一步,给出了基于OPENMATH标准的具体语法,并给出了分布式定理证明和符号计算环境下数学服务通信的语义。
整个系列请参见[Zbl 0962.00008号].

理学硕士:
68M12 网络协议
PDF格式 BibTeX公司 XML 引用