DocumentCode
2865089
Title
A Semilattice Model for the Theory Grid
Author
Cheng, Jingde
Author_Institution
Saitama Univ., Saitama
fYear
2007
fDate
29-31 Oct. 2007
Firstpage
152
Lastpage
157
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SKG.2007.94
Filename
4438526
Link To Document