Введение к работе
... : \
i.l."-і!,''Л \
Актуальность темы. В последние годы, особенно с 1981 г.,
когда японцы объявили о выборе ими Пролога в качестве основного языка в проекте вычислительных систем пятого поколения, специалисты в области исскуственного интеллекта, информатики и вычислительной техники стали уделять все больше и больше внимания логическому программированию, сравнительно новому направлению в программировании.
Языки программирования, созданные в русле этого направления, принципиально отличаются от традиционных. Последние являются языками процедурного типа, т.е. составлая программы на этих языках, программист должен подробно описывать все шаги вычисления. Новые же языки заставляют программиста описывать ситуации и формулировать задачи, вместо того чтобы во всех деталях указывать способы решения этих задач. Система же будет решать заданные ей задачи. Ясно, что языки подобного типа представляют очень большой интерес для развития исследований в области исскуственного интеллекта, экспертных систем и информатики.
Цель работы. Основной целью нашего диссертационного исследования является выявление методологических основ логического программирования, строящегося на базе релевантной логики.
Задачи исследования:
Проанализировать главные подходы к построению семантики логических программ и сами эти семантики.
Построить релевантную семантику общих логических прог-оамм и применить ее к исследованию эквивалентности этих програти
Построить релевантную' семантику расширенных программ.
Показать, каким образом логические программы можно расс-
1 матривать как информационные состояния в смысле Белнапа .
- Описать для определенного класса расширенных программ
процедуру вычисления, соответствующую построенной семантике.
Методологической основой исследования являются диалектико-материалистические положения, согласно которым научные теории представляют собой определенные ступени познания мира и каждая научная теория базируется на определенных философских и методологических основаниях и предпосылках, которые могут быть применимы только к той области, где эти предпосылки имеют место.
Теоретическими основами диссертации являются фундаментальные исследования в области логического программирования, а также исследования советских логиков и ученых других стран по определению отношения логического следования.
Научная новизна работы. Основными результатами диссертационной работы являются:
построена релевантная семантика неподвижных точек общих программі доказана теорема о соответствии этой семантики теоретико-модельной семантике этих программ,
выявлены критерии, по которым можно заключить о различных типах эквивалентности общих логических программ,
предложен новый подход к определению отношения логического следования, выявлена сущность модельных структур и некоторых других конструкций в формальных семантиках релевантных ло-
-1 См. Белнап Н. "Как нужно рассуждать компьютеру" // Белнап Н.,
Стил Т. Логика вопросов и ответов, М.,1981, с.208-209.
гических систем, в частности тенарного отношения достижимости между возможными мирами,
построена релевантная семантика неподвижных точек расширенных программ, доказана теорема о соответствии этой семантики теооетико-моделыго"' семантике этих программ,
показано, что логические программы могут быть определенным образом представлены в виде информационных состояние,
описана процедура вычисления для определенного класса расширенных программ, соответствующая построение'* релевантно'! семантике этих програли.
Практическая значимость работы. Результаты ксслодочаннн могут быть применимы дчя создания и совершенствования новых конструкции в языках логического программирования, іоедставденнне з диссертации результаты могут быть испочьзозаны и при чтении спецкурсов по релевантной логике и соуп^>\хЬь science.
Апробация работы. Результати исследований по тегле диссертации докладываяись и обсундались на теоретическом семинаре кафедры логики "илосотского "акультета '..ТУ.
Оо теме диссертации опубликованы иве печатные работы.
Объем и структура работы. Диссертация изложена на 100 страницах машинописного текста. Она состоит из введения, трех глав '00 гтаоагра"оз/, заключения и списка литературы. Описок литературы включает 100 найменованії1 нї русском ч английском языках.
