Статья 2336

Другой подход к переводу состоит в ручной обработке текста, с тем чтобы сделать его пригодным для машинного перевода. Человек, выступающий в роли предварительного редактора, получает текст на исходном языке и создает другой текст также на исходном языке, который упрощен таким образом, чтобы облегчить машинный перевод. Редактор может устранять многозначные слова и грамматические конструкции, затрудняющие [...]

Читать дальше
Статья 2334

Первый метод ведет к сложному, неудобочитаемому тексту, второй - позволяет во многих случаях сделать правильный выбор, однако в других случаях ведет к ошибкам.
В случае структурной неоднозначности проблема выходит за рамки одного слова. Рассмотрим предложение, Джек видел их семью своими глазами. Оно может быть истолковано двумя способами, которые определяются совершенно различным, использованием слов их и [...]

Читать дальше
Статья 2331

Сегодня ученые разрабатывают единые теории вычислений, охватывающие как естественные, так и искусственные языки.
В этой статье я остановлюсь на первых, на языках повседневного общения. Здесь имеется самое разнообразное программное обеспечение. Некоторые вполне земные программы успешно функционируют. Так, дома, школы и учреждения наводнила масса микрокомпьютеров, многие из которых хотя бы частично используются для текстовой обработки. Другие [...]

Читать дальше
Статья 498

Первое из них имеет вид анализ с заменой во всей конфигурации цифры на цифру. В нашем случае будем иметь.
Теперь можно осуществить процедуру перенумерации, и в результате получим.
Последняя конфигурация будет стандартным натуральным выводом. В этом выводе мы уже не различаем аналитические и синтетические правила вывода.
Может оказаться, что конфигурация имеет вид и в конфигурацию входит формула. [...]

Читать дальше
Статья 496

Пусть нам требуется из формул и вывести формулу. Эта задача записывается следующим образом посылка.
Список посылок и искомое заключение отделены пустой строкой дыркой, символом. Задача состоит в построении конструкции, которая не содержит дырки и является натуральным выводом.
Выбор, какое правило применить и к каким формулам, не автоматизирован и осуществляется человеком, строящим натуральный вывод, хотя в принципе [...]

Читать дальше
Статья 494

Правилами вывода являются следующие правила введения и удаления логических символов.
Вывод является субординатным выводом, как описано ранее. Заметим, что описанное исчисление не эквивалентно стандартному исчислению предикатов, но является консервативным расширением, т.е. из множества формул выводима формула в сформулированном исчислении тогда и только тогда, когда из выводима в классическом исчислении, при условии, что формулы и формула [...]

Читать дальше
Статья 490

Тогда вместо написанной выше секвенции мы пишем.
Дерево поиска и сами правила переворачиваем, для импликации мы имеем.
Таблица замкнута, если в каждой подтаблице встречается формула, отмеченная знаками.
Можно избежать отмеченных формул, рассматривая только секвенции вида. Тогда надо иметь правило для логических знаков и их отрицания.
Можно поступить дуально, рассматривая только секвенции вида. Тогда правила для импликации.
Однако описанный метод [...]

Читать дальше
Статья 488