[Текст] : сборник научных трудов / Научные
редакторы: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : Институт математики им. С.Л. Соболева, 1993. - 177 с. : ил., табл.,схемы. - (Вычислительные системы, ISSN 0568-661X ; вып.148). - Библиогр. в конце ст. - 3.00 р.
ББК З973.2
Аннотация: В сборник вошли работы по проблемам разработки логических средств построения языков спецификаций и логического программирования, включая работы по операционной и денотационной семантикам. Работы докладывались на семинаре "Прикладная логика". Цикл работ представляет исследования по семантическому программированию. Доказано усиление теоремы Спектра-Ганди для сигма-допустимых множеств из работы Лавинеса. Получен аналог теорем Левенгейма-Скулема и Мальцева для несчетных моделей, определимых в моделях типа HF. Построено представление сигма-программ в интуиционистской теории типов, которые может быть рассмотрено как еще одна стратегия исполнения сигмы-программ. Разработаны понятия и формальное исчисление сигма-спецификаций, реализующие идеологию доказательного программирования. В рамках логического программирования доказано, что оператор, представляющий конечные неудачи пересечения двух программ, равен объединению соответствующих операторов. Найдено усиление теоремы о непротиворечивости CWA-правила для индуктивных баз данных. По проблемам искусственного интеллекта построены рефлексивные исчисления для применения логического аппарата в экспертных системах. Построена общая схема рассуждений по аналогии. Разработаны вычислительные модели анализа закономерностей и предложена программная их реализация DISCOVERY. Для организации обработки булевых функций предложен метод полиномиальных разложений. Сборник рассчитан на специалистов, аспирантов и студентов по логическому программированию математических основ информатики и проблемам искусственного интеллекта и экспертных систем.
Держатели документа: ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-СИФ (1)
Свободны: ИВМ-СИФ (1)