Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначенные для поддерживания проводов на необходимой высоте над землей, водой...
Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
Топ:
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов...
Установка замедленного коксования: Чем выше температура и ниже давление, тем место разрыва углеродной цепи всё больше смещается к её концу и значительно возрастает...
Интересное:
Распространение рака на другие отдаленные от желудка органы: Характерных симптомов рака желудка не существует. Выраженные симптомы появляются, когда опухоль...
Финансовый рынок и его значение в управлении денежными потоками на современном этапе: любому предприятию для расширения производства и увеличения прибыли нужны...
Влияние предпринимательской среды на эффективное функционирование предприятия: Предпринимательская среда – это совокупность внешних и внутренних факторов, оказывающих влияние на функционирование фирмы...
Дисциплины:
2022-02-10 | 61 |
5.00
из
|
Заказать работу |
|
|
Логика изучает правила формирования неопровержимых рассуждений. Главной частью формирования является логический вывод рассуждений из посылок. Самая ранняя система формальной логики была разработана Аристотелем в 4 веке до н.э. (построена на понятии силлогизма, кот имеет 2 посылки и одно заключение). Формальная логика изучает только синтаксис, то есть форму логических рассуждений, но не их семантику.
В основе логических моделей лежит понятие формальной системы <T,S,A,B>, где словарь Т-это множество простых высказываний; S- это правила построения предложений языка (формул) из терминов словаря; А-аксиомы, В-правила вывода.
Логическое высказывание — утверждение, которому всегда можно поставить в соответствие одно из двух логических значений: ложь (0, ложно, false) или истина (1, истинно, true).
Логика высказываний — это формальная теория, основным объектом которой служит понятие логического высказывания. В логике высказываний каждое элементарное высказывание есть неделимое целое, поэтому многие заключения нельзя получить средствами логики высказываний.
Система аксиом состоит из множества аксиом (тавтологий) и правил вывода, которые позволяют строить новые тождественно истинные предложения.
Одним из возможных вариантов аксиоматизации логики высказываний является следующая система аксиом:
1) P-> (Q->P)
2) (P->(Q->R)) ->((P->Q) ->(P->R))
3) (неP->неQ) ->((неP->Q) ->P)
Это набор последовательных заключений, если мы будем их упрощать, то получим тождественно истинные выражения, из которых можно вывести любую тавтологию.
Правило вывода:
С помощью правила modus ponens из истинных высказываний можно получить только истинные. Modus Ponens-правило отделения.
|
1) Если P-тавтология, и Р->Q тавтология, то Q-тавтология
2) Если Р-тавтология, то Q->P тавтология. Следует из 1) и Modus Ponens.
3) Если P->Q и Q->К тавтологии, то P->R тавтологии.
4) Если А ->В истинно, и А-истинно, то и В-истинно. Pollendo Ponens
5) Если А->В истинно, и В-ложно, то А- ложно
Tollendo Ponens
6) Если A-истинно, и A*B- ложно, то В-ложно.
Если А-ложно и A+B-истинно, то B-истинно Tollendo Ponens
Логика предикатов является расширением логики высказываний и все законы логики высказываний являются также законами логики предикатов, но не наоборот.
14. Логические модели представления знаний. Модель, использующая исчисление предикатов (Э-существует Y -любой!!!!!!)
Логика изучает правила формирования неопровержимых рассуждений. Главной частью формирования является логический вывод рассуждений из посылок. Самая ранняя система формальной логики была разработана Аристотелем в 4 веке до н.э. (построена на понятии силлогизма, кот имеет 2 посылки и одно заключение). Формальная логика изучает только синтаксис, то есть форму логических рассуждений, но не их семантику.
В основе логических моделей лежит понятие формальной системы <T,S,A,B>, где словарь Т-это множество простых высказываний; S- это правила построения предложений языка (формул) из терминов словаря; А-аксиомы, В-правила вывода.
Наиболее распространенной формальной системой, используемой для представления знаний, является исчисление предикатов первого порядка.
Логика предикатов является расширением логики высказываний и все законы логики высказываний являются также законами логики предикатов, но не наоборот.
Предикат- некоторая языковая конструкция или выражение, обозначающее какое-то свойство и отношение. Они м.б. одноместные (быть розовым), двухместные (обожать) и трех (находиться сверху).
В логике предикаты рассматриваются как частный случай функциональной зависимости, т.е. под предикатами понимают функции, значениями которых служат высказывания.
|
В логике предикатов используются следующие понятия:
1)Предикаты 2)Кванторы(всеобщности и существования)
3)Термы: их определяют на множестве базовых символов: констант, переменных, функций, логических связок. Определение терма:
1)Константа есть терм, 2)переменная есть терм, 3)если(t1,t2,…,tn)- n-мерная функция, аргументы которой термы, то функция-терм.
Предикат p(t1,t2,..,tn) есть функция, определенная на множестве термов t1,t2,tn при фиксированных значениях которых она превращается в высказывание со значением истинно или ложно.
Для построения формул вычисления предикатов используют логические связки: отрицание, дизъюнкция, конъюнкция, импликация, эквивалентция и в квантора.
(YX)p(x)- всякий Х обладает свойством р
(ЭХ)р(х)-некоторые х обладают свойством p
Х есть человек р(х)
Человек смертен Q(х)
Все люди смертны (YХ)(р(х)->Q(x))
Недостатком логики предикатов является то, что представить неформализованные знания экспертов в строгой логике трудно, так как человеку свойственно мыслить нечеткими понятиями.
Достоинства - четкое обоснование и возможность реализации формально точных определений и выводов.
|
|
Особенности сооружения опор в сложных условиях: Сооружение ВЛ в районах с суровыми климатическими и тяжелыми геологическими условиями...
Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰)...
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...
Состав сооружений: решетки и песколовки: Решетки – это первое устройство в схеме очистных сооружений. Они представляют...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!