12849 викторин, 2171 кроссворд, 936 пазлов, 93 курса и многое другое...

Как называются модели, в которых формализуются простые и составные высказывания, которые выражаются на естественном языке?