 |
| |||
| автоматизированные рассуждения (brooker.co.za ssn); автоматизированное формирование рассуждений (IBM Alex_Odeychuk); автоматизированное построение логического вывода (Alex_Odeychuk); машинный поиск логического вывода (в ИИ – одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом) ssn) | |||
| автоматизированное построение логических рассуждений (Alex_Odeychuk) | |||
| автоматизация формулирования логических выводов | |||
| автоматизированный поиск логического вывода (ssn) | |||
|
automated reasoning : 10 צירופים, 3 נושאים |
| אסטרונאוטיקה | 1 |
| בינה מלאכותית | 7 |
| צבאי | 2 |