36242

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

Доклад

Информатика, кибернетика и программирование

Из множества формул выделяют подмножеств правильно построенных формул ППФ. определяется эффективная процедура позволяющая по данному выражению выяснять является ли оно ППФ в данной ФС. Выделено некоторое множество ППФ называемых аксиомами ФС. При этом должна иметься эффективная процедура позволяющая для произвольной ППФ решить является ли она аксиомой.

Русский

2013-09-21

36 KB

2 чел.

28. Формальная система в представлении знаний.

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

В формальной системе (ФС), оперирующей теми или иными символами, эти символы воспринимаются просто как элементы, с которыми обращаются согласно определенным правилам, зависящим только от формы выражений, образованных из символов.

Формальные системы - это аксиоматические системы, т.е. системы с наличием определенного числа исходных заранее выбранных и фиксированных высказываний, называемых аксиомами.

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

1.    Задано   некоторое   множество,   состоящее   из   конечного   или бесконечного числа элементов, которые носят название термов. Имеется другое конечное множество, элементы которого есть связки или операции.

2. Любую линейную упорядоченную совокупность термов и операций называют   формулой.    Из   множества   формул   выделяют   подмножеств правильно   построенных  формул  (ППФ).   Для  НПФ  задают  правила  их конструирования, т.е. определяется эффективная процедура, позволяющая по данному выражению выяснять, является ли оно ППФ в данной ФС.

3.  Выделено некоторое множество ППФ, называемых аксиомами ФС. При   этом   должна   иметься   эффективная   процедура,   позволяющая  для произвольной ППФ, решить, является ли она аксиомой.

4. Имеется конечное множество R1 , R2, ..., Rk отношений между ППФ называемых  правилами  вывода.  Понятие  "вывода"  также  должно  быть эффективным,     т.е.     должна    существовать    эффективная    процедура, позволяющая для произвольной конечной последовательности ППФ решать, можно ли каждый член этой последовательности вывести из одной или нескольких предшествующих ППФ посредством некоторых фиксированных правил вывода. Выводом ФС называется любая последовательность ППФ А1, А2, ..., Аn такая, что для любого i (i = 1,n) ППФ Аi- есть либо аксиома ФС, либо непосредственное следствие каких-либо предыдущих ППФ по одному из правил вывода.                                             *

Любая ФС задается четверкой <Т, Н, А, R> где Т - множество термов и операций; Н - множество правил конструирования ППФ; А - система аксиом; R - множество правил вывода. Сама формальная система не является ни языком, ни системой знания, она не содержит никаких утверждений об объектах, а является просто исчислением - некоторого рода действиями по определенным правилам над последовательностями термов.

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

Исчисление высказываний как формальная система.

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

Например: "Если студент ложится поздно спать и пьет кофе, то утром он встанет в плохом настроении или с головной болью". Это сложное высказывание состоит из следующих простых высказываний:

"Студент ложиться поздно спать"

"Студент пьет на ночь кофе"

"Утром студент встанет в плохом настроении"

" Утром студент встанет с головной болью"

Обозначив сложное высказывание через X, а простые соответственно через У, Z, U, V, можно записать

X = если У и Z, то U или V

Или X = (У^Z) → (UvV)

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

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

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

Формула исчисления высказываний называется противоречием, если она ложна во всех интерпретациях.


 

А также другие работы, которые могут Вас заинтересовать

50443. Синтез линейно-параметрических моделей детерминированных процессов 87 KB
  Пусть gt –непрерывный по времени детерминированный процесс заданный своим аналитическим выражение и –его изображение по Лапласу где характеристический многочлен его дифференциальной модели. Введение “n†новых переменных величин по правилу i=11n приводит к совокупной системе уравнений для Выражения 5 и 6 определяют структуру полученной дифференциальной динамической модели детерминированного процесса gt: система уравнений 5 представляет собой динамический блок формирования...
50444. Моделирование стационарных случайных процессов 231 KB
  Получение реализации стационарного случайного процесса с заданными вероятностными свойствами основано на линейном преобразовании случайной функции. Вычисление ковариационной функции выходного процесса приводит к цепочке равенств 3 учитывая что получим следующее выражение: 4 По определению дисперсия выходного сигнала равна: 5 Из выражения 5 следует что для вычисления дисперсии выходного сигнала знания дисперсии входного сигнала недостаточно а необходимо располагать его ковариационной...
50445. Статистические модели сигналов в линейных системах 527 KB
  Пусть случайный стационарный процесс заданный своим математическим ожиданием 1 и ковариационной функцией 2 поступает на вход стационарной линейной системы с весовой функцией . Соотношение входвыход в установившемся режиме равно = 3 Из выражения 3 следует что математическое ожидание сигнала на выходе системы . 4...
50446. Статистические модели сигналов в линейных системах 5.07 MB
  Пусть стационарный случайный процесс заданный своим математическим ожиданием 1 и ковариационной функцией 2 поступает на вход стационарной линейной системы с весовой функцией . Ковариационная функция сигнала на выходе системы описывается выражением ....
50447. Изучение распределения Гаусса и двумерного распределения Максвелла на механической модели 72.5 KB
  Тема: Изучение распределения Гаусса и двумерного распределения Максвелла на механической модели. Для подобного рода вычислений необходимо знать закон или функцию распределения. Закон нормального распределения имеет вид 1.На рисунке 1 показан график распределения Гаусса; на нём представлены две кривые с разными мерами точности причём h1 h2.
50448. Определение коэффициента внутреннего трения жидкостей капилярным вискозиметром 55 KB
  Если по трубке течёт установившийся поток жидкости или газа то отдельные части потока движутся вдоль плавных линий тока форма которых определяется стенками трубки.При уве личении скорости потока даже в прямой трубке линии тока начинают закручиваться в виде вих рей или водоворотов и начинается энергичное перемешивание жидкости. Было установленно что характер течения жидкости зависит от значения безразмерной величи ны Reкоторая называется числом Рейнольда 1.В данной работе он определяется...
50449. ДАТЧИК ДАВЛЕHИЯ МТ100 1.08 MB
  УСТРОЙСТВО И РАБОТА ДАТЧИКОВ ПОДГОТОВКА К РАБОТЕ И ЭКСПЛУАТАЦИЯ ДАТЧИКОВ СХЕМА СОСТАВЛЕHИЯ УСЛОВHОГО ОБОЗHАЧЕHИЯ ДАТЧИКОВ ОБОЗHАЧЕHИЕ ИСПОЛHЕHИЙ ДАТЧИКОВ ПО МАТЕРИАЛАМКОHТАКТИРУЮЩИМ С ИЗМЕРЯЕМОЙ СРЕДОЙ
50450. Программирование на языке высокого уровня. Методические указания 105.5 KB
  Операторы языка Си управляют процессом выполнения программы. Набор операторов языка Си содержит все управляющие конструкции структурного программирования. В теле некоторых составных операторов языка Си могут содержаться другие операторы. Составной оператор ограничивается фигурными скобками все другие операторы заканчиваются точкой с запятой.
50451. Базовые инструменты программы Adobe Photoshop 159.5 KB
  Выбор цвета и заливка В блоке инструментов найдите инструмент Foreground color Bckground color Выберите основной цвет Выберите фоновый цвет; он выглядит так: При щелчке по верхнему квадрату раскрывается окно выбора цвета рисующих инструментов: кистей заливок фигур и др. Окна однотипны цвета в них можно выбрать несколькими способами. 2 Нажав кнопку Custom Библиотеки цветов выбрав одну из Библиотек Book а в ней – нужный образец цвета.