A Semilattice Model for the Theory Grid

摘要：

The Theory Grid is a formal theory infrastructure that coordinates various formal theories represented by and based on various formal logic systems in a grid computing environment using standard, open, generalpurpose protocols and interfaces to meet demands of its application programs for theorem discovery and/or question proposition. The Theory Grid needs a formally and precisely defined model to represent the relationships among fragments of various formal theories. This paper presents a semilattice model for the Theory Grid.

关键词： Knowledge grid Knowledge sharing Formal theory infrastructure Automated theorem finding Automated question proposing.

作者: Jingde Cheng

作者单位: Department of Information and Computer Sciences, Saitama University, Japan

会议类型: 国际会议

会议名称: 2007年第三届语义和知识网格国际会议(Third International Conference on Semantics,Knowledge,and Grid)(SKG 2007)

会议地点: 西安

会议语种:英文

在线出版日期: 2007-10-29（万方平台首次上网日期，不代表论文的发表时间）