![]() |
| |||
автоматизированное формирование рассуждений (IBM Alex_Odeychuk); автоматизированное построение логического вывода (Alex_Odeychuk); машинный поиск логического вывода (в ИИ – одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом) ssn) | |||
автоматизация формулирования логических выводов | |||
автоматизированное построение логических рассуждений (Alex_Odeychuk) | |||
автоматизированный поиск логического вывода (ssn); автоматизированные рассуждения (ssn) |
automated reasoning : 9 phrases in 3 subjects |
Artificial intelligence | 6 |
Astronautics | 1 |
Military | 2 |