Методы представления знаний Формальные языки и формальные системы



страница17/17
Дата15.01.2013
Размер1.11 Mb.
ТипЛекции
1   ...   9   10   11   12   13   14   15   16   17
и: для одного выполняется отношение транзитивности, а для другого - нет.

1 Не путать с полной математической индукцией, где на (n+1) шаге доказательство идет по дедукции

1 - любые литералы (например, атомарные формулы, не содержащие )

2 Доказывается невыполнимость, а не выполнимость, так как при невыполнимости пользуются квантором существования, а при выполнимости - квантором всеобщности. Следовательно, на нужный элемент в первом случае шанс попасть больше, чем во втором, когда необходимо перебирать все элементы.

2 Воспользуемся эквивалентностью выражений и

3 в случае 1) квантор нельзя выносить, если стоит ; а в случае 2) нельзя выносить квантор , если стоит .

4 Обратите внимание на различие в выражениях и . В первом выражении , по сути, является функцией от .

1 Он в эти выражения "вторгается" в наименьшей степени. Эти преобразования не являются эквивалентными, между ними нельзя поставить знак равенства

1 Строго говоря, для "хороших", хорошо структурированных предметных областей отрицательный признак является исключающим. В предметных областях с плохой структурой отрицательные признаки лишь понижают рейтинги событий, но не исключают их.

1 при прикладном морфологическом анализе этот анализ отсутствует


2 Аристотель пользовался естественным языком для выражения своих силлогизмов, а в алгебре использовали естественный язык для записи алгебраических формул.

1 но не во всех разделах языка степень индивидности доходит до именования конкретных индивидов: растения, грибы не именуются. Здесь роль индивидных имен играют имена объектов.


2 На самом деле - степень индивидности - вещь условная, понятия субъекта и предиката в предложении - тоже условно.

3 Золотова Г.А. "Синтаксический словарь русского языка". Вообще понятие роли восходит к более ранним работам:

Р. Шенк "Концептуальная обработка информации" (понятие семантического падежа)

Мельчук, Апресян Ю.Д. (ввел понятие лексической функции)

1 Роль - это переменная, на место которой можно подставить конкретное значение

1 В отличие от ролей, связи - это бинарные предикаты

1 в неформальном смысле, связь и отношения - синонимы. Когда мы говорим о языке - это неформальный объект, поэтому это синонимы

2 здесь речь идет не о математическом смысле этих свойств. О математических свойствам симметричности, транзитивности, рефлексивности можно говорить только когда есть множество пар. Но позже будет приведена процедура перехода от этих "наивных" свойств к точным свойствам.

1 экспертиза и знания - это синонимы

1 Такое обычно бывает, когда эксперты из одной школы

2 Решетка (структура) - это множество, на котором определен частичный порядок и заданы максимальные и минимальные элементы.

3 Обработка репертуарных решеток - отдельная наука, этим занимаются психологи. Например, между этими элементами можно построить какие-то отношения: например если свойства пересекаются, то можно построить отношение сходства (с помощью рассмотренной выше стратегии подтверждении сходства). То есть далее уже можно автоматически пополнять базу знаний

1 все это относится к системам, которые не моделируют динамику. Для динамики также требуется, чтобы все процессы были консервативными, только тогда можно брать логический формализм.
1   ...   9   10   11   12   13   14   15   16   17

Похожие:

Методы представления знаний Формальные языки и формальные системы iconРабочая программа дисциплины теория автоматов и формальных языков направление подготовки
Уметь: строить формальные грамматики, деревья вывода, распознающие автоматы; анализировать формальные языки
Методы представления знаний Формальные языки и формальные системы icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Методы представления знаний Формальные языки и формальные системы iconЛекция 3 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы iconЛекция 4 Исчисления. Формальные системы. Формальные грамматики. Автоматы
...
Методы представления знаний Формальные языки и формальные системы icon1. Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки
Понятие информации. Виды информации. Роль информации в живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconКодирование информации
Представление информации. Язык как способ представления информации: естественные и формальные языки. Дискретная форма представления...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconБилет 1 Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные и формальные языки. Основные информационные процессы: хранение
Понятие информации. Виды информации. Роль информации и живой природе и в жизни людей. Язык как способ представления информации: естественные...
Методы представления знаний Формальные языки и формальные системы iconЭкзаменационные билеты по информатике 9 класс
Понятие информации. Виды информации. Язык как способ представления информации. Естественные и формальные языки. Основные информационные...
Методы представления знаний Формальные языки и формальные системы iconФормальные модели программных агентов в задаче семантического индексирования документов
В работе рассматриваются формальные модели делиберативных агентов, т е агентов базирующихся на базируется на принципах и методах...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org