Николай Михайлович Глазунов

Список литературы:

1. А. Черч. Введение в мат. Логику

2. К. Хоглер. Введение в логическое программирование.

2.09.2011

Интеллект – возможность понять взаимосвязь имеющихся фактов так, чтобы направить их на осуществление цели.

Интеллект – возможность справится с любой ситуаций путем осуществления соответствующе линии поведения.

Источники искусственного интеллекта:

1. Тюринг

2. Распознавание образов

3. Доказательство теоремы

16.09.2011 Вивід знань

Логический вывод – это процесс получения некоторого предложения s исходя из множества предложений S путем применения одного или нескольких правил вывода. Цель вывода состоит, как правило, в том чтобы доказать справедливость отношения S -> s (логический вывод).

Правильно построенные формулы это формулы, которые строятся из логических констант или переменных, с помощью операции НЕ, И, ИЛИ.

Денотат – объект, который имеет имя.

Термин константа будет синонимом для выражения (собственное имя имеющее денотат).

Переменная есть символ, содержание которого совпадает с содержанием собственного имени или константы, за исключением лишь того что единственный денотат константы заменен здесь возможностью различных значений переменной. С переменной связывается несколько возможных значений.

Выражение, получаемое из составного имени при замене одного из составляющих имен на переменную, называется формулой.

Функцией мы будем называть операцию, которая будучи применена к чему-то, как к аргументу, дает некоторую вещь в качестве значения функции для данного аргумента. Вещи, к которым функция применима, составляют область определения функции, а значения составляют область значений функции.

Бинарная функция характеризуется тем, что она применима к двум аргументам, взятых в определенном порядке.

Собственными символами мы называем исходные собственные имена и переменные.

Не собственные символы (например, скобки и т.д.) это такие символы, которые не имеют самостоятельного содержания, но в сочетание с собственными символами образуют сложные выражения, уже имеющие самостоятельное содержание.

Связки – комбинации не собственных символов, которые в сочетании с одной или многими константами (формами) образуют новые константы.

Константы или формы соединяемые связкой с целью получения результирующей константы или формы, называются операндами.

Логистический метод

Если мы используем, какой либо язык для того, чтобы говорить об этом или каком-нибудь другом языке, то последний мы называем языком объектом, или объектным языком, а первый называем метаязыком.

Для использования логистического метода сначала строится логистическая система языка: слова языка задается тем, что выписываются отдельные символы, которые будут употребляться, они называются исходными символами.

А) для построения языка никогда не используются части символов;

Б) любую последовательность можно представить в виде последовательностей этих символов.

Конечная линейная последовательность исходных символов называется формулой.

ППФ – правильно построенная формула.

По определенным правилам из числа всех формул выделяются правильно построенные формулы (ППФ) с целью, грубо говоря, только ППФ считать собственным выражением языка. После этого некоторые из числа ППФ объявляются аксиомами.

И наконец, устанавливается (исходное правило вывода), по которым из соответствующих ППФ, как из посылок, непосредственно выводятся или непосредственно следуют как заключение, некоторые ППФ.

Это исчисление имеет три не собственных символа P1

1. [ -> ]

2. f

3. p, q, p, r

Аксиомы:

1. [P -> [q -> p]]

2. S -> [p->q] -> [s -> p -> [s -> q]]

3. [[[ p-> f] -> f] ->p ]

Правила вывода:

1. (модус поненс)

2. если b переменная, то из А следует

Правило модус толленс

~ - отрицание

Правило резолюции:

30.09.2011

Логический вывод это процесс получения некоторого предложение S исходя из множества предложения большое путем применения одного или нескольких правил вывода, цель вывода состоит, как правило в том что бы доказать справедливость отношения.

S|- S (Логическое влечет)

(S|=S)

Денотат – это объект который имеет имя.

Константа – будет синонимом для выражения “собственное имя, имеющее денотат”

Переменная – есть символ содержание которого совпадает с содержанием собственного имени и константы за исключением того что единственный денотат константы заменен здесь возможности различием значений переменой . С переменой связывается некоторая не пустая область ее значений выражение получаемое с основного имени при заменен одного из составляющих имен называется формой.

Функция – это операция которая будучи применена к чему то как к аргументу дает некоторую вещь в качестве значений функций для некоторого аргумента. Область Ф(Х). Аналогично определяется бинарная функция для двух аргументов характеризующаяся тем что она применимая к двум аргументам взятым в одном порядке.

Собственными символами мы называем имена и переменные, не собственные символы это такие символы которые на имеют самостоятельного содержания но в сочетании с собственными символами имеют свое содержание.

Связки - комбинации не собственных символов в сочетании с другими или многими константами образуют новые константы.

Константы или формы соединяемые связкой с целю получения константы или формы называется операндами.

Логистический метод – если мы используем какой либо язык для того, что бы говорить об этом или каком ни будь другом языке то последний мы называем языком объектов(объектными языками), а первым мета языком(природные языки).

Сначала строится логическая структура языка сначала определяются

Конечная линейная последовательность исходных символов называется формулой.

2х , хЭз – конечная линейная последовательность.

Определенным правилом из числа всех формул выделяется ППФ (с целью только правильно построенные формулы считаются собственными языка).

С числа правильно построенных формул выделяться формулы(и в конечном из советующих формул как и с посылок непосредственно выводятся и не посредственно следует как заключение ППФ – правильно построенные формулы)

П1 –это исчисление имеет три несобственных символа 1) [)] –импликация

2) f

3) p ,q

1) отдельно стоящие константы

2) А , В –ППФ

Аксиомы [Р)[ку > р]]

s>[p>q]>[s]p][S>q]]

[[p>f]>f]>p]

1)

A, A>B

B

2)S_B^bA – Если в передается то А следует S_B^bA

Правило вывода

~ - отрицание

~А,А>В

~В

1) Резольвента

2) Правило Резолюции

 3) Клауза

А. Черг введение в мат логику

К. Хогпер введение в логическое программирование

Брастко ИИ П на Прологе

CLIPS:

>(assert (color green))

<fact 0>

>(assert (color red))

<fact 1>

>(redtact 0)

>(facts)

f -1(color red)

(defrule duck

(animal-is duck)

=>

(assert (sound-is gack)))

if<patern>then<action>

14.10.2011

План:

1. Рекурсия

2. Унификация термов первого порядка

3. Подстановки

4. Рекурсивные типы и структуры данных

Рекурсивной называется функция, которая вызывает сама себя, не завершив свое выполнение.

Частичной называется функция, которая определена не везде (не на всех множествах). Пример, функция 5-7 (x-y) равна -2, что не определено на множестве натуральных чисел N.

Выполнимость, означает, что для некоторого высказывания существует модель.

Формула называется выполнимой, если для нее существует модель.

Унификация в компьютерных науках или в логике – алгоритмический процесс, посредством которого мы пытаемся решить проблему выполнимости. Целью унификации есть нахождение подстановки, которое демонстрирует, что два, на первый взгляд, различных терма на самом деле идентичны или равны. Унификация широко используется в автоматическом доказательстве теорем, логическом программировании и в реализации в языках программирования систем типов.

Синтаксическая унификация. При данной унификации мы хотим показать, что пара термов идентична.

Первое формальное исследование унификации было выполнено Джоном Робинсоном, который использовал унификацию первого порядка как базисный блок своего метода резолюции для логики первого порядка.

В компьютерных науках дерево поиска – структура данных в виде бинарного дерева, в котором узлы значения данных запомнены в виде некоторого упорядоченного множества, таким способом, что поиск по этому дереву, осуществляется согласно порядку, в котором эти узлы запоминались.