|
|
|
|
|
|
|
|
|
Синтез программ дедуктивный
| Глоссарий по искусственному интеллекту |
Автоматический синтез программ в котором используется формальный метод построения программ; вывод программы из заданной спецификации рассматривается как задача конструктивного доказательства существования нужного решения. в ходе реализации с.п.д. часто используются методы автоматического доказательства теорем в исчислении предикатов первого порядка.
|
|
Автоматический, русский
- ~ key management автоматическое управление ключами
- Self-acting discharge valve
Формальный, русский
- Формальный , внешний, мнимый, официальный, торжественный
- 1. формальный 2. примерный, ориентировочный 3. применительно к финансовой отчетности: метод отражения активов и пассивов или финансовых результатов, основанный на определенных предположениях. например, формальная статья баланса компании может учитывать сл
- – существующий только по видимости, по форме, относящийся только к форме, касающийся формы, но не содержания; иногда имеет смысл абстрактного, далекого от жизни (см. форма); основанный на принципах формализма,
- Официальный, законный, произведенный по правильной форме. в науке
Доказательства, русский
- Любые фактические данные (информация) по уголовному делу. на основе которых в определенном законом порядке орган дознания, следователь и суд устанавливают наличие или отсутствие преступления (время, место,способ и другие обстоятельства совершения преступл
- , в праве - фактические данные об обстоятельствах, имеющих значение для правильного разрешения уголовного или гражданского дела. содержатся в показаниях, вещественных доказательствах, заключениях экспертов, протоколах и др. различают доказательства прямые и косвенные (улики). ни одно из доказательств не имеет преимущественного значения.
Существования, русский
Пищи, воды, воздуха, тепла, света и др
|
Синтез программ индуктивный, русский
Автоматический синтез программ опирающийся на нахождение общих для заданного множества примеров процедур, ведущих к решению задачи. с.п.и. может осуществляться на синтаксическом уровне, когда используются внешние признаки программ, или на семантическом уровне, когда в основе лежит семантика модели программы.
Автомат бесконечный, русский
Автомат, у которого множество внутренних состояний является счетным, в частности, машина поста и машина тьюринга.
|
|
|
|
|
|
|
