Title :
The Theory Grid and Grid Theorists
Author :
Cheng, Jingde ; Nara, Shinsuke ; Koh, Takahiro ; Goto, Yuichi
Author_Institution :
Dept. of Inf. & Comput. Sci., Saitama Univ., Saitama, Japan
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.
Keywords :
grid computing; grid theorist; shared formal theory; theory grid; virtual organization;
Conference_Titel :
Semantics, Knowledge and Grid, 2006. SKG '06. Second International Conference on
Conference_Location :
Guilin
Print_ISBN :
0-7695-2673-X
DOI :
10.1109/SKG.2006.104
