x-uni.com
регистрация / вход
сейчас на линии 167 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 167 чел.
Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984

Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984

Автоматическое образование гипотез, Математические основы общей теории, Гаек П., Гавранек Т., 1984.

  Проблематика книги связана с известным вопросом искусственного интеллекта: "может ли машина мыслить? ", который понимается авторами как вопрос: "может ли машина формулировать и проверять гипотезы? ". Книга содержит две части: "логика индукции" и "логика открытия".
В книге рассматриваются нестандартные логические исчисления с обобщенными кванторами в смысле А. Мостовского (в том числе многозначные исчисления), которые применяются для формализации рациональных индуктивных выводов и для построения логических основ вычислительной статистики. В книге излагается метод автоматического образования гипотез и исследуются вопросы вычислительной сложности рассматриваемых процедур.
Книга предназначена для специалистов по искусственному интеллекту, программированию, математической логике, а также для философов, интересующихся проблемами индукции.

ЛОГИКА ЭМПИРИЧЕСКИХ ФУНКТОРНЫХ ИСЧИСЛЕНИЙ.
Эмпирические исчисления являются логическими системами, подобными исчислению предикатов первого порядка; таким образом, их можно рассматривать с логической точки зрения. В частности, для них можно естественным образом сформулировать вопросы относительно разрешимости, аксиоматизируемости и определимости. Может показаться, что эмпирические исчисления также должны были бы исследоваться в "чистой" символической логике, однако проблема состоит в том, что логика эмпирических исчислений важна для искусственного интеллекта и, более общо, для вычислительной науки. Мы полагаем, что должно иметь место следующее.

(1) Вопросы, касающиеся разрешимости эмпирических исчислений, связаны с образованием гипотез. Основанием для этого служит следующее соображение: никто не стал бы считать тавтологию наблюдением, сообщающим информацию относительно частных данных, если бы он знал, что рассматриваемое высказывание — тавтология. Можем ли мы распознавать тавтологии эмпирического исчисления, которые мы используем? Естественно, что ответ на вопрос относительно разрешимости эмпирических исчислений может нас удовлетворить лишь частично. Если ответ на вопрос относительно разрешимости рассматриваемого исчисления является положительным, то возникает последующий вопрос относительно сложности проблемы разрешения. Если ответ на вопрос относительно разрешимости рассматриваемого исчисления является отрицательным, то возникает задача нахождения естественных подклассов Sent0 множества всех предложений Sent таких, что проблема распознавания тавтологии, ограниченная на Sent0, становится разрешимой.

ОГЛАВЛЕНИЕ
От редактора русского перевода
Предисловие к русскому изданию
Предисловие
Глава 1. Введение: что есть логика открытия?
1.1. Неформальные рассмотрения
1.2. Некоторые математические понятия
Задачи и дополнения
ЧАСТЬ I. ЛОГИКА ИНДУКЦИИ
Глава 2. Формализация эмпирического и теоретического языков
2.1. Структуры
2.2. Эмпирические исчисления предикатов
2.3. Функторные исчисления
2.4. Функторные исчисления с моделями, зависящими от состояний (исчисления, зависящие от состояний)
Задачи и дополнения
Глава 3. Логика эмпирических функторных исчислений
3.1. Монадические эмпирические исчисления предикатов
3.2. Ассоциативные и импликационные кванторы
3.3. Исчисления с неполной информацией
3.4. Исчисления с качественными значениями
3.5. Еще о логике эмпирических исчислений предикатов
Задачи и дополнения
Глава 4. Логические основы вычислительной статистики
4.1. Предварительное обсуждение
4.2. Понятие статистики
4.3. Форма теоретических предложений и правил вывода
4.4. Эмпирические исчисления предикатов, основанные на статистических процедурах
4.5. Некоторые свойства статистически мотивированных эмпирических исчислений предикатов
Задачи и дополнения
Глава 5. Ранговые исчисления
5.1. Обобщенные случайные структуры и гипотеза Н о d-однородности.
5.2. Ранговые критерии d-однородности и независимости
5.3. Функ торные исчисления с нумерованными моделями
5.4. Эмпирические монадические функторные исчисления с рационально-значными моделями
Задачи и дополнения
ЧАСТЬ II. ЛОГИКА ВЫДВИЖЕНИЯ ГИПОТЕЗ
Глава 6. Перечень важных эмпирических утверждений и связанных с ними логических проблем
6.1. Эмпирические проблемы исследования и их решения
6.2. Косвенные решения
6.3. Полезные кванторы в Х-номинальном исчислении
6.4. Несокращаемость
Задачи и дополнения
Глава 7. Общий GUHA-метод с ассоциативными кванторами
7.1. Система r-проблем
7.2. Решения
7.3. Замечания по поводу реализации и оптимизации
7.4. Несколько замечаний по поводу GUHA-метода, основанного на ранговом исчислении
Задачи и дополнения
Глава 8. Дальнейшие статистические проблемы логики открытия
8.1. Локальная интерпретация
8.2. Глобальная интерпретация
8.3. Некоторые статистические проблемы
Задачи и дополнения
Дополнение. Некоторые замечания по поводу истории GUHA-метода и логики открытия
Основные сокращения
Основные обозначения
Литература
Предметный указатель.

Скачать бесплатно на сайте fileskachat.com
Скачать бесплатно на сайте yadi.sk

Предложения интернет-магазинов

Химия. Основы общей химии. 11 класс. Учебник. Базовый уровень (+DVD). ФГОС

Автор(ы): Рудзитис Гунтас Екабович, Фельдман Фриц Генрихович   Издательство: Просвещение, 2014 г.  Серия: Химия

Цена: 675 руб.   Купить

Химия. Основы общей химии. 11 класс: Учебник дл общеобразовательных учреждений с приложением на электронном носителе: базовый уровень. Рекомендовано Министерством образования и науки Российской Федерации.


Четырехзначные математические таблицы

Автор(ы): Брадис Владимир Модестович   Издательство: Дрофа, 2015 г.  Серия: Математика

Цена: 124 руб.   Купить

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


Основы перевода. Курс лекций по теории и практике перевода для институтов и факультетов международн.

Автор(ы): Мирам Г. Э., Дайнеко В. В., Гон А. М.   Издательство: Омега-Л, 2013 г.

Цена: 287 руб.   Купить

Учебное пособие "Основы перевода" - первая часть лекционного курса по теории и практике перевода, предназначенного для студенческой аудитории институтов и факультетов международных отношений, учитывающее языковую и коммуникативную специфику подготовки специалистов широкого гуманитарного профиля, в частности, таких специальностей, как международные отношения, международное право, международная информация и международные экономические отношения. Пособие подготовлено кафедрой иностранных языков Института международных отношений Киевского национального университета имени Тараса Шевченко. Коллектив авторов: д-р филол. наук, проф. Мирам Г. Э., канд. филол. наук, доц. Дайнеко В. В., канд. филол. наук, доц. Гон А. М., преподаватели Тарануха Л. А. и Грищенко М. В.


Биология. 9 класс. Основы общей биологии. Рабочая тетрадь

Автор(ы): Бодрова Наталья Федоровна   Издательство: Метода, 2014 г.  Серия: Основная школа/Биология. Экология

Цена: 133 руб.   Купить

Рабочая тетрадь разработана в соответствии с ФГОС и входит в состав учебно-методического комплекта, который включает в себя также методическое пособие для учителя. Ее можно использовать для организации самостоятельной работы учащихся в процессе обучения биологии в 9 классе по учебнику Т.М. Ефимовой, А.О. Шубина, Л.Н. Сухоруковой "Основы общей биологии. 9 класс" (издательство "Мнемозина"); А.А. Каменского, Е.А. Криксунова, В.В. Пасечника "Биология. Введение в общую биологию и экологию. 9 класс" (издательство "Дрофа"); И.Н. Пономаревой, О.А. Корниловой, Н.М. Черновой "Биология. 9 класс" (издательство "Вентана-Граф"); А.В. Теремова, РА. Петросовой. А.И. Никишова "Биология. Общие закономерности жизни: 9 класс" (гуманитарный издательский центр ВЛАДОС). Работа с таблицами, схемами и рисунками, представленными в тетради, способствует формированию и развитию универсальных учебных действий.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!