
- •Билет 1.1
- •Билет 1.2
- •Билет 2.1
- •Билет 2.2
- •Билет 3.1
- •[Править]Краткий обзор
- •[Править]Определение
- •[Править]Варианты и примеры [править]Обобщённый принцип неопределённости
- •[Править]Общие наблюдаемые переменные, которые подчиняются принципу неопределённости
- •Билет 3.2
- •Билет 4.1
- •Билет 4.2
- •Билет 5.1
- •Билет 5.2
- •Билет 6.1 ---
- •Билет 6.2 ---
- •Билет 6.1
- •Билет 6.2
- •Билет 7.1
- •Билет 7.2
- •Билет 8.1
- •Билет 8.2
- •Билет 9.1
- •Билет 9.2
- •Билет 10.1
- •Билет 10.2
- •Билет 11.1
- •Билет 11.2
- •Билет 12.1
- •Билет 12.2
- •Билет 13.1
- •Билет 13.2
- •2*. Семейство параметрических импликаций
- •0, Если X 0
- •I*h(X,y) 1, если X y
- •Билет 14.1
- •Билет 14.2
- •Билет 15.1
- •Билет 15.2
- •Билет 16.1---
- •Билет 16.1
- •Билет 16.2
- •Билет 17.1
- •Билет 17.2
- •Билет 18.1
- •Билет 18.2
- •Билет 19.1
- •Билет 19.2
- •Билет 20.1
- •Билет 20.2
- •Билет 21.1
- •Билет 21.2
- •Билет 22.1---
- •Билет 22.1
- •Билет 22.2
Билет 4.1
Лингвистические модели представления знаний в искусственном интеллекте
Лингвистическая переменная - переменная, значения которой может быть не только число, но и слова и словосочетания естественного языка.
Лингвистической переменной называется пятерка LV = (L, T, U, G, M),
L – название лингвистической переменной,
T – ее терм-множество (совокупность лингвистических значений),
U – универсальное множество числовых значений, i
G – множество синтаксических правил (грамматика), предназначенное для
образования составных термов из простых,
M – множество семантических правил, ставящих в соответствие каждому терму из T нечеткое множество в U.
Расширенная лингвистическая переменная есть набор
LVex = (L, T, U, G, M, RT, RU, D, H), где RT и RU – отношения на T и U соответственно, D – множество операций грануляции, H – множество преобразований универсума.
Билет 4.2
Основные законы классической логики и логической семантики. Их критика школой интуиционизма и российским логиком Васильевым. «Американский план» построения неклассических семантик и варианты его реализации.
Интуиционизм — система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений. С точки зрения интуиционизма, основным критерием истинности математического суждения является интуитивная убедительность возможности проведения мысленного эксперимента, связываемого с этим суждением. Поэтому в интуиционистской математике отвергается теоретико-множественный подход к определению математических понятий, а также некоторые способы рассуждения, принятые в классической логике.
закон тождества p=p;
закон полноты (исключенного третьего) p p;
закон непротиворечивости (p p);
закон отрицания отрицания (закон инволютивности) ( p)= p;
закон материальной импликации (из лжи следует все что угодно)
Законы логической семантики
T(p) or F(p) Принцип бивалентности
not {T,F} Принцип однозначности
Т(p)+T(p) = 1 Принцип дополнительности
T( p) = – T(p) Принцип симметрии
Тезисы Васильева
Классическая логика не является универсальной и единственной, как когда-то Эвклидова геометрия
Логика – эмпирическая наука, то есть она зависит от свойств окружающей реальности или наших ощущений
Логический «Плюрализм» следует из 2
Закон исключенного четвертого (необходим, возможен, невозможен)
Воображаемая логика позволяет нам глубже проникнуть в природу нашей логики, разделить в ней эмпирические и неэмпирические элементы. Все неэмпирические элементы и отношения в логике составляют металогику.
Металогика есть учение о мышлении, не связанное с опытом.
Внутренняя логика – логика событий vs Внешняя логика – логика утверждений.
Билет 5.1
Наглядные модели представления знаний в искусственном интеллекте. Семантические сети. Сценарии. Когнитивные карты. Ментальные карты.
Семантическая сеть – это граф (мультиграф), вершинам которого поставлены в соответствие некоторые понятия (суждения), а дугам – связи (отношения) между этими понятиями (суждениями). SN = C, R
Основная идея ментальных карт (Mind Maps) заключается в поддержке правополушарных механизмов мышления путем преобразования фрагментов текстового (последовательного) изложения в сетевую (наглядно-образную) форму. Ментальная карта имеет следующие отличительные черты:
Ее структура имеет форму куста
Объект изучения сфокусирован в центре изображения (фокус внимания)
Основные темы, связанные с объектом изучения, расходятся от центра в виде ветвей, которые поясняются ключевыми словами
Вторичные идеи также ветвятся
Ветви формируют связную узловую структуру
Когнитивная карта представляет собой знаковый граф:
СM = V, A, F, где: V – множество вершин (понятий),
A – множество дуг (связей между понятиями);
F = {+, –} – множество знаков дуг (типов связей между концептами).
Здесь, знак + выражает положительную связь, а через – обозначается отрицательная связь. В случае положительной связи усиление понятия-причины (фактора) приводит к усилению понятия-следствия: X Y, а при отрицательной связи усиление понятия-причины приводит к ослаблению понятия-следствия: X Y
Фреймом называется минимальная структура для представления знаний в стереотипной ситуации.
FR = {N, <gi vi>}, где N – имя фрейма, gi – имя слота, vi – значение слота.
Фреймовые модели широко используются в различных областях. Например, они могут успешно применяться для представления заявок (заказов, предложений и поставок) в электронной коммерции. Приведем пример фрейма-прототипа для заказа в Интернет-магазине.
Заказ ={<ID>, <Потребитель, …>, <Адрес,…>, <Телефон, …>, <Товар, …>}.
Соответствующий фрейм-экземпляр может иметь вид:
Заказ = {<1283>, <ФИО, Иванов А.Б.>, <Адрес, Москва ул. Садовая д.3>, <Тел., +7-095-123-45-67>, <Товар, Велосипед Univega HT 510>}