Реферат Курсовая Конспект
Понятие описания состояния, семантика обобщенных описаний состояний и информационная трактовка следования в релевантной логике. - раздел Образование, Ответы на логику Первая Сис-Ма Релевантной Логики Построена Орловым(1928). В 1943 Клини Постро...
|
Первая сис-ма релевантной логики построена Орловым(1928). В 1943 Клини построил релевантную логику(как у Орлова, т.к переводил работу Орлова). информационная трактовка следования в релевантной логике: В1956 году вышла статья Аккермана, он построил первую синтаксическую сис-му релевантной логики(А влечет В, если А информативнее чем В). До 70-х годов эти сис-мы существовали без семантик. Аккерман - Аǀ=В – информация В составляет часть информации А.Е.К Войшвилло – выражение логического содержания через информацию. Карнап – информация как мера ограничения исходного множества.
Исходное множество возможностей (М) – это мн-во всех приписываний значений ф-лам р&q и р, т.е мн-во строк в таблице истинности.
р | q | р&q | р | |
И | И | и | и | |
И | Л | л | И | |
Л | И | Л | Л | |
л | л | л | л |
множество М.ограничили мн-во М.
Информация произвольной ф-лы А относительно некоторого М понимается как мера ограничения мн-ва М, принятием ф-ла А за истину. Информация – I(A,M).
p&qǀ=pI(p,M) составляет информацию I(p&q, M)Mp&qMp.
Aǀ=BMAMBα)
MA – результат ограничения исходного мн-ва возможностей. MA={α:TA/α}
Семантика FDE:
Tp/αpα
Fp/α¬ pα
Tp/αpα
Fp/α¬ pα
T(A&B)/αTA/α и ТВ/α; F(A&B)/αFA/α или FВ/α; Т(А˅В)/αTA/α или ТВ/α
F(A˅B)/αFA/α и FВ/α; Т¬А/αFA/α; F¬A/αTA/α
В системе нет вообще.
Пусть L – множество пропозициональных переменных и их отрицаний – L={p,¬p,q,¬q……rn,¬rn……}- т.е множество произвольных переменных. Описание состояния(α) есть произвольное подмножество L, удовлетворяющее следующим условиям:
1)р¬(ри ¬р) – непротиворечивость.
2)р(рили ¬р) – условие непустоты.
Примеры: {p,q}, {p,¬q},{¬p,q}- такие множества – это описания состояния. Это классическое описание состояния.Обобщенное описание состояния – это произвольное подмножество L(допускаются наряду со старыми описаниями состояния, описания и другого сорта – неполные и противоречивые) – {p,¬p},
p&¬pǀ=q док-во:
1)Т(р&¬р)/α
2)Тq/α
3)Tp/α и Т¬р/α – из 1.
4)рα и ¬рα - из 3.
5) qα - из 2
Опровергающий пример: {p,¬p,¬q}
qǀ=p˅¬p – т.к могут быть описания состояния.Описания состояния – это карнаповская идея, ее попытались использовать. Если мы хотим адекватно формализавать лог. связь, нас карнаповский механизм не устраивает, нам нужны обощенные описания состояния.
– Конец работы –
Эта тема принадлежит разделу:
курс семестр... Понятие как форма мысли Выражение понятий в языке Логическая форма... Понятие можно назвать особой ментальной конструкцией Понятие это мысль в которой на основании наличия у предметов...
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Понятие описания состояния, семантика обобщенных описаний состояний и информационная трактовка следования в релевантной логике.
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Твитнуть |
Новости и инфо для студентов