Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008


Книга Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008

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

ЛОГИЧЕСКИЙ ЯЗЫК РЕШАТЕЛЯ ЗАДАЧ.
В системе используется логический язык открытого типа, пополняемый в процессе обучения. Для каждого нового понятия вводятся свои правила образования с его помощью корректных синтаксических конструкций и свои соглашения о их смысловой интерпретации, учитываемые при создании приемов, использующих данное понятие При этом соблюдаются некоторые простейшие общие требования, которые будут изложены в данном разделе. Мы дадим достаточно подробное (хотя и не полное) перечисление используемых в языке способов записи понятий из различных разделов математики, так как представление о них необходимо для правильной постановки задач решателю. Кроме того, оно понадобится далее при разборе примеров Напомним, что ниже речь идет лишь о внутреннем представлении утверждений в решателе; для диалога с пользователем применяется внешняя запись, приближенная к стандартной математической, которая автоматически транслируется во внутреннее представление. Впрочем, для получения необходимой логической однозначности иногда приходится вводить коррективы и в эту стандартную запись Хотя в целом материал данной главы имеет справочный характер — перечисляются понятия из различных областей, отобранные для использования в решателе, — в отдельных случаях выбор формализации все же требует определенных пояснений.
Алфавит языка состоит из элементов двух типов — логических символов и символов переменных. Логические символы обозначают конкретные понятия (отношения между объектами, операции над ними, имена объектов, логические связки, кванторы и т. д.), переменные служат для обозначения варьируемых объектов. Символы каждого типа пронумерованы последовательными натуральными числами. В компьютерной реализации для этих номеров зарезервированы диапазоны от 1 до 216-1 Логические символы, по существу, отождествлены со своими номерами, и в этом смысле все они изначально имеются в алфавите логического языка Однако используемыми на текущий момент считаются только те из них, для которых введено название — слово либо словосочетание, имеющее не более 24 букв либо цифр Такие названия хранятся в специальном файле и легко могут быть изменены Внутренние алгоритмы системы этих названий не используют — они нужны только для отображения логических символов на экране в различных диалогах.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12761 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Сердце Волка.

    Сердце Волка.

    Название: Сердце Волка Автор: Мишель Пейвер Издательство: Росмэн-Пресс ISBN: 978-5-353-03670-8 Год издания: 2008 Страниц: 336 Язык: Русский Формат: rtf Размер: 5.08 МбОписание: Мальчик из племени Во . . .

  • Книга The Corps of Engineers: The War Against Germany.

    The Corps of Engineers: The War Against Germany.

    Название: The Corps of Engineers: The War Against Germany Автор: Alfred M. Beck, Abe Bortz, Charles W. Lynch, Lida Mayo, Ralph F. Weld Издательство: Center of Military History United States Army Год . . .

  • Книга The Corps of Engineers: Construction in the United States.

    The Corps of Engineers: Construction in the United States.

    Название: The Corps of Engineers: Construction in the United States Автор: Lenore Fine, Jesse A. Remington Издательство: Center of Military History United States Army Год издания: 1989 Страниц: 776 . . .

  • Книга The Corps of Engineers: The War Against Japan.

    The Corps of Engineers: The War Against Japan.

    Название: The Corps of Engineers: The War Against Japan Автор: Karl C. Dod Издательство: Center of Military History United States Army Год издания: 1987 Страниц: 776 Язык: Английский Формат: pdf Кач . . .

  • Книга Археологическая карта Причерноморья Украинской ССР.

    Археологическая карта Причерноморья Украинской ССР.

    Название: Археологическая карта Причерноморья Украинской ССР Автор: Фабрициус И.В. Издательство: АН Украинской ССР Год издания: 1951 Страниц: 150 Язык: Русский Формат: PDF Размер: 5,11 МбОписание: Р . . .

  • Книга Материалы по истории киргизов и Киргизии. Выпуск I.

    Материалы по истории киргизов и Киргизии. Выпуск I.

    Название: Материалы по истории киргизов и Киргизии. Выпуск I Автор: Ромодин В.А. Издательство: Наука Год издания: 1973 Страниц: 283 Язык: Русский Формат: PDF Размер: 11,01 МбОписание: В сборник вклю . . .

  • Книга Население Западной Сибири до начала русской колонизации.

    Население Западной Сибири до начала русской колонизации.

    Название: Население Западной Сибири до начала русской колонизации Автор: Бояршинова З.Я. Издательство: Изд-во Томского ун-та Год издания: 1960 Страниц: 155 Язык: Русский Формат: PDF Размер: 6,17 МбО . . .

  • Книга Краснозвездные "американцы" Сталина. А-20 "Бостон".

    Краснозвездные "американцы" Сталина. А-20 "Бостон".

    Название: Краснозвездные "американцы" Сталина. А-20 "Бостон" Автор: Владимир Котельников Издательство: ВЭРО Пресс, Яуза, Эксмо Год издания: 2010 Страниц: 128 Язык: Русский Формат: pdf Качество: отли . . .

  • Книга 45-секундная презентация, или Уроки на салфетках.

    45-секундная презентация, или Уроки на салфетках.

    Название: 45-секундная презентация, или Уроки на салфетках Автор: Дон Фэйлла Издательство: ФАИР ISBN: 978-5-8183-1540-9, 1-933057-32-7 Год издания: 2009 Страниц: 160 Язык: Русский Формат: rtf Размер . . .

  • Книга Школа Гастронома. Блюда из картофеля и капусты.

    Школа Гастронома. Блюда из картофеля и капусты.

    Название: Школа Гастронома. Блюда из картофеля и капусты Автор: коллектив Издательство: Эксмо Год издания: 2010 Страниц: 64 Язык: Русский Формат: djvu Качество: хорошее Размер: 7.8 МбОписание: Школа . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.