|
|
|
|
|
|
|
|
|
Логика первого порядка
| Глоссарий по искусственному интеллекту |
Формальная система, в которой кванторы общности и существования могут связывать только индивидуальные переменные, но не могут связывать символы предикатов или иных функциональных символов.
|
|
Существования, русский
Пищи, воды, воздуха, тепла, света и др
|
Логика индуктивная, русский
- Формальная система, описывающая правила формирования общих утверждений на основе конечного множества частных утверждений. в л.и. все утверждения взвешиваются оценками правдоподобности, характеризующими истинность этих утверждений.
- Логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания сл
Логика эпистемиологическая, русский
Формальная система, в которой используются операторы типа "знает", "хочет", "верит" и т.п.
|
|
|
|
|
|
|
