Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008.
В книге представлено описание разработанного автором пакета прикладных программ «Логическая система “Искра”», обобщающего многолетний опыт компьютерного моделирования логических процессов, в результате которого возникла развитая технология обучения «решателя» В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики Создана база приемов решателя задач, насчитывающая в настоящее время около 25 тыс приемов Фактически возникла мощная система символьной компьютерной математики нового типа, позволяющая не только получать ответы, но и прослеживать ход решения по шагам Для обучения «решателя» был развит новый язык, объединяющий в себе два логических уровня — предметной области и принятия решений, что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов Прилагается адрес в сети программы «решателя».
Студентам, аспирантам и специалистам по искусственному интеллекту, программированию и компьютерной математике.
ЛОГИЧЕСКИЙ ЯЗЫК РЕШАТЕЛЯ ЗАДАЧ.
В системе используется логический язык открытого типа, пополняемый в процессе обучения. Для каждого нового понятия вводятся свои правила образования с его помощью корректных синтаксических конструкций и свои соглашения о их смысловой интерпретации, учитываемые при создании приемов, использующих данное понятие При этом соблюдаются некоторые простейшие общие требования, которые будут изложены в данном разделе. Мы дадим достаточно подробное (хотя и не полное) перечисление используемых в языке способов записи понятий из различных разделов математики, так как представление о них необходимо для правильной постановки задач решателю. Кроме того, оно понадобится далее при разборе примеров Напомним, что ниже речь идет лишь о внутреннем представлении утверждений в решателе; для диалога с пользователем применяется внешняя запись, приближенная к стандартной математической, которая автоматически транслируется во внутреннее представление. Впрочем, для получения необходимой логической однозначности иногда приходится вводить коррективы и в эту стандартную запись Хотя в целом материал данной главы имеет справочный характер — перечисляются понятия из различных областей, отобранные для использования в решателе, — в отдельных случаях выбор формализации все же требует определенных пояснений.
Алфавит языка состоит из элементов двух типов — логических символов и символов переменных. Логические символы обозначают конкретные понятия (отношения между объектами, операции над ними, имена объектов, логические связки, кванторы и т. д.), переменные служат для обозначения варьируемых объектов. Символы каждого типа пронумерованы последовательными натуральными числами. В компьютерной реализации для этих номеров зарезервированы диапазоны от 1 до 216-1 Логические символы, по существу, отождествлены со своими номерами, и в этом смысле все они изначально имеются в алфавите логического языка Однако используемыми на текущий момент считаются только те из них, для которых введено название — слово либо словосочетание, имеющее не более 24 букв либо цифр Такие названия хранятся в специальном файле и легко могут быть изменены Внутренние алгоритмы системы этих названий не используют — они нужны только для отображения логических символов на экране в различных диалогах.
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12758 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Архив журнала Юный Техник за 1956-1959 годы (все номера)Автор: КоллективИздательство: Молодая ГвардияГод издания: 1956-1959Язык: РусскийФормат: djvu-zipКачество: отличноеРазмер: 330 МбОпис . . .
Название: Femjoy. Melissa "What a lady"Автор: н/дСтраниц: 55Язык: АнглийскийФормат: jpgКачество: отличноеРазмер: 30,6 МбОписание: Описание отсутствует . . .
Название: Сказки. Людмила ПетрушевскаяАвтор: Людмила ПетрушевскаяИздательство: Радио РоссииГод издания: 2008Язык: РусскийФормат: MP3Битрейт аудио: 128 Кбит/секВремя звучания: 02:00:55Читает: Людмила . . .
Автор: Hisham Elkadi Год издания: 2006 Формат: pdf Издат.: Ashgate Страниц: 103 Размер: 2,7 mb Язык: Английский I have always been a great admirer of the ancient Eg . . .
Автор: Thomas Wells Schaller Год издания: 1997 Формат: pdf Издат.: Wiley Страниц: 192 Размер: 10 mb Язык: Английский This stunning new book celebrates the power and . . .
Автор: Oleg Grabar Год издания: 1991 Формат: pdf Издат.: Brill Academic Publishers Страниц: 138 Размер: 7.3 mb Язык: Английский Oleg Grabar, K.A.C Creswell and His . . .
Автор: Kennedy, Gerard B. McCabe, James R. Kennedy Год издания: 2003 Формат: pdf Издат.: Libraries Unlimited Страниц: 296 Размер: 2,4 mb Язык: Английский This colle . . .
Автор: Коллектив авторов Год издания: 2003 Формат: pdf Издат.: ФБК-Пресс Страниц: 528 Размер: 25 Мб ISBN: 5-88103-091-5 Язык: Русский Баз . . .
Автор: Роджер Л. Миллер, Дэвид Д. Ван-Хуз Год издания: 2000 Формат: pdf Издат.: ИНФРА-М Страниц: 856 Размер: 48,0 Мб ISBN: 5-86225-819-1 Язык: Рус . . .
Автор: Масленченков Ю.С., Дубанков А.П. Год издания: 2003 Формат: doc Издат.: БДЦ-Пресс Страниц: 168 Размер: 1,4 Мб ISBN: 5-93306-018-6 Язык: Русс . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Компьютерное моделирование логических процессов, Архитектура и языки решателя задач, Подколзин А.С., 2008. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.