Особливості організації сучасних систем автоматизації міркувань

• Дата: 2003
• Автор: Мороховець, М.К.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут проблем математичних машин і систем НАН України 2003
• Теми: Програмно-технічні комплекси
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/730
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Особливості організації сучасних систем автоматизації міркувань / Мороховець М.К. // Математичні машини і системи. – 2003. – № 2. – С. 140 – 145

Аналізуються різні форми взаємодії сучасних систем автоматизації міркувань (САМ) з іншими програмними засобами розв’язання математичних задач. Сучасні САМ розглянуто з точки зору їх складу. На основі проведеного аналізу сформульовані основні проблеми та виділені можливі напрямки розвитку САМ. Іл.: 1. Бібліогр.: 28 назв. Анализируются различные формы взаимодействия современных систем автоматизации рассуждений (САР) с другими программными средствами решения математических задач. Современные САР рассмотрены с точки зрения их состава. На базе проведенного анализа сформулированы основные проблемы и выделены возможные направления развития САР. Ил.: 1. Библиогр.: 28 назв. Various forms of the interaction of modern systems for automated reasoning (ARS) with other software tools for solving mathematical problems are observed. Modern ARS are considered in a compositional aspect. On the base of the analysis done, the main problems and possible directions of the development of ARS are formulated. Fig.: 1. Refs.: 28 titles.