Лекции Г. С. Осипова icon

Лекции Г. С. Осипова



НазваниеЛекции Г. С. Осипова
страница1/14
Дата конвертации29.07.2012
Размер0.93 Mb.
ТипЛекции
  1   2   3   4   5   6   7   8   9   ...   14

Лекции Г.С. Осипова




Технология построения интеллектуальных систем.

Методы представления знаний

Формальные языки и формальные системы


Естественный язык: достоинства (и они же - недостатки): неполнота, избыточность, неоднозначность.

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

Необходимы языки, которые удовлетворяют следующим требованиям:

- однозначность каждого слова

- эксплицитность (абсолютная явность)

- последовательность (то есть невозможность использовать то, что не было определено ранее).

Такой язык является формальным, а при достаточном формализме – математическим.

Рассмотрим такой математический язык:

^

Язык исчисления предикатов 1-го порядка
Основные конструкции


Этот язык позволяет описывать простые утверждения и простые конструкции (формулы). Терминальные символы языка (термы) - символы, из которых он состоит. Рассмотрим алфавит языка:

  1. Задано счетное число (возможны индексы) символов из конца латинского алфавита: – множество символов для переменных.

  2. Задано счетное число (возможны индексы) символов из начала латинского алфавита: - множество констант.

  3. Задано счетное число (возможны индексы) прописных символов из середины латинского алфавита:- множество предикатных символов.

  4. Задано счетное число (возможны индексы) строчных символов из середины латинского алфавита: - множество функциональных символов.

  5. Заданы символы (влечет),(не),… - множество символов логических связок.

  6. - символы для кванторов.

  7. - скобки.


Символы могут быть n - арными.

Арность – то количество переменных или констант, которые следуют до закрывающих скобок (будем использовать бинарность).

Формулы языка определяются рекурсивно:

  1. Переменная есть терм.


  2. Константа есть терм.

  3. Если - терм, то -также терм.

  4. Если - термы, то - атомарные формулы.

  5. Атомарная формула есть формула.

  6. Если - формулы, то , , - также формулы.

  7. Если - формула, то - формула, - формула


Таким образом, мы дали определение языка исчисления предикатов1.

Заметим, что кванторы выражаются через остальные:

  1. "и":

  2. "или":

Если из формул исключить переменные, то есть в формулах – либо константы, либо формулы замкнуты, то значение истинности формулы зафиксируется, следовательно, имеем частный случай исчисления предикатов – исчисление высказываний. Высказывание – исчисление без переменных.

Введем аксиоматику исчисления высказываний:

1.

2.

3.

Постулаты Аристотеля

Пусть - пропозициональная переменная исчисления высказываний.



  1. - принцип исключенного третьего



В исчислении высказываний эти аксиомы обращаются в теоремы.
  1   2   3   4   5   6   7   8   9   ...   14




Похожие:

Лекции Г. С. Осипова iconДокументы
1. /стратегическое планирование лекции/стратегическое планирование лекции/img031.pdf
Лекции Г. С. Осипова iconДокументы
1. /К.П. Оптим/КР_2_1_штраф_ф.doc
2. /К.П....

Лекции Г. С. Осипова iconДокументы
1. /Лекции по фармакологии/1-й семестр/Адренергические вещества-1.doc
2. /Лекции...

Лекции Г. С. Осипова iconДокументы
1. /Лекции по фармакологии/1-й семестр/Адренергические вещества-1.doc
2. /Лекции...

Лекции Г. С. Осипова iconДокументы
1. /Вопросы к КР/Вопросы к КР1.doc
2. /Вопросы...

Лекции Г. С. Осипова iconДокументы
1. /ЛЕКЦИИ/2 ПЕРЕМЕННЫЙ ТОК/АЧХ RLC.doc
2. /ЛЕКЦИИ/3...

Лекции Г. С. Осипова iconДокументы
1. /Гражданское право - Осипова.txt
Лекции Г. С. Осипова iconЛекции по интеллектуальному поиску информации. Они не повторяют, а
Эти лекции, пусть прочтёт их ещё раз: повторение – мать учения
Лекции Г. С. Осипова iconДокументы
1. /Метрология лекции/A-DIAGR.DOC
2. /Метрология...

Лекции Г. С. Осипова iconА. И. на тему: «Системы управления и принятия решений в условиях конфликта» Предлагаемые лекции
Лекции д т н., профессора, академика Российской и Международной инженерных академий Яковлева А. И. на тему
Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов