
- •Модели знаний - структурные, логические, модальные
- •Начала формальной логики
- •Приоритет операций Исчисление высказываний
- •Лингвистическое описание
- •Нечеткая логика
- •Пропозициональная логика
- •Совокупность указателей представляющих сигнатуру предметной области
- •Где важен уровень формализации
- •В начало страницы
- •Корреферентные понятия - соописание - одна и та же сущность обозначает разные имена
- •Архитектура (чего?) Отличие Базы Знаний и Машины Вывода
- •Индуктивный вывод Data Mining
- •Полная индукция
- •Неполная индукция
- •Что такое знание
- •Что может делать машина, если у нее есть знания
- •Самый главный спор - о виде представления данных
Корреферентные понятия - соописание - одна и та же сущность обозначает разные имена
Кореферентные выражения формируют тематическое ядро текста с помощью лексических средств - полнозначных (автосемантичных) лексем, из которых слагается смысловой каркас текста и которые могут служить ключевыми словами текста. Они обладают непосредственной денотативной референцией, отражают порой сложную соотнесенность передаваемого в тексте отрезка действительности.
1. грамматическая кореференция, где антецедент высчитывается на основе грамматических правил языка. К грамматической кореференции относятся, например, кореференция возвратных местоимений, относительных местоимений (человек, который пьет), актантов в реципрокальных конструкциях и т. д. Грамматическая кореференция практически никогда не переходит границ предложения
2. т. наз. текстовая кореференция, где соотношение между кореферентными членами реализуется не только за счет грамматических средств языка, но и на основании знания контекста. Текстовая кореференция может легко переходить границы предложения. Различается прономинальнаяи именная текстовая кореференция
прономинальная текстовая кореференция размечается в случае, если в качестве второго членакореферентного отношения выступают личныеи притяжательные местоимения третьего лица,указательное местоимение этот в субстантивной функции илиэллиптированное и восстановленное на глубинно-синтаксическомуровне местоимение 3-го лица.
• Именная текстовая кореференция
В качестве второго члена кореферентного отношениявыступают в основном имена существительныеи некоторые наречия (там, тогда и др.). В некоторых случаях в отношении кореферентностимогут участвовать прилагательные (притяжательные прилагательные, прилагательные, образованные от имен собственных и др.) и числительные (выступающие в субстантивнойфункции и релевантные для связности текста).
3. ассоциативнаяанафора
где анафорический член и антецедент уже не кореферентны, но междуними имеется семантическое отношениеопределенного типа. В настоящее время размечается шесть типов отношений:часть — целое (напр. Бавария — Германия), множество — подмножество/элемент множества (студенты — три студента), отношение дискурсивного контраста(Люди не жуют, жуют только коровы), отношение объекта и его функции/позиции
(напр. школа — учитель), эсплицитноеанафорическое отношение между некореферентными членами (учителя — такиеже учителя) и отношение «остальное».Последний тип размечается у отношенийтипа место — житель (Москва — москвич),автор — творение, вещь — хозяин, у родственных отношений (дед — внук), а так же у некоторых предикатно аргументныхотношений (предпринимательство —предприниматель, спор — участник кон-
фликта и др.).
Архитектура (чего?) Отличие Базы Знаний и Машины Вывода
База
знаний —
это особого рода база
данных, разработанная для
оперирования знаниями (метаданными).
База знаний содержит структурированную
информацию, покрывающую некоторую область
знаний. Современные базы знаний работают
совместно с системами поиска информации,
имеютклассификационную структуру
и формат
представления знаний.Полноценные
базы знаний содержат в себе не только
фактическую информацию, но и правила
вывода, допускающие автоматические
умозаключения о
вновь вводимых фактах и, как
следствие, осмысленную обработку
информации.Иерархический способ
представления в базе знаний набора понятий и
их отношений называется онтологией.
Онтологию некоторой области знаний
вместе со сведениями о свойствах конкретных
объектов также
можно назвать базой знаний.Двумя
наиболее важными требованиями к
информации, хранящейся в базе знаний
интеллектуальной системы, являются:
достоверность конкретных и обобщённых
сведений, имеющихся в базе данных, и
релевантность информации, получаемой
с помощью правил вывода базы знаний.Пусть
имеется база знаний для описания
реального мира (предметной области),
состоящая из пары <БЗо, →£>, где БЗо
— совокупность утверждений на языке
некоторой логики £, например, логики
предикатов первогопорядка, и →£, —
отношение выводимости (доказуемости)
в этом языке £. В этом случае утверждение
тогда
и только тогда, когда БЗо→£ Р
при представлении и обработке неполных, противоречивых и немонотонных знаний в интеллектуальных системах необходим аппарат таких нетрадиционных логик, как логика умолчания, немонотонная модальная логика, автоэпистемическая логика и ряд других. Для представления и обработки нечетких знаний, отражающих неточность, неопределенность, неоднозначность знаний, используются такие нестандартные логики, как вероятностная логика, логика возможности, нечеткая логика и другие.
База знаний (БЗ; англ. knowledgebase, KB) в информатике и исследованиях искусственного интеллекта — это особого рода база данных, разработанная для оперирования знаниями (метаданными). База знаний содержит структурированную информацию, покрывающую некоторую область знаний, для использования кибернетическим устройством (или человеком) с конкретной целью. Современные базы знаний работают совместно с системами поиска информации, имеют классификационную структуру и формат представления знаний.
Полноценные базы знаний содержат в себе не только фактическую информацию, но и правила вывода, допускающие автоматические умозаключения о вновь вводимых фактах и, как следствие, осмысленную обработку информации. Область наук об искусственном интеллекте, изучающая базы знаний и методы работы со знаниями, называется инженерией знаний.
Иерархический способ представления в базе знаний набора понятий и их отношений называется онтологией. Онтологию некоторой области знаний вместе со сведениями о свойствах конкретных объектов также можно назвать базой знаний.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.