• ВХОД

    •  

    Полное описание

    Подколзин, А. С. Компьютерное моделирование логических процессов. Архитектура и язык решателя задач / А. С. Подколзин. - 1. - М. : Физматлит, 2008 (Чебоксары). - 1022 с. - 300 экз. - ISBN 978-5-9221-1045-7. - Текст : непосредственный.
    Содержание:

    ГРНТИ УДК
    28.23.33004.8
    ББК
    32.81

    Рубрики:
    Искусственный интеллект

    Аннотация: В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.

    http://znanium.com/catalog/document/?pid=186565&id=119576


    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-08/45660)

    Шифр в сводном ЭК: b4ca9f400020a10648ecec7bd508a4c1



    Заказ фрагмента документа ₽

    Просмотр издания Электронная библиотечная система ZNANIUM