|
|
|
|
|
|
|
|
|
Синтез программ автоматический
Глоссарий по искусственному интеллекту |
Автоматическое построение программ по исходным условиям задачи. формально задача с.п.а. может быть поставлена следующим образом: по заданному значению х, удовлетворяющему предикату р (х), вычислить значение у, удовлетворяющее предикату r (х, у). здесь х, у - конечные множества входных и выходных переменных программы. отображение q = < p (x), r(x, y) > должно при этом содержать достаточно информации для синтеза нужной программы. различают три подхода: индуктивный синтез программ, дедуктивный синтез программ или трансформационный синтез программ.
|
|
Автоматическое, русский
Построение, русский
Построение , конструкция, устройство
Отображение, русский
- (в математике) множества х в множество y , соответствие, в силу которого каждому элементу х множества х соответствует определенный элемент у=f(х) множества y, называемый образом элемента х. напр., географическая карта может рассматриваться как результат отображения земной поверхности (или части ее) на кусок плоскости. термин "отображение" равнозначен термину "функция".
- Соответствие между элементами двух множеств, установленное по такому правилу, что каждому элементу одного множества ставится в соответствие некоторый элемент из другого множества.
Достаточно, русский
Достаточно , довольно
Информации, русский
Индуктивный, русский
Дедуктивный, русский
|
Робот интеллектуальный, русский
Автономный робот, в котором имеются все основные блоки, характерные для интеллектуальной системы. с их помощью реализуются функции общения р.и. с внешними партнерами, строятся программы поведения, накапливаются знания о внешней среде и действиях в ней, строятся планы поведения по достижению нужных целей.
Синтез программ трансформационный, русский
Автоматический синтез программ, в котором конструирование программы осуществляется последовательным преобразованием исходной спецификации в эквивалентную ей результирующую программу. с.п.т. обычно разбивается на следующие этапы: переход от формальной спецификации к рекурсивной версии программы общего вида; трансформация общерекурсивной версии в рекурсивную версию специального вида; переход от рекурсивной версии к итеративной версии.
|
|
|
|
|
|
|