The SAD System in Three Dimensions

Author

Anisimov, Anatoly ; Lyaletski, Alexander

Author_Institution

Fac. of Cybern., Kyiv Nat. Taras Shevchenko Univ.

fYear

2006

fDate

26-29 Sept. 2006

Firstpage

85

Lastpage

88

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SYNASC.2006.75

Filename

4090302