Методы представления знаний Формальные языки и формальные системы



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




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

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

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


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

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

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

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

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

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

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

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

    1. Язык исчисления предикатов 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   ...   17

Похожие:

Методы представления знаний Формальные языки и формальные системы iconРабочая программа дисциплины теория автоматов и формальных языков направление подготовки
Уметь: строить формальные грамматики, деревья вывода, распознающие автоматы; анализировать формальные языки
Методы представления знаний Формальные языки и формальные системы icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Методы представления знаний Формальные языки и формальные системы iconЛекция 4 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы iconЛекция 3 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы icon1. Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки
Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconКодирование информации
Представление информации. Язык как способ представления информации: естественные и формальные языки. Дискретная форма представления...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconЭкзаменационные билеты по информатике 9 класс
Понятие информации. Виды информации. Язык как способ представления информации. Естественные и формальные языки. Основные информационные...
Методы представления знаний Формальные языки и формальные системы iconФормальные модели программных агентов в задаче семантического индексирования документов
В работе рассматриваются формальные модели делиберативных агентов, т е агентов базирующихся на базируется на принципах и методах...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org