В чем основная сложность формализации естественного языка? В том, что нам привычней формализовывать его с помощью языка же, что приводит к дурной бесконечности. Язык – сам по себе средство формализации, которым человечество давно и небезуспешно пользуется.
Берем первое попавшееся определение:
Полет – самостоятельное перемещение объекта в газообразной среде или вакууме.
В нем шесть терминов, которые в свою очередь требуют определения:
- самостоятельный,
- перемещение,
- объект,
- газообразный,
- среда,
- вакуум.
Каждый из терминов имеет свои дефиниции, через которые получим новые дефиниции, требующие нового определения, и т.д. В конце концов окажется, что всем использованным терминам дефиниции даны ранее, то есть мы получили цикл. Что не является предметом наших мечтаний, конечно же. На какой-то из транзакций необходимо остановиться, но… Когда остановиться? что выбрать за критерий останова? – вот в чем проклятые вопросы.
Читать полностью »