 |
Terms for subject Artificial intelligence containing automated reasoning | all forms | exact matches only | in specified order only
| English | Russian |
| automated reasoning | автоматизированное построение логического вывода (Alex_Odeychuk) |
| automated reasoning | машинный поиск логического вывода (в ИИ – одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом) ssn) |
| automated reasoning | автоматизированное формирование рассуждений (IBM Alex_Odeychuk) |
| automated reasoning engine | механизм автоматизированных рассуждений (Alex_Odeychuk) |
| automated reasoning engine | механизм автоматического формирования рассуждений (Alex_Odeychuk) |
| automated reasoning engine | механизм автоматизированного поиска логического вывода (Alex_Odeychuk) |
| automated reasoning tool | инструментальное средство автоматизированных рассуждений (Alex_Odeychuk) |
| perform automated reasoning | выполнять автоматизированное формирование рассуждений (Alex_Odeychuk) |
| perform automated reasoning | выполнять автоматизированный поиск логического вывода (Alex_Odeychuk) |