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)

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

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

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

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


 

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

12511. Бұрамды бәсеңдеткіштер классификациясымен, кинематикалық сұлбасымен, байланыстары мен бөлшектерімен танысу 1.31 MB
  №15 Зертханалық жұмыс Бұрамды бәсеңдеткіштер классификациясымен кинематикалық сұлбасымен байланыстары мен бөлшектерімен танысу. Жұмыстың мақсаты: Барлық бөлшектердің қызметін анықтау Ілініс параметрлерін анықтау Бәсеңдеткішті жинау барысында байл...
12512. Өрістік транзистор негізіндегі кең жолақты күшейткіштің резисторлы каскадын зерттеу 34.34 KB
  Лабораториялық жұмыс Тақырыбы: Өрістік транзистор негізіндегі кең жолақты күшейткіштің резисторлы каскадын зерттеу. Жұмыстың мақсаты: Жалпы бастау бойынша жалғанған өрістік транзистор негізіндегі кең жолақты күшейткіш каскады элементтерінің схема көрсеткіштеріне...
12513. Изучение движения тела под действием силы тяжести и силы упругости 245.24 KB
  Практическая работа № 9 Тема работы: Изучение движения тела под действием силы тяжести и силы упругости Тема для изучения: Закон сохранения механической энергии для системы тел в которой действуют потенциальные силы. Цель: сравнить максимальное изменение потен
12514. Программно-целевое планирование и его использование в сфере услуг 50 KB
  Программно-целевое планирование – это один из видов планирования, в основе которого лежит ориентация деятельности на достижение поставленных целей. По сути, любой метод планирования направлен на достижение каких-либо конкретных целей. Но в данном случае в основе самого процесса планирования лежит определение и постановка целей и лишь затем подбираются пути их достижения.
12515. ИССЛЕДОВАНИЕ ЧАСТОТНО УПРАВЛЯЕМОГО ЭЛЕКТРОПРИВОДА С АВТОНОМНЫМ ИНВЕРТОРОМ 3.21 MB
  ИССЛЕДОВАНИЕ ЧАСТОТНО УПРАВЛЯЕМОГО ЭЛЕКТРОПРИВОДА С АВТОНОМНЫМ ИНВЕРТОРОМ Методические указания к учебноисследовательской лабораторной работе по курсу Автоматизированный электропривод для студентов горнонефтяного факультета специальности 180400 ЭАПУ Лаборат
12516. ИЗМЕРЕНИЕ И АНАЛИЗ ОБЩИХ ВИБРАЦИЙ 370.5 KB
  ИЗМЕРЕНИЕ И АНАЛИЗ ОБЩИХ ВИБРАЦИЙ Цель работы: 1 закрепить основные теоретические положения о вибрации как об опасном и вредном производственном факторе; 2 научиться оценивать вибрации на рабочих местах и определять эффективность виброизоляции.
12517. Измерение и уменьшение производственного шума 315.5 KB
  Измерение и уменьшение производственного шума: Методические указания к лабораторной работе по дисциплине Безопасность жизнедеятельности / Ю. Н. Хмельницкий Л. Я. Уфимцева Б. В. Мусаткина О. В. Игнатов Е. Н. Рыжкова; Омский гос. унт путей сообщения. Омск 2007. 32 с. В метод...
12518. ПОВЕРХНОСТНОЕ НАТЯЖЕНИЕ ЖИДКОСТЕЙ 123.5 KB
  Тема: ПОВЕРХНОСТНОЕ НАТЯЖЕНИЕ ЖИДКОСТЕЙ Цель: Изучение поверхностного натяжения жидкостей и определение коэффициента поверхностного натяжения. Теория. Рассмотрим силы действующие на молекулы одна из котор...
12519. ИЗМЕРЕНИЕ ТЕПЛОЕМКОСТИ ТЕЛ 101 KB
  Тема: ИЗМЕРЕНИЕ ТЕПЛОЕМКОСТИ ТЕЛ Цель: измерить теплоемкость стаканов и удельные теплоемкости латунного и дюралевого цилиндров Оборудование и принадлежности: установка для проведения измерений. ОПИСАНИЕ УСТАНОВКИ Внешний вид уст...