![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
psilogicПодумалось: очевидное применение "следующей" логики - экспертные системы (ЭС). А точнее, чтобы ЭС сама могла находить новые закономерности вида "если ... то ..." и применять их. Как я понимаю, такие закономерности можно было вписать только "ручками" в виде операторов if ... then ... else или в виде скрипта, но, опять же, построенного человеком. Теперь их можно вычислять на основе БД.
Берем предполагаемую закономерность "если A, то B", где A и B - формулы (в формате ЭС), зависящие от параметров (свободных переменных в терминах математики). В простейшем случае запускаем перебор по всем комбинациям параметров. Убеждаемся, что:
1) Существует комбинация, при которой истинно A
2) Cуществует комбинация, при которой ложно B
3) Не существует комбинация, при которой одновременно истинно A и ложно B
Если все это выполняется, то ЭС получает себе новое правило вывода:
"Если A, то B"
Берем предполагаемую закономерность "если A, то B", где A и B - формулы (в формате ЭС), зависящие от параметров (свободных переменных в терминах математики). В простейшем случае запускаем перебор по всем комбинациям параметров. Убеждаемся, что:
1) Существует комбинация, при которой истинно A
2) Cуществует комбинация, при которой ложно B
3) Не существует комбинация, при которой одновременно истинно A и ложно B
Если все это выполняется, то ЭС получает себе новое правило вывода:
"Если A, то B"
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2006-05-22 10:59 am (UTC)no subject
Date: 2006-05-22 11:02 am (UTC)1) Полнотой баз данных (например, при ненаблюдаемом C выражение A&C=>B "уловить" будет невозмойшно; кроме того, при верном A&C=>B, если всегда C было истинно, можно сдуру принять A=>B).
2) Численными данными.
А вообще да. Дайте мне Баз Данных™, и я переверну мир.
no subject
Date: 2006-05-22 11:37 am (UTC)При верном A&C => B и всегда истинном A верно также A => B, разве не так?
no subject
Date: 2006-05-22 11:39 am (UTC)я не математег, я экономист ;)
no subject
Date: 2006-05-22 11:54 am (UTC)Ну да, так и должно быть - ЭС ведь обычно обучаема.
можно сдуру принять A=>B
Date: 2006-05-22 12:08 pm (UTC)no subject
Date: 2006-05-22 12:02 pm (UTC)no subject
Date: 2006-05-22 12:11 pm (UTC)no subject
Date: 2006-05-22 02:58 pm (UTC)no subject
Date: 2006-05-22 04:48 pm (UTC)no subject
Date: 2006-05-22 06:20 pm (UTC)no subject
Date: 2006-05-22 06:30 pm (UTC)Но это уже не двузначная логика, а теорвер (бесконечнозначная).
Звучит примерно так:
Событие A есть причина для события B = p(B/A) > p(B)
Т.е. вероятность события B, при условии, что случилось A, больше, чем просто вероятность события B без учета A. Ну а корреляция - очень близко по смыслу.
no subject
Date: 2006-05-25 07:16 pm (UTC)no subject
Date: 2006-05-26 08:31 am (UTC)no subject
Date: 2006-05-26 12:40 pm (UTC)попробую вкратце показать суть. Дрпустим, есть матрица:
а1_а2_а3_а4_а5__b_c
----------------------
1__0__1__1__1___0_1
1__0__1__1__0___0_1
1__0__1__1__1______
1__1__0__0__0___1_0
1__1__1__0__0___1_1
В такой матрице видны зависимости :
a1&a2->b a1&a3->c
При этом выполняются ваши условия -есть строки где a1&a2=0 и строки где b=0 .
Вообще, ДСМ (или JSM) работает с сущностями определенного рода:
объекты,
фрагменты объектов, и
свойства объектов.
Пусть то, что обозначено здесь буквами ai - это фрагменты объектов Оj; b,c - это свойства объектов Oj.
Фрагменты образуют нижнюю полурешетку относительно отошения "быть фрагментом чего-л".
В ДСМ Обычные булевские значения используются для представления отношения м/у фрагментами объектов и объектами:
1 - если ai фрагмент Oj
0 - если аi не является фрагментом Oj
Четырехзначная логика используется для обозначения того, что либо
объект обладает свойством (+), либо
не обладает свойством(-), либо
и то и то (0), либо
"пока" неизвестно ("?").
Можно теперь так перерисовать матрицу (добавив вместо пробелов кое-где минусы нули и вопросы):
а1_а2_а3_а4_а5____b_c
----------------------
1__0__1__1__1__O1_-_+
1__0__1__1__0__O2_-_+
1__0__1__1__1__O3_?_?
1__1__0__0__0__O4_+_-
1__1__1__0__0__O5_+_+
Что делает Дсм:
1) порождает гипотезы о приичнах (причины - это фрагменты) свойств объектов: например, a1&a2->b;a1&a3->c
2) доопределяет исходную матрицу исходя из новых знаний - там где было "?" может быть поставлен + или - .
Разновидности ДСМ-метода появляются в частности из-за различия правил.
Например, мы можем считать, что a1&a2->b если нет таких строк, где V(a1&a2)=1 и V(b)="-".
А можем поставить более жесткое условие, чтобы не было даже V(b)=0. А можем вообще условий таких не ставить.
При этом мы можем порождать гипотезы как наличия так и отсутствия свойств.
Например, можно считать, что в нашей матрице a1&НЕ(a2)->Не(b).
Короче, уйма всяких интересных сочетаний.
Кстати,если мы породили гипотезу a1&a3->c, то строку О3 во второй матрице нужно доопредилить, и вместо вопроса, там где c, - поставить +. Также если мы решили, что a1&НЕ(a2)->Не(b), то в столбце где b для строки O3 надо поставить "-".
Еще обычно говориться про номер шага, на котором был постален такой плюсик (и чем дальше шаг - тем это менее правдоподобно).
примерно вот так.
(если что - у меня есть всякийе материалы по JSM - могу выслать)
no subject
Date: 2006-05-26 01:09 pm (UTC)В случае логики, аналогичной логике Лукасевича:
(где 0 есть ложь, 1 есть истина, а числа между 0 и 1 - промежуточные значения истинности, скажем, 1/3 и 2/3 для 4-значной)
1) Существует комбинация, при которой истинно (=1) A
2) Cуществует комбинация, при которой не истинно (<1) B
3) Не существует комбинация, при которой одновременно истинно (=1) A и не истинно (<1) B
- все три этих высказывания должны быть истинны(1)
В случае, описанном вами (который ближе к трехзначной логике):
1) Существует комбинация, при которой истинно ("+") A
2) Cуществует комбинация, при которой не истинно ("+", "-", "?") B
3) Не существует комбинация, при которой одновременно истинно ("+") A и не истинно ("+", "-", "?") B
- если все три этих высказывания должны истинны ("+"), то результат "+"
- если хотя бы одно из этих высказываний ложно ("-"), то результат "-"
- если среди этих высказываний нет ложных ("-"), но есть неизвестные ("?"), то результат "?"
Насчет "0" не знаю... может, когда среди высказываний только "0" и "+"?
no subject
Date: 2006-05-26 10:35 pm (UTC)вы (ты) наверное имел в виду "+-",-,"?" или "0","-","?".
А зачем нам вообще какие-то иные гипотезы кроме (a=>b)=True.
Нас интересуют только истинные следования: a=>b, а=>-(b), -(а)=>b и -(a)=>-(b) (при этом в ДСМ-е мы не можем переставить местами и написать b=>a, так как это сущности разных сортов).
Но нам не за чем как-тоозначивать иные "неполучившиеся" гипотезы (то есть, думать, "-" они или "?", как вы написали).
no subject
Date: 2006-05-27 12:15 pm (UTC)А зачем нам вообще какие-то иные гипотезы кроме
Не понял... иные, это какие?
no subject
Date: 2006-05-28 11:33 am (UTC)Если не выполняется, то False, и всё. Хватит двузначной оценки. А вводить для зависимостей четырехзначную оценку практически бессмысленно.
no subject
Date: 2006-05-28 03:47 pm (UTC)Материалы
Date: 2006-12-20 04:05 pm (UTC)Re: Материалы
Date: 2006-12-20 08:09 pm (UTC)я могла бы на мейл выслать вам флэш приложение. там полтора мега, если все модули. это приложение для студентов, там всё с нуля и на пальцах.
давайте в общем ваш мейл - могу выслать кучу материалов
Re: Материалы
Date: 2006-12-20 11:19 pm (UTC)Re: Материалы
Date: 2006-12-23 03:13 pm (UTC)no subject
Date: 2006-06-19 06:19 pm (UTC)