Логическое моделирование

Логическое моделирование

Bibliographic Details
Main Author:	Попов С. В. Сергей Викторович
Summary:	Логическое моделирование представляет собой новое направление в разработке моделей предметных областей с большим числом отношений между объектами. Подобные задачи типичны для искусственного интеллекта, когда решение принимается с использованием длинных последовательностей логических правил. Логическое моделирование заменяет программирование в обычном смысле на декларативное описание предметной области с последующей формулировкой задачи в терминах, близких к содержательным. Затем решение ищется автоматически с использованием формальных логических преобразований. Тем самым исключаются такие этапы решения задач, как алгоритмизация, программирование и отладка программ. Приводится теоретический базис и описывается практическая реализация системы логического моделирования. Разбирается большое число примеров. Для студентов, аспирантов и специалистов, желающих познакомиться с логическими методами решения прикладных задач.
Published:	Москва, Тровант, 2006
Subjects:	логическое моделирование переменные формулы связки пропорциональные задачи геометрическая интерпретация матрицы кодирование задачи первого порядка структурированные задачи
Format:	Book
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=113133

Similar Items

Математическая логика курс лекций учебное пособие
by: Тимофеева И. Л. Ирина Леонидовна
Published: (Москва, Университет, 2007)

Сборник задач по дифференциальным уравнениям
by: Филиппов А. Ф. Алексей Федорович
Published: (Москва, Регулярная и хаотическая динамика, 2004)

Дифференциальные уравнения учебное пособие
by: Волков Е. А.
Published: (Москва, [Б. и.], 1977)

Сборник задач по дифференциальным уравнениям
by: Филиппов А. Ф. Алексей Федорович
Published: (Москва, Регулярная и хаотическая динамика, 2003)

Логическое программирование в занимательных задачах
by: Касаткин В. Н. Валентин Николаевич
Published: (Киев, Технiка, 1980)

Прикладная логика
by: Попов С. В. Сергей Викторович
Published: (Москва, Физматлит, 2011)

Дифференциальные уравнения учебное пособие
by: Иткина Н. Б.
Published: (Новосибирск, НГТУ, 2023)

Моделирование процессов средствами дифференциальных уравнений
by: Нахман А. Д.
Published: (Тамбов, ТГТУ, 2019)

Т. III
Published: (1958)

Сборник задач по дифференциальным уравнениям: [учебное пособие]/ А. Ф. Филиппов [учебное пособие]
by: Филиппов А. Ф. Алексей Федорович
Published: (Москва, Изд-во ЛКИ, 2008)

Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
by: Петрова Л. П.
Published: (Воронеж, ВГУ, 2015)

Характеристики пропорционального счётчика, заполненного CF4 с добавками Xe
Published: (2003)

Дифференциальные уравнения в естественно-научных и технических задачах учебное пособие для студентов бакалавриата, обучающихся по направлению 01.03.04 прикладная математика, профиль «математическое моделирование в экономике и технике»
by: Сорока М. С.
Published: (Воронеж, ВГПУ, 2022)

Сборник задач по аналитической геометрии учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Государственное издательство технико-теоретической литературы, 1955)

Математический анализ учебное пособие
by: Волкова С. Н.
Published: (Курск, Курский ГАУ, 2015)

Аналитический метод решения уравнений математической физики учебное пособие
by: Якимов А. С. Анатолий Степанович
Published: (Томск, Изд-во ТГУ, 2010)

Логическое управление Методы аппаратной и программной реализации алгоритмов
by: Шалыто А. А. Анатолий Абрамович
Published: (СПб., Наука, 2000)

Краткий курс аналитической геометрии учебник для вузов
by: Ефимов Н. В. Николай Владимирович
Published: (Москва, Физматлит, 2006)

Квадратичные формы и матрицы учебное пособие для вузов
by: Ефимов Н. В. Николай Владимирович
Published: (Москва, Физматгиз, 1963)

Сборник задач по аналитической геометрии учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Санкт-Петербург, Лань, 2010)

Вып. 155 : Прикладное программное обеспечение и моделирование суперсистем
Published: (1991)

Геометрия учебник
by: Кузютин В. Ф. Вячеслав Федорович
Published: (СПб., Лань, 2003)

Дискретная математика для программистов учебное пособие
by: Новиков Ф. А. Федор Александрович
Published: (СПб., Питер, 2006)

Дискретная математика для программистов учебное пособие
by: Новиков Ф. А. Федор Александрович
Published: (СПб., Питер, 2008)

Основы математической логики учебное пособие
by: Репницкий В. Б.
Published: (Екатеринбург, ЕАСИ, 2015)

Применение комплексных диаграмм и теории функций комплексной переменной к теории упругости
by: Колосов Г. В. Гурий Васильевич
Published: (Москва, ЛЕНАНД, 2016)

Курс дифференциальных уравнений и вариационного исчисления учебное пособие
by: Романко В. К. Василий Кириллович
Published: (Москва, Лаборатория Базовых Знаний, 2000)

Сборник задач по математической физике учебное пособие
by: Будак Б. М. Борис Михайлович
Published: (Москва, Физматлит, 2004)

Аддитивные схемы для задач математической физики
by: Самарский А. А. Александр Андреевич
Published: (Москва, Наука, 2001)

Курс вариационного исчисления учебник
by: Гюнтер Н. М. Николай Максимович
Published: (Санкт-Петербург, Лань, 2009)

Дифференциальные уравнения в упражнениях и задачах учебное пособие
by: Асхабов С. Н.
Published: (Грозный, ЧГПУ, 2018)

Пособие к решению задач по высшей математике
by: Гусак А. А.
Published: (Минск, Изд-во ВГУ, 1973)

Статистическое моделирование учебное пособие
by: Ермаков С. М. Сергей Михайлович
Published: (Москва, Наука, 1982)

Линейная алгебра и аналитическая геометрия тестовые задания по высшей математике
by: Кабанова Л. И. Людмила Игоревна
Published: (Томск, Изд-во ТПУ, 2005)

Методы оптимизации. Линейное программирование учеб. пособие
by: Алексеев А. Б.
Published: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)

Сборник задач по дифференциальным уравнениям и вариационному исчислению
Published: (Москва, ЮНИМЕДИАСТАЙЛ, 2002)

Дифференциальные уравнения пер. с англ.
by: Трикоми Ф.
Published: (Москва, Изд-во иностранной литературы, 1962)

Упругое предварительное смещение при пропорциональном изменении сжимающей и сдвигающей сил
by: Коняхин И. Р. Илья Романович
Published: (1968)

Управленческие решения в экономических системах учебник
by: Афоничкин А. И. Александр Иванович
Published: (СПб., Питер, 2009)

Сборник задач по аналитической геометрии учебное пособие
by: Клетеник Д. В. Давид Викторович
Published: (Москва, Наука, 1964)