Title :
A Semilattice Model for the Theory Grid
Author_Institution :
Saitama Univ., Saitama
Abstract :
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, general- purpose 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.
Keywords :
formal logic; grid computing; application program; formal logic system; grid computing; question proposition; semilattice model; theorem discovery; Application software; Automatic control; Computer interfaces; Explosives; Grid computing; Logic; Power system modeling; Problem-solving; Protocols; Resource management;
Conference_Titel :
Semantics, Knowledge and Grid, Third International Conference on
Conference_Location :
Shan Xi
Print_ISBN :
0-7695-3007-9
Electronic_ISBN :
978-0-7695-3007-9
DOI :
10.1109/SKG.2007.94
