Search academic texts

Information × Registration Number 0401U001986, Candidate dissertation Status к.т.н. Date 30-05-2001 popup.evolution o 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 Ситнікова Поліна Едуардівна Description Дисертація присвячена методиці використання таблиць рішень (ТР) для уявлення знань і керування виводом у формальних системах. Розглянуто застосування ТР в експертних системах, в описі мови, керуванні виводом. Розроблено мовні засоби для формування і реалізації ТР, які м. б. використані для уявлення знань, керування виводом, специфікації програм. Реалізовано систему синтезу програм за ТР, застосований в автоматизованій банківській системі "Б2". Registration Date 2001-05-30 popup.nrat_date 2020-04-04 Close