Search academic texts

Registration Number

0401U001986, Candidate dissertation

Title

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

Author

Samofalov Pavlo Leonidovych,

popup.head Дюбко Геннадій Федорович
popup.opponent Горбенко Іван Дмитрович
popup.opponent Ситнікова Поліна Едуардівна

Status

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

Date

30-05-2001

Description

Дисертація присвячена методиці використання таблиць рішень (ТР) для уявлення знань і керування виводом у формальних системах. Розглянуто застосування ТР в експертних системах, в описі мови, керуванні виводом. Розроблено мовні засоби для формування і реалізації ТР, які м. б. використані для уявлення знань, керування виводом, специфікації програм. Реалізовано систему синтезу програм за ТР, застосований в автоматизованій банківській системі "Б2".