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)

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

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

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

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


 

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

36617. УСТАТКУВАННЯ ЗАКЛАДІВ ГОТЕЛЬНО-РЕСТОРАННОГО ГОСПОДАРСТВА. Механічне та теплове устаткування 12.46 MB
  Універсальні кухонні машини. Допоміжними елементами машини є засоби керування регулювання захисту сигналізації а також пристрої які забезпечують безпеку експлуатації. Ведуча ланка зєднується з приводом машини а ведена з робочими органами. Такі машини називаються складними на відміну від простих машин з одним робочим органом.
36618. ОБ’ЄКТНО-ОРІЄНТОВАНЕ ПРОГРАМУВАННЯ 3.53 MB
  Обєктноорієнтоване програмування це методологія програмування яка базується на поданні програми у вигляді сукупності обєктів кожний із яких є реалізацією певного класу а класи утворюють ієрархію на принципах успадкування. кожний обєкт є реалізацією певного класу; 3. Це обєкт класу який асоційований з системною консоллю і отже все те що буде передано в цей об'єкт за допомогою оператора буде виведено в консоль. Тема 15 Поняття класу.
36619. Цивільний захист. Курс лекцій 2.99 MB
  Розроблення найбільш доцільних заходів для захисту людей. Тема 4 : ЗАХИСТ НАСЕЛЕННЯ І ПЕРСОНАЛУ ПІДПРИЄМСТВ ПРИ НС Для захисту населення і персоналу підприємств передбачаються наступні заходи: Своєчасне оповіщення про погрозу НС або її виникнення. Використання засобів індивідуального захисту промислового або самостійного вироблення. Введення режимів радіаційного захисту на заражених територіях до початку евакуації.
36620. КОНСПЕКТ ЛЕКЦІЙ З УКРАЇНСЬКОЇ МОВИ 327.5 KB
  КОНСПЕКТ ЛЕКЦІЙ З УКРАЇНСЬКОЇ МОВИ для студентів 1 курсу напрямів підготовки Облік і аудит Конспект лекцій з української мови для студентів напрямів підготовки. Дидактична мета курсу: розширення знань про українську мову як національну мову українського народу виховання поваги до української літературної мови; набуття знань про особливості офіційноділового стилю класифікацію документів структуру тексту документа вимоги до складання й оформлення ділових...
36621. Суть залізобетону. Матеріали для залізобетонних конструкцій 18 MB
  Суть залізобетону Бетон це штучний камяний матеріал який добре протистоїть стисканню і значно гірше розтяганню. Залізобетоном називають штучний композитний будівельний матеріал що складається з бетону та сталевої арматури які працюють разом. Елементи під навантаженням: а бетонна балка; б залізобетонна балка; в залізобетонна колона Армування бетонної балки дає можливість використовувати міцність сталевої арматури на розтягання і міцність бетону на стискання. Армування стиснутого бетону підвищує також надійність залізобетонних...
36622. Трудова поведінка: зміст, структура, функції 92.5 KB
  Трудова поведінка як різновид соціальної поведінки. Зміст структура та функції трудової поведінки. Види трудової поведінки. Механізми регуляції трудової поведінки.
36623. Информационные системы предприятия 1.03 MB
  В самом общем виде под информационной системой предприятия (ИСП) понимается весь комплекс данных и знаний, используемых на предприятии в целях управления и любой другой, направленной на экономический эффект деятельности, вместе со средствами получения, учета, хранения, доступа, представления, а также анализа данных и знаний.
36624. Ринок цінних паперів та його місто в системі фінансових ринків 2 MB
  Ринок цінних паперів та його місто в системі фінансових ринків Змістовий модуль 1. Поняття та види ринків цінних паперів 1. Ринок цінних паперів в системі фінансових ринків та його види. Основні види ринків цінних паперів.
36625. Cовершенствование организации и технологии технического обслуживания и текущего ремонта автомобилей 909.5 KB
  Проблема технического обслуживания, текущего ремонта и диагностики в участка, имеющая недостатки как в организации, так и в выполнении плана ТО является актуальной и требующая пересмотра существующей организации техобслуживания и диагностики.