Samofalov P. Methods of application of the decision tables in formal deduction systems and program complexes

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0401U001986

Thesis Registration Form

0401U001986.pdf

Applicant for

Specialization

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

30-05-2001

Specialized Academic Board

Д 64.052.01

Kharkiv National University Of Radio Electronics

Essay

The thesis is devoted to the system and principles of using decision tables (DT) for knowledge representation and deduction control in formal systems. The application of the DT in expert systems, in the description of a language, and deduction control is considered. Language means for forming and realization of the DT are developed, which can be used for knowledge representation, deduction control, and program synthesis. The system for program synthesis with the use of DT is realized and applied in the automated banking system "B2".

Read more

Similar theses

0421U104038

Petrenko Maksym V.

Methods of integration of heterogeneous bibliographic data

0421U104040

Artabaev Yurii Z.

A technique for increasing the accuracy of integrated navigation systems based on predictive models using genetic algorithms.

0421U103593

Zubko Roman Anatoliyovych

Improving methods to increase the time efficiency of fractal image compression

0421U103401

Chystyakova Inna S.

Mapping method between the description logic and the relational data model.

0421U103320

Bielozorova Yana Andriivna

Method of application of wavelet analysis in problems of identification of speech information