Нам остается обсудить проблемы, связанные с выводом на топологических шкалах. Для возможности отображения событий на таких шкалах обычно используются методы, подобные описанным в 2.11. Прежде всего выбирается список квантификаторов, который мог бы образовать некоторую порядковую шкалу размытых моментов времени. [c.124]
При швартовке судно А. Пушкин изредка теряет 20—30 мин времени если потеряно более 20 мин времени, то план погрузки очень часто приходится переделывать. Обозначим через А высказывание Швартовка судна А. Пушкин приводит к потерям 20— 30 мин времени , через уА — квантификатор редко, через В — высказывание План погрузки переделывается , а через > — квантификатор очень часто. Тогда приведенный текст можно представить схемой уАА у[А= >В]. Что можно сказать об оценке истинности В, если известно, что в данный момент судно А. Пушкин готовится начать швартовку Более или менее опытный диспетчер при наличии такой информации скорее всего станет готовиться к процедуре изменения плана погрузки. [c.142]
Подробное рассмотрение детерминаций, тщательный анализ понятия и областей их приложения дан в монографии С. В. Чеснокова [3.15]. Силлогистические схемы, расширяющие понятие силлогистики Аристотеля на случай работы с частотными квантификаторами, заимствованы из работы [3.16]. В последнее время на основании этой модели Е. И. Ефимовым предложена другая конструкция для расширения понятия силлогизма Аристотеля. В его конструкции используются не условные вероятности, как в конструкции Чеснокова, а вероятности совместных событий. Это позволило Е. И. Ефимову построить процедуру оценки истинности силлогизма (т. е. нахождения границ интервала, в которых находится значение соответствующих вероятностей для заключительной детерминации), которая не требует для своего осуществления решения громоздкой задачи дробно-линейного программирования. Однако до настоящего времени не удалось доказать эквивалентность определения понятия истинности силлогизмов, используемых в моделях Чеснокова и Ефимова. Интересные соображения о способах вычисления истинности для полисиллогизмов, интерпретируемых в виде причинно-следственных сетей, можно найти в работе [3.17]. [c.263]
Примером такого списка для временных размытых квантификаторов может служить последовательность очень давно, давно, недавно, совсем недавно, только что, сейчас, вскоре после этого, очень скоро, скоро, в недалеком будущем, в будущем. Более или менее ясно, что такая последовательность способна порождать некоторую порядковую шкалу. Для того чтобы последняя могла служить для целей вывода и пополнения описаний, необходимо перейти к более точному шкалированию. Для этого используется аппарат функций принадлежности, о которых шла речь в том же 2.11. Для каждого элемента из заданного списка строится с помощью эксперимента с людьми функция принадлежности этого элемента к отрезку [О, 1]. Затем выбирается такой уровнь отсечки а, который мог бы образовать хорошую шкалу на данном отрезке. Как уже говорилось выше (см. 2.11), это приводит к тому, что отрезок [О, 1] разбивается на непересекающиеся интервалы, каждый из которых соответствует с гарантированным уровнем функции принадлежности, равным 0<а< 1, некоторому элементу из списка, образующего словесную шкалу. Этот процесс показан на рис. 2.17 для размытых частотных квантификаторов. Для временных квантификаторов он реализуется аналогичным образом. [c.124]
Здесь (37- — сокращенная запись атомарного описания вида где g — станок, ij — индивидуальные номера станков, f — фрезерный станок, с — состояние быть свободным, г.г — быть элементом класса, гвв — находиться в состоянии. Напомним еще раз, что между всеми скобками имеется отношение бить одновременно. Таким образом, здесь описана ситуация, что в некоторый момент времени б фрезерных станков свободны. Обобщим это описание с помощью квантификатора > , интерпретируемого как некоторые из. Новое описание будет иметь вид ((yg)rj)rbtl . Смысл этой записи такой же, как и исходной, ибо значение б не определено. Если же, например, мы располагаем априорной информацией о количестве фрезерных станков на данном предприятии и значение б указано конкретно, то в зависимости от б и общего числа фрезерных станков квантификатор > может принимать значения лишь небольшая часть, примерно половина, почти все и т. п. [c.198]