A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing

Authors:
Jingde Cheng;Yuichi Goto;Shinsuke Nara;Takahiro Koh
Affiliations:
Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan;Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan;Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan;Department of Information and Computer Sciences, Saitama University, 338-8570 Saitama, Japan
Venue:
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Year:
2007

Citing 15
Cited 0

Scientific discovery: computational explorations of the creative process

Scientific discovery: computational explorations of the creative process
Automated reasoning: 33 BASIC research problems

Automated reasoning: 33 BASIC research problems
The grid: blueprint for a new computing infrastructure

The grid: blueprint for a new computing infrastructure
Viewpoint: From TeraGrid to knowledge grid

Communications of the ACM
Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving, and Polynomial Equations-Solving
Automated Development of Fundamental Mathematical Theories

Automated Development of Fundamental Mathematical Theories
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics
The knowledge grid

Communications of the ACM
Am: an artificial intelligence approach to discovery in mathematics as heuristic search.

Am: an artificial intelligence approach to discovery in mathematics as heuristic search.
The Grid 2: Blueprint for a New Computing Infrastructure

The Grid 2: Blueprint for a New Computing Infrastructure
The Theory Grid and Grid Theorists

SKG '06 Proceedings of the Second International Conference on Semantics, Knowledge, and Grid
The Knowledge Grid

The Knowledge Grid
Semantics and Knowledge Grids: Building the Next-Generation Grid

IEEE Intelligent Systems
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
Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning

Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII

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 a crowd of automated reasoning programs working based on the Theory Grid such that as the wisdom of crowds a grid theorist has the ability to find new theorems and propose new questions automatically or semi-automatically. The paper also presents an architecture of the Theory Grid and grid theorists, and major scientific challenges and technical issues in the implementation of the Theory Grid and grid theorists.