|
|
|
|
|
|
|
|
|
Закон исключенного третьего
| Глоссарий по искусственному интеллекту |
Один из базовых законов рассуждений, характерных для традиционных формальных систем. он утверждает, что выражение (a v ¬a) является тождественно истинным. з.и.т. подвергался критике и отвергался логиками, стоящими на позиции интуиционистской математики и конструктивной математики.
|
|
|
Распознавание речи, русский
Один из видов восприятия в интеллектуальных системах. в процессоре р.р. происходит анализ входного акустического сигнала, выделение в нем фонем, слов, лексем, стандартных кусков текста, которые соотносятся с информацией, хранящейся в базе знаний системы, что позволяет системе понимать вводимый текст. различают р.р. на уровне отдельных слов, произносимых стандартным диктором, а также с подстройкой системы к особенностям произношения конкретного диктора, и р.р., относящиеся к слитному тексту. в настоящее время реализованы системы р.р.д, позволяющие уверенно определять значение 1 - 2 тыс. слов, а также анализировать слитный текст, в котором используются не слишком большие словари.
Закон снятия двойного отрицания, русский
Один из базовых законов рассуждений, характерных для традиционных формальных систем. он утверждает, что всегда имеет место равенство a=a.
|
|
|
|
|
|
|
