Yalovets A. Logical-computing Semantic Network as the Model of Knowledge Representation

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

Thesis for the degree of Doctor of Science (DSc)

State registration number

0508U000153

Thesis Registration Form

0508U000153.pdf

Applicant for

Specialization

  • 01.05.02 - Математичне моделювання та обчислювальні методи

28-02-2008

Specialized Academic Board

Д 26.185.01

Essay

The new model of knowledge representation - logical-computing semantic network (LCS-Network) is developed. For LCS-Network are developed: the forward-chaining method, the method of construction of an initial condition of process of the forward-chaining, methods of static verification of the knowledge submitted and the method of generation of set of test cases. On the basis of developed model and methods the program-tool environment of knowledge representation and processing.

Read more

Files

Dissertation_Yalovets.doc

autoreferat_Yalovets.doc

supplement_Yalovets.doc

Similar theses

0423U100159

Yuliya A. Senyk

Modeling and researching of size effects in electroconductive bodies

0523U100127

Kashpur Olena Fedorivna

Interpolation of operators in Hilbert and Euclidean spaces

0423U100110

Kurash Serhii Yu.

Mathematical modeling of the reaction of buildings and structures to explosive effects

0523U100103

Shevchenko Serhii Stanislavovich

Mathematical models of processes in centrifugal machines sealing systems

0523U100042

Melnyk Andriy Mykolayovych

Knowledge-driven software systems for interval analysis and modeling of complex objects