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)

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

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

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

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


 

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

34410. Экономико- математические методы, используемые в ПиП экономических и социальных процессов 28 KB
  Важнейшими методами являются : метод межотраслевого баланса методы оптимизации симплексметод и др. корреляционнорегрессионный метод. метод межотраслевого баланса базируется на принципах разработки межотраслевого баланса позволяет осуществлять прогнозие развития экономики и ее отраслевой структуры исходя из конечных потребностей.
34411. Метод экономического анализа, его сущность и роль в ПиП 29.5 KB
  При проведении экономического анализа следует соблюдать системный подход. Сущность метода экономического анализа заключается в том что экономический процесс или явление расчленяется на составные части и выявляются взаимная связь и влияние этих частей друг на друга и на ход развития всего процесса. Процесс экономического анализа подразделяется на ряд стадий постановку проблемы определение целей и критериев оценки; подготовку информации для анализа; изучение и аналитическую обработку информации; разработку рекомендаций о возможных вариантах...
34412. Балансовый и нормативный методы ПиП, их взаимосвязь и направления совершенствования 29.5 KB
  В непроизводственной сфере применяются нормы характеризующие необходимый размер общей и жилой площади на 1 жителя потребление воды на 1 человека и др. В практике ПиП применяется система норм и нормативов включая нормы расхода сырьевых и топливноэнергетических ресурсов; нормы затрат труда; нормы и нормативы использования основных производственных фондов; нормативы капитальных вложений и капитального строительства; нормы и нормативы характеризующие эффективность общественного производства; финансовые нормы и нормативы; социальные нормы ....
34413. Программно-целевой метод планирования, его сущность и область применения 30 KB
  На втором этане выдается задание на разработку программы для решения определенной проблемы. На третьем этапе разрабатываются задания и мероприятия для реализации программы. Четвертый этап предполагает расчет основных показателей и ресурсного обеспечения программы. Определяются затраты материальных трудовых финансовых ресурсов необходимых для реализации программы.
34414. Принципы организации ПиП 29.5 KB
  Организация прогнозирования и планирования охватывает систему органов планирования на всех уровнях управления народным хозяйством определение их функций установление порядка разработки прогнозов и планов доведение важнейших показателей до исполнителей и организацию обеспечения их выполнения. Научными основами организации прогнозирования и планирования являются принципы т. В современных условиях важнейшими принципами организации планирования являются: децентрализация и демократизация; демонополизация; экономически выгодное участие...
34415. Органы ПИП 46 KB
  К центральным экономическим органам относятся: Министерство экономики; Министерство финансов; Министерство труда; Министерство статистики и анализа; Министерство предпринимательства и инвестиций; Министерство по управлению государственным имуществом и приватизации. Министерство экономики подчиняется Совету Министров и в своей деятельности руководствуется законодательством республики и положением которым определены его задачи и функции.; методическое и научное обеспечение проведения экономических реформ; разработка принципов...
34416. Порядок разработки планов-прогнозов и утверждения важнейших показателей 38 KB
  Порядок и сроки разработки плановпрогнозов экономического и социального развития определяются правительством. Основой разработки годовых плановпрогнозов являются: Национальная стратегия устойчивого социальноэкономического развития; Программа социальноэкономического развития на среднесрочную перспективу; Программы и решения президента и правительства по важнейшим направлениям экономического развития межгосударственные соглашения. Всю работу по составлению планапрогноза можно подразделить на ряд этапов: Аналитическая...
34417. Макроэкономические показатели, характеризующие экономический рост 32 KB
  в применяемую систему макроэкономических показателей был введен валовой национальный продукт ВНП с целью обеспечения международных сравнений более точного измерения результатов экономической деятельности и в связи с переходом к системе национальных счетов. Главная отличительная особенность показателя ВНП состоит в том что он характеризует результаты экономической деятельности как материального производства так и непроизводственной сферы и не содержит повторного счета. Модификацией ВНП является показатель валового внутреннего продукта...
34418. Методы прогнозирования ВВП 38.5 KB
  Широко используются методы экстраполяции дефляции экономикоматематические модели факторные межотраслевые затраты выпуск эконометрические производственный распределительный методы и метод конечного использования ВВП. Метод экстраполяции предполагают исследование возможных тенденций изменения рядов динамики показателей ВВП и др. Суть факторных моделей экономического роста состоит в установлении количественных связей между объемом и динамикой производства ВВП и объемом и динамикой производственных ресурсов.