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