8.Формальные системы. Логика высказываний

Формальные системы создаются для описания в форме символьных выражений рассуждений об элементах некоторой предмет области. Все эти рассуждения выполняются согласно определённым правилам. Формальная система содержит: 1)Алфавит символов; 2)Правила построения правильных формул или допустимых выражений языка (ПППФ); 3)Логические аксиомы и правила вывода новых выражений из уже имеющихся.

Логика высказываний (пропозициональная логика) и логика предикатов первого и более высокого порядка (они были созданы математиками и логиками) для проверки непротиворечивости математических теорий и контроля правильности доказательств.

* Эта логика имеет дело с предложениями естественного языка

* Каждому высказыванию пытаются приписать истину или ложь.

* Не все предложения ЕЯ могут иметь значения ИСТИНА или ЛОЖЬ (например, «Я лжец»).

Пример Журдена:

На одной стороне карточки написано: «Предложение на другой стороне карточки истинно», а на другой стороне написано: «Предложение на другой стороне карточки ложно».

1)алфавит символов для логики высказываний:

- латинские буквы, которые обозначают истинность или ложность предложения (логического высказывания)

- доказательно используют логические связки: &, ^, →, ¬

- служебные символы, скобки

2)ПППФ

a, b, c - правильные формулы

a&b, a^b, ¬a … правильные формулы

3)ПЛВ

Иногда правило логического вывода выстроено человеческим мышлением, отражающим причинность: a, b → b |- b.

Если наблюдаем А и В следует за А, то наблюдаем А.

18. Основные положения при построении системы margie

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

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

Концептуальное умозаключение в системе MARGIE – это новый кусок информации, порожденный из других концептуализаций с некоторой степенью достоверности.

Цель концептуального умозаключения: достройка и восстановление ситуаций, которые подразумеваются высказыванием.

Концептуальное умозаключение – это попытка достроить концептуальную информацию и определить следующие цели:

- Возможности, не выраженные явно в высказываниях.

- Обусловленности деятельности в момент высказывания