|
|
|
|
|
|
|
|
|
Липс
| Глоссарий по искусственному интеллекту |
Единица измерения производительности машины вывода (от англ. logical interence persecond), равная числу логических выводов, выполняемых в одну секунду. как правило, для реализации одного логического вывода требуется от 10 до 100 команд эвм.
|
|
|
Формула общезначимая, русский
Замкнутая формула, сохраняющая тождественную истинность при всех интерпретациях.
Дизъюнкт хорна, русский
Дизъюнкт, содержащий не более одной положительной литеры.
|
|
|
|
|
|
|
