Временная логика фон Вригта

Т – бинарная связка

АТВ – сейчас А, в следующий момент В

Т – позволяет строить цепочки состояний

Х₁Т(Х₂Т(Х₃Т(…)))

Время в данной логике дискретное

Линейная временная логика

G – всегда

F – будет

N – в следующий момент будет

U – пока

R – завершает

AUB – А истинно, пока В истинно

ARB – А завершает В

Аксиомы:

FA = true UA

GA = false RA = FA

ARB = (AUB)

Логика ветвящегося времени

Пути развития событий

Временные логики на базе согласования ограничений

Время – временные зависимости

Временные расширения сетей Петри

Временные сети Мерлина

Тенденции развития инструментальных средств ИС (ЭС, СОЗ)

1. Разработка инструментальных средств для создания ИС (ЭС)

2. ЕЯ – системы

3. Soft – Computing (средства для «мягких» вычислений)

· Нейронные сети НС (NN)

· Нечеткая логика НЛ (FL)

· Генетические (эволюционные) алгоритмы ГА (GA)

4. Средства извлечения знаний (интеллектуальный анализ данных) DataMining & Knowledge Discovery

1.1 ориентированные на PC (1st Class, Level5Object)

1.2 на рабочие станции

1.3 на MainFrame (KBMS)

1.4 на специальные компьютеры (Lisp – машина, Prolog - машина)

предметно (проблемно) ориентированные инструментальные средства

GDA

G2 NeurOnline

ReThink

CBR средства – моделирование рассуждений на остнове аналогий

Средства для создания систем – советчиков

2.1 Средства для создания ЕЯ интерфейса к СУБД, интернет и т.д.

2.2 ЕЯ интерфейс для поиска и сканирования текстов

2.3 Средства для распознавания речи (с дикторским текстом) >100 000 слов

2.4 Средства для голосового ввода («зашумленные» данные)

3.1Нейронные сети

Ø Общего назначения

Ø Специального назначения

· Распознавание образов

· Финансовая сфера (обнаружение подделок, прогноз курса валют)

· Управление производством

3.2Нечеткая логика – нечеткие контроллеры

3.3 Генетические алгоритмы

Выбор начальной популяции

t=0

 

+Δt(t+1)

 

 

+ p`(t)

 

Гибридные системы: НС+НЛ+ГА

4.1 Извлечение знаний

4.2 Приобретение знаний

4.3 Машинное обучение

 

DataMining & Knowledge Disc

In (from) DB (DW)

Прагматический аспект

DB (DW)

Данные

Информация

Знания

Метод решения

Knowledge Disc

Гносеологический (познавательный) аспект

Наблюдаемый фактор

Обобщающий фактор

Эмпирическая гипотеза

Теория

Получение знаний в ИС (ЭС)