The Theory Grid and Grid Theorists

Authors:
Jingde Cheng;Shinsuke Nara;Takahiro Koh;Yuichi Goto
Affiliations:
Saitama University, Japan;Saitama University, Japan;Saitama University, Japan;Saitama University, Japan
Venue:
SKG '06 Proceedings of the Second International Conference on Semantics, Knowledge, and Grid
Year:
2006

Citing 0
Cited 3

FreeEnCal: A Forward Reasoning Engine with General-Purpose

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing

KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Autonomous Evolutionary Information Systems and Active Database Systems: A Comparative Study

Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.