12. Модели представления данных.

Представлнеи данных - это соглашение о том, как описывать реальный мир. Представлнеи занаий должно быть понятным экспертам и пользователям системы. Модели могут быть такми:

-логические исчисления;

-фреймы;

-семантические сети.

Логические исчисления - в большенстве случаев ограничиваются исчислением предикатов первого порядка. В простейшем случае запись факта имеет вид P(x,y,z .), где P-отношение, а x,y,z . - объекты, на которых оно задано. Логическте модели представлнеия фактов с помощью предикатов носят название атомарных формул.

Фреймовая модель - основаня на теории М.Минского, представляет собой систематизированую в виде единой теории технологическую модель памяти человека и его сознания. Фрейм - структура данных для представлнеия некоторго концептуального объекта.

Собстенно структура, описывающая некоторую ситуацию, называется фреймом-прототипом. К достоинствам можно отнести ее естественность, наглядность представления, модульность, поддержку возможности использования правил умолчания.

Семантическая сетка - основой нотаций для которой является формализация знаний в виде ориентрованного графа с размеченными вершинами и дугами. Вершины - объекты или ситуации, а дуги - оношения между ними. По сравнению с другими методами представления знаний семантические сети более естественны, наглядны и понятны. Они адекватно отражают взаимосвязь примитивных фактов.

Однако события, представленные в виде тразитивных формул, в виде сети представить сложно. Кроме того, существует точка зрения, что семантические сети - это формализм, который существует для представления высказываний о внешне мире, а не для представления проблемно-ориентрованных моделей внешнего мира. Из этого следует семантические сети видятся малопригодными для построения формальных моделей реального мира или его части.

23. Работа с несколькими окнами. Связывание. Консолидация.

Очень не удобно вводить большое количество данных в таблицу, когда строка или столбец выходит за пределы экрана. Excel дает возможность открыть новое окно или разделить 1 окно на несколько частей, чтобы просматривать различные фрагменты 1 рабочего листа.

Excel представляет возможность связывания рабочих листов. Способы позволяют работать с большими и сложными таблицами и производить объемные вычисления. С их помощью можно свести значение разных таблиц в 1 рабочий лист.

Например, А5* Прайслист! С4

А5 – адрес ячейки, где указано количество предметов для калькуляции – это называется связывание. В этом случае отсылка к другому рабочим листам нужно задать полный путь и имя файла узнается в единых скобках, и имя рабочей книги в квадратных скобках.

Например, ‘С:\EXCEL\[PRISEXLS]ПРАЙСЛИСТ”.$A$1

При сохранении файлов со ссылками на др. таблицу пр. всего обращают внимание на очередность сохранения.

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

Консолидация применяется при изготовлении квартальных отчетов, обработку данных по отбору средств и т.д.

13. Использование аппарата нечеткой логики при выработке заключения в ЭС.

Машина вывода включает последовательность циклов, каждый из которых может содержать две.

Машина вывода обрабатывает БЗ, включающую базу фактов (БФ), содержащую достоверные факты и факты, которые требуется установить; базу правил (БП), состоящую из процедурных знаний.

В фазе АНАЛИЗА машина вывода определяет в текущей БП правила, которые можно разъединить на части, исходя из текущей БФ; в фазе ВЫПОЛНЕНИЕ машина разъединяет правила, найденные в фазе АНАЛИЗА.

Останов машины вывода может произойти в любой из этих фаз. В фазе АНАЛИЗА он означает отсутствие правил для разъединения на основе текущих БФ и БП. Останов в фазе ВЫПОЛНЕНИЕ относится к некоторому разъединяемому правилу.

Фаза АНАЛИЗА включает три этапа: ВЫБОР, ФИЛЬТРАЖ и РАЗРЕШЕНИЕ КОФЛИКТОВ.

На этапе ВЫБОР определяется подмножество фактов Ф1 из БФ и подмножество правил П1 из БП, исходя из текущих или прежних состояний БФ и БП. Выбранные подмножества обрабатываются на следующем этапе ФИЛЬТРАЖ. Выбор подмножеств Ф1 и П1 связан с целесообразностью обрабатывать факты и правила, относящиеся к ограниченной области знаний. Например, в медицинской диагностике можно разделить правила, связанные с детскими болезнями, от других правил; или отличить факты об анализе крови от других фактов. В некоторых машинах вывода отличают достоверные факты от фактов, которые требуется установить.

На этапе ФИЛЬТРАЖ машина сравнивает разъединяемую часть каждого из правил П1 с фактами из Ф1. В результате такого сравнения выбирается подмножество правил П2 из П1, которые совместимы с Ф1, т.е. правила, которые можно разъединить, используя Ф1. Подмножество П2 называют множеством конфликтов.

На этапе РАЗРЕШЕНИЕ КОНФЛИКТОВ выделяется подмножество правил П3 из П2, которые должны быть эффективно разъединены. Если П3 пусто, то фаза ВЫПОЛНЕНИЕ отсутствует для данного цикла. Выбор правил на последнем этапе обычно не связан с существом их применения. Так, например, БП является произвольно упорядоченным списком правил, из которого они последовательно выбираются, или предпочтение отдается наименее обрабатываемым правилам, или вначале выбираются правила, которые считаются менее сложными, содержащими меньше условий для проверки. Иногда выбор правил связан с контекстом их применения. Так, одни правила более предпочтительны с точки зрения решаемой проблемы, чем другие.

Фаза ВЫПОЛНЕНИЕ является второй частью каждого цикла. Машина вывода управляет разработкой действий, определяемых правилами подмножества П3 (если оно не пусто). Управление обработкой правил П3 отличается в различных типах машин вывода.

Когда П3 пусто, некоторые более простые машины вывода останавливаются. Говорят, что такие машины работают в режиме без возврата. Другие машины вновь рассматривают множество конфликтов П2 предыдущего цикла и пытаются разъединить другие правила П2. Однако, если ни одно их разъединенных правил, реализованных в течение предыдущего выбора в П2, не ставится под вопрос, т.е. если действия этих правил не удалены перед разъединением других правил, говорят, что такие машины функционируют в режиме без возврата. В противоположность рассмотренным машинам имеются такие машины, которые работают в режиме, управляемом попытками, т.е. когда разъединение одних правил заменяется другими. Машины, которые возвращаются к разрешению предыдущих конфликтов, ставя под вопрос разъединения правил, работают в режиме возврата.

Базовый цикл машин вывода было бы целесообразно реализовать в виде инструкций традиционной ЭВМ. А каждый цикл вывода требует выполнения сотен или тысяч подобных инструкций. Для машин вывода, реализованных на современных ЭВМ, предполагается скорость порядка нескольких сотен циклов вывода в секунду. В рамках японского проекта ЭВМ пятого поколения делается попытка реализовать электронные схемы и архитектуры машин, позволяющие достигнуть скорости порядка миллиона или миллиарда lips (Logical Interference Per Second), где каждый цикл считается одним выводом.