7.1.4. Заключения относительно формального грамматического вывода

Это новая и многообещающая область. Поставленные математические проблемы четко сформулированы и интересны, но пока еще в этой области мало что известно. Мы изложили лишь несколько подходов из тех, какие можно было бы предложить. Интересующийся читатель может ознакомиться с подробностями в обзоре Бирмана и Фельдмана (1972). Ни один из предложенных пока методов вывода даже отдаленно не выглядит практически применимым способом построения грамматики искусственного языка, сравнимого по сложности, скажем, с Алголом, но можно построить грамматики, соответствующие фрагментам такого языка. Безусловно, мы еще не заняли тех позиций, с которых можно начать атаку на естественные языки! В еле дующем разделе мы изучим вопрос о возможности применять грамматические методы для описания классов двумерных фигур. Это интересное приложение, но оно ставит ряд специфических вопросов. Оставляя в стороне практические приложения, Фельдман (1972) указывает, что возникает много интересных теоретических вопросов. Например, каков результат работы с данными при наличии шума, т. е. ошибочной идентификации некоторых предложений как положительных или отрицательных? Какие правила должна использовать машина грамматического вывода при взаимодействии с информатором? Наконец, как высказано в работе Креспи-Регицци, существенную помощь может оказать учет семантики в предложениях выборки.