- •Знаки:понятия и термины.
- •Термин "знание" и его семантика.
- •Методы приобретения знаний.
- •Множество. Принадлежность. Способы задания и представления множеств.
- •Отношения на множествах. Понятие подмножества.
- •N-арное отношение. Область определения.
- •Бинарное отношение.
- •Рефлексивное бинарное отношение.
- •Примеры рефлексивных отношений
- •Понятие отношения эквивалентности.
- •Понятие соответствия. Частичное соответствие и полное соответствие.
- •Понятие функции.
- •Операция композиции б отн
- •Понятие гомоморфизма.
- •Понятие изоморфизма.
- •Алгебраические системы. Алгебры.
- •Алгебра множеств.
- •Реляционная алгебра. Операция соединения отношений.
- •Алгебра логики.
- •Дискретная математическая модель. Гиперграфовая модель.
- •Графовая модель.
- •Иерархическая модель представления данных Иерархическая модель данных
- •Структурная часть иерархической модели
- •Сетевая модель представления данных. Понятие сети. Основные принципы.
- •Реляционная модель представления данных. Логическая схема реляционной бд. Основные принципы.
- •Диаграмма сущность-связь (er-диаграмма). Типы узлов и рёбер.
- •Реляционные субд. Типы хранимых данных.
- •Первая нормальная форма реляционной модели.
- •[Править]Пример
- •Вторая нормальная форма реляционной модели.
- •[Править]Пример
- •Третья нормальная форма реляционной модели.
- •4Я норм форма и выше. Нормализация Нормализация
- •Нормальные формы
- •Формальный язык.
- •Язык запросов sql
- •Операторы
- •Понятие семантики. Рефлексивная семантика, проективная семантика, дескриптивная семантика.
- •Фреймовая модель представления знаний. Понятие фрейма.
- •Продукционная модель представления знаний. Понятие продукции.
- •Семантические сети. Язык sc.
- •Семантические отношения
- •Иерархические
- •Вспомогательные
- •Язык sc. Понятие семантически нормализованного множества.
- •Язык sc. Семантика позитивной дуги.
- •Язык sc. Семантика негативной дуги.
- •Язык sc. Кортеж.
- •Язык sc. Атрибут.
- •Логическая модель представления знаний. Понятие формальной аксиоматической теории.
- •Логический язык. Понятие интерпретации логической формулы.
- •Понятие подформулы.
- •(Общезначимая лф)Классы логических формул.
- •Нейтральная логическая формула.
- •Противоречивая логическая формула.
- •Равносильные логические формулы.
- •Понятие предиката. Связь с моделью.
- •Квантор общности. Семантика.
- •Квантор существования. Семантика.
- •Двойственность кванторов. Открытые и замкнутые формулы.
- •Формальная теория логики высказываний.
- •Формальная теория логики предикатов.
- •Понятие полноты теории (модели).
- •Понятие адекватности теории (модели).
- •Понятие непротиворечивости теории.
- •Отношение выводимости, его свойства и правила логического вывода.
- •Понятие формального вывода.
- •Полнота базы знаний. Представление неполных знаний.
- •Темпоральная модель и темпоральные отношения.
- •Представление знаний о нестационарных предметных областях на семантических сетях.
- •Представление спецификаций программ.
- •Императивное представление знаний. Язык scp.
- •Декларативное представление знаний. Язык scl.
- •Понятие цели и целевой ситуации. Типология целей.
- •Понятие задачи. Классы задач.
- •Информационный запрос как частный случай цели. Язык представления запросов к базе знаний, примеры.
- •Процедурные и непроцедурные способы обработки знаний в базах знаний.
- •Языки описания и представления онтологий.
Знаки:понятия и термины.
Семиотика выделяет три основных аспекта изучения знака и знаковой системы:
синтаксис (синтактика) изучает внутренние свойства систем знаков безотносительно к интерпретации;
семантика рассматривает отношение знаков к обозначаемому;
прагматика исследует связь знаков с «адресатом», то есть проблемы интерпретации знаков теми, кто их использует, их полезности и ценности для интерпретатора
Понятие - мысль, которая выделяет из некоторой предметной области и собирает в класс (обобщает) объекты посредством указания на их общий и отличительный признак.
Понятие (наряду с суждением и научной теорией) - одна из основных форм отражения мира на рациональной, логической ступени познания. Понятия представляют собой идеальные сущности, продукты мыслительной деятельности человека, их функция состоит в мысленном объединении разнородных объектов в единый класс и реализуется за счет выделения признака, присущего каждому из обобщаемых в понятии объектов и не присущего никакому другому объекту исходной предметной области, которая называется универсумом или родом понятия.
В естественном языке понятия выражаются посредством описательных терминов вида "объект из универсума U, обладающий признаком A" (первую часть этой конструкции называют родовым термином, а вторую - видовым отличием), а в прикладном языке логики предикатов могут быть представлены выражениями типа где - переменная (или кортеж переменных) по объектам из универсума, а - запись признака, на основе которого производится обобщение объектов. Логическая форма понятия получается замещением в каждого нелогического термина параметром соответствующей семантической категории.
Те́рмин (от лат. terminus — предел, граница) — слово или словосочетание, точно и однозначно именующее понятие и его соотношение с другими понятиями в пределах специальной сферы. Термины служат специализирующими, ограничительными обозначениями характерных для этой сферы предметов, явлений, их свойств и отношений. В отличие от слов общей лексики, которые зачастую многозначны и несут эмоциональную окраску, термины в пределах сферы применения однозначны и лишены экспрессии.
Термины существуют в рамках определённой терминологии, то есть входят в конкретную лексическую систему языка, но лишь через посредство конкретной терминологической системы. В отличие от слов общего языка, термины не связаны с контекстом. В пределах данной системы понятий термин в идеале должен быть однозначным, систематичным, стилистически нейтральным (например, «фонема», «синус», «прибавочная стоимость»). ЗНАК выражает СМЫСЛ, обозначает ЗНАЧЕНИЕ. СМЫСЛ указывает ЗНАЧЕНИЕ.
Термин "знание" и его семантика.
Знания основаны на данных, полученных эмпирическим путём. Они представляют собой результат мыслительной деятельности человека, направленной на обобщение его опыта, полученного в результате практической деятельности человека. Знания – это закономерности предметной области ( принципы, связи, законы), полученные в результате практической деятельности и профессионального опыта, позволяющие специалиста ставить и решать задачи в этой области. Фора знаний: знания в памяти человека, материальные носители знаний, поле знаний (условное описание основных объектов предметной области, их атрибутов и закономерностей, их связывающих), знания, описанные на языках представления знаний, база знаний на машинных носителях информации. Знания- это хорошо структурированные данные, или данные о данных, или метаданные. Знания классифицир.: поверхностные (знания о видимых взаимосвязях между отдельными событиями и фактами в предметной области); глубинные (абстракции, аналогии, схемы, отображающие структуру и природу процессов, протекающих в предметной области.
Зна́ние — форма существования и систематизации результатов познавательной деятельности человека. Знание помогает людям рационально организовывать свою деятельность и решать различные проблемы, возникающие в её процессе.
Зна́ние в широком смысле — субъективный образ реальности, в форме понятий и представлений.
Зна́ние в узком смысле — обладание проверенной информацией (ответами на вопросы), позволяющей решать поставленную задачу.
Зна́ние (предмета) — уверенное понимание предмета, умение обращаться с ним, разбираться в нём, а также использовать для достижения намеченных целей.
Зна́ние — в теории искусственного интеллекта и экспертных систем — совокупность информации и правил вывода (у индивидуума, общества или системы ИИ) о мире, свойствах объектов, закономерностях процессов и явлений, а также правилах использования их для принятия решений. Главное отличие знаний от данных состоит в их структурности и активности, появление в базе новых фактов или установление новых связей может стать источником изменений в принятии решений.