Title :
The SAD System in Three Dimensions
Author :
Anisimov, Anatoly ; Lyaletski, Alexander
Author_Institution :
Fac. of Cybern., Kyiv Nat. Taras Shevchenko Univ.
Abstract :
In this paper, the approach to the development of deductive assistance based on the current state of the System for Automated Deduction, SAD, is described briefly. The SAD may be considered as a three-dimensional "shell" for deductive assistance in a formal natural language environment when solving a number of scientific and industrial tasks requiring automated theorem proving, verification of formal texts, construction of knowledge bases for formalized theories, integration of symbolic calculation with deduction, and so on
Keywords :
formal verification; knowledge based systems; mathematics computing; natural language processing; symbol manipulation; theorem proving; 3D SAD system; System for Automated Deduction; automated theorem proving; deductive assistance; formal natural language environment; formal texts; knowledge bases; normalized theory; symbolic calculation; verification; Construction industry; Cybernetics; Formal verification; Internet; Libraries; Linux; Logic programming; Mathematics; Natural languages; Set theory;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
0-7695-2740-X
DOI :
10.1109/SYNASC.2006.75
