36242

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

Доклад

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

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

Русский

2013-09-21

36 KB

4 чел.

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)

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

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

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

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


 

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

12249. Методы минимизации функции одной переменной, использующие информацию о производных целевой функции 781.11 KB
  Лабораторная работа 2. Методы минимизации функции одной переменной использующие информацию о производных целевой функции. Постановка задачи: Требуется найти безусловный минимум функции одной переменной fx т.е. такую точку что . Значение точки минимума вычисл
12250. Методы минимизации функции многих переменной 255.93 KB
  Лабораторная работа 3. Методы минимизации функции многих переменной. Постановка задачи: Требуется найти безусловный минимум функции от n переменных fx1 x2 xn т.е. такую точку что . Значение точки минимума вычислить приближенно с заданной точностью ε. Метод пр
12251. Измерение характеристик случайных процессов 124.5 KB
  ЛАБОРАТОРНАЯ РАБОТА № 3 Измерение характеристик случайных процессов I. Цели работы 1. Закрепить и расширить знания о стационарных и нестационарных широкополосных и узкополосных случайных процессах. 2. Ознакомиться с методами экспериментальных исследований случ
12252. СПЕЦІАЛЬНІ РОБОТИ ПРИ БУРІННІ СВЕРДЛОВИН 2.35 MB
  Закріплення свердловин трубами; тампонування міжтрубного та позатрубного простору свердловини; влаштування фільтрів (або облаштування водоприймальної частини бесфільтрових) свердловин; розглинизацію свердловин споруджених обертовими промивними способами; облаштування оголовка, камер та павільонів насосних станцій; проведення відкачок води;
12253. ОПРЕДЕЛЕНИЕ УДЕЛЬНОГО ЭЛЕКТРИЧЕСКОГО СОПРОТИВЛЕНИЯ ПРОВОЛОКИ 128 KB
  Лабораторная работа №301 ОПРЕДЕЛЕНИЕ УДЕЛЬНОГО ЭЛЕКТРИЧЕСКОГО СОПРОТИВЛЕНИЯ ПРОВОЛОКИ Приборы: лабораторная установка ФПМ01 мост постоянного тока Р333. Цель работы: приобретение навыков проведения простейших измерений электрических величин практиче
12254. Многоступенчатые центробежные насосы 2.21 MB
  Корпус насоса имеет, как правило, торчащий разъем в горизонтальной плоскости, число колес – четное. Общая схема насоса, схема движения воды. Уравновешивание осевой силы. Конструкция корпуса (серый чугун). Подшипниковые узлы.
12255. ИЗМЕРЕНИЕ ЭЛЕКТРИЧЕСКОГО СОПРОТИВЛЕНИЯ ОДИНАРНЫМ МОСТОМ ПОСТОЯННОГО ТОКА (мостом Уитстона) 185 KB
  Лабораторная работа №307 ИЗМЕРЕНИЕ ЭЛЕКТРИЧЕСКОГО СОПРОТИВЛЕНИЯ ОДИНАРНЫМ МОСТОМ ПОСТОЯННОГО ТОКА мостом Уитстона1 Приборы и принадлежности: реохорд магазин сопротивлений источник постоянного тока гальванометр два резистора с неизвестным сопротивлением...
12256. Расчет АФНЧ Чебышева. Рассчет ЦФНЧ Баттерворта 278.76 KB
  Чтобы преобразовать сигнал с выхода ЦАП в аналоговый, его необходимо пропустить через ФНЧ с высокой крутизной среза. При использовании аналоговых усилителей с ограниченной полосой пропускания и определенной нелинейностью передаточной характеристики, высокочастотные составляющие
12257. ОСНОВНІ ЗАСАДИ РОЗВИТКУ ІНФОРМАЦІЙНОГО СУСПІЛЬСТВА 29.79 KB
  Інформаційне право – це комплексна галузь права, що являє собою виокремлену групу правових норм, якими регулюються суспільні відносини, що виникають з приводу встановлення режимів та параметрів суспільного обігу інформації, правового статусу, поведінки та зв’язків суб’єктів інформаційних процесів.