Search academic texts

Information × Registration Number 0508U000153, Doctoral dissertation Status д.т.н. Date 28-02-2008 popup.evolution o Title Logical-computing Semantic Network as the Model of Knowledge Representation Author Yalovets Andriy Leonidovich, popup.head Kondraschenko Volodimir Yakovich popup.opponent Перевозчикова Ольга Леонідівна popup.opponent Анісімов Анатолій Васильович popup.opponent Тоценко Віталій Георгійович Description Розроблено нову модель подання знань - логіко-обчислювальну семантичну мережу (ЛОС-мережу), для якої розроблено сукупність методів обробки: метод прямого логічного виводу, метод побудови початкового стану процесу виводу, методи статичної верифікації знань та метод генерації множини тестових випадків . На основі розроблених моделі і методів створено програмно-інструментальне середовище подання та обробки знань. Registration Date 2008-02-28 popup.nrat_date 2020-04-04 Close