Компьютерное моделирование логических процессов

Подколзин А.С.

Научная монография (2008)

Данная монография описывает многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения решателей. Обучение компьютерной системы предпринималось в различных областях математики и в элементарной физике. Моделировались также логические процессы, возникающие при анализе текстов естественного языка, анализе изображений и принятии решений в игровых ситуациях. Всего было проработано около 9 тысяч задач и создано около 25 тысяч приемов. Поведение системы в тех областях, где был накоплен необходимый критический минимум приемов, выглядит вполне целесообразным и доказывает правильность предлагаемого подхода. Ход рассуждений демонстрируется по шагам, причем во многих разделах уровень сложности решаемых задач достаточно серьезен. Книга посвящена общему описанию архитектуры компьютерной системы и языкам программирования, созданным для ускорения процесса обучения. Эти языки, ЛОС (Логический Описатель Ситуаций) и ГЕНОЛОГ (ГЕНетический язык ЛОГического программирования), подняли обучение решателей практически до уровня формулировки математических теорем. Первый из них – чуть выше уровня ПРОЛОГ'а, второй – относится к первому примерно так же, как ПРОЛОГ к ассемблеру.

Другие произведения автора:

№	Название	Год	Текст	Тип	Действия
1.	Раскрыть Введение в теорию автоматов Кудрявцев В.Б., Алешин С.В., Подколзин А. С.	1985		научная монография
	Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов. Для специалистов,... Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управление Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный
2.	Раскрыть Введение в теорию интеллектуальных систем Кудрявцев В.Б., Гасанов Э. Э., Подколзин А. С.	2006		учебное пособие
	Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Для... Смотри категории знания: кибернетика, математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов

Другие произведения в категории:

№	Название	Год	Текст	Тип	Действия
1.	Раскрыть Алгебра логики Кудрявцев В.Б., Блохина Г.Н., Кнап Ж., Кудрявцев В. В.	2006		учебное пособие
	В книге излагаются основные разделы дискретной математики, связанные с логикой и ее приложениями, именуемые алгеброй логики. Она содержит 4 раздела: Алгебра высказываний, Исчисление высказываний, Минимизация булевых функций и Алгебры булевых функций. Изложение ведется в традиционной манере и использует современный алгебро-логический язык подачи материала. Книга рассчитана на... Смотри категорию знания: математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов
2.	Раскрыть Введение в кибернетику Глушков В.М.	1964		научная монография
	В книге собран и обобщен материал, необходимый для построения таких разделов современной кибернетики, как теория электронных цифровых машин, теория дискретных автоматов и теория дискретных самоорганизующихся систем, автоматизация мыслительных процессов, теория распознавания образов и др. Изложены основы теории булевых функций, теория алгоритмов, логические исчисления и... Смотри категорию знания: математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный
3.	Раскрыть Введение в теорию автоматов Кудрявцев В.Б., Алешин С.В., Подколзин А. С.	1985		научная монография
	Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов. Для специалистов,... Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управление Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный
4.	Раскрыть Введение в теорию интеллектуальных систем Кудрявцев В.Б., Гасанов Э. Э., Подколзин А. С.	2006		учебное пособие
	Учебное пособие написано на основе специального курса "Теория интеллектуальных систем", читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Для... Смотри категории знания: кибернетика, математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов
5.	Раскрыть Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты Бабин Д.Н	2009		—
	Рассматриваются базисы вида Ф U ν, где Ф – некоторый замкнутый класс булевых функций, заданный своим конечным базисом, а ν – конечная система автоматных функций. Описаны все классы Поста Ф, для которых разрешима проблема полноты и, соответственно, А-полноты для базиса Ф U ν. Приведены аналогичные результаты для многозначных логик. Для студентов, аспирантов и... Смотри категории знания: кибернетика, математическая кибернетика
6.	Раскрыть Синтез цифровых автоматов Глушков В.М.	1962		научная монография
	Главной и определяющей задачей изложения является такой подбор материала и такой характер его изложения, который дал бы возможность широкому кругу лиц и прежде всего широкому кругу математиков, не знакомых с радиотехникой, электроникой и импульсной техникой, понять суть проблем, встающих при синтезе схем современных сложных цифровых автоматов и прежде всего электронных... Смотри категории знания: кибернетика, математическая кибернетика, автоматика и управление Разделы каталога: математика, физика Уровень подготовки аудитории: студенты вузов, профессиональный
7.	Раскрыть Теория сложности информационного поиска Гасанов Э. Э.	2005		учебное пособие
	Учебное пособие написано на основе специальных курсов "Теория баз данных и информационного поиска" и "Теория интеллектуальных систем", читаемых на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В.Ломоносова. В книге вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий... Смотри категорию знания: математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов
8.	Раскрыть Теория тестирования логических устройств Кудрявцев В.Б., Гасанов Э. Э., Долотова О.А., Погосян Г. Р.	2006		научная монография
	Тестирование логических устройств -активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро и структурном уровнях. В книге эта тематика... Смотри категории знания: кибернетика, математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный
9.	Раскрыть Теория тестового распознавания Кудрявцев В.Б., Андреев А. Е., Гасанов Э. Э.	2007		научная монография
	Описывается логический подход к распознаванию образов. Его основным понятием выступает тест. Анализ совокупности тестов позволяет строить функционалы, характеризующие образ и процедуры вычисления их значений. Указываются качественные и метрические свойства тестов, функционалов и процедур распознавания. Приводятся результаты решения конкретных задач. Книга может быть... Смотри категории знания: кибернетика, математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный
10.	Раскрыть Теория хранения и поиска информации Гасанов Э. Э., Кудрявцев В.Б.	2002		научная монография
	В монографии вводится новый вид представления баз данных, называемый информационно-графовой моделью данных, обобщающий известные ранее модели данных. Рассматриваются основные типы задач поиска информации в базах данных и исследуются проблемы сложности решения этих задач применительно к информационно-графовой модели. Разработан математический аппарат решения этих задач,... Смотри категории знания: кибернетика, математическая кибернетика Раздел каталога: математика Уровень подготовки аудитории: студенты вузов, профессиональный