谢尔盖·奥特西尔;克里斯托夫·本兹穆勒;多米尼克·迪特里希;马克·瓦格纳 在(Omega)mega中组织、转换和传播数学知识。 (英语) Zbl 1176.68207号 数学。计算。科学。 第2期,第253-277页(2008年). 概述:数学辅助系统和一般的证明辅助系统传统上都是作为大型、单片系统开发的,通常很难维护和扩展。在本文中,我们提出了一种组件网络体系结构,作为设计和实现此类系统的手段。在这种观点下,数学辅助系统是一个集成的基于知识的系统,由单个专门组件组成的网络。这些组件操作并相互交换编码在不同文档格式中的不同类型的数学知识。因此,在这些组件中,几个数学知识单元在整个系统中共存,并且随着时间的推移,这些知识会发生非单调的变化。我们的方法产生了一个精简且可维护的系统代码,并使系统开放以进行扩展。此外,它将全局复杂的推理和真理维护任务自然分解为系统组件内部的局部推理和真理保持任务。通过对编码不同类型数学知识的商定接口表示进行非单调更新,从而实现网络中相邻组件之间的相互作用。 引用于2文件 MSC公司: 68立方英尺 知识表示 68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等) 关键词:数学知识管理;校对助理;系统架构 软件:欧米茄;一般证明 PDF格式BibTeX公司 XML格式引用 \textit{S.Autexier}等人,《数学》。计算。科学。2,第2号,253--277(2008;Zbl 1176.68207) 全文: 内政部