Переключатель типов
- Изменение типа в формальной семантике — правило интерпретации, изменяющее семантический тип выражения.
- Пример: английское выражение «John» может быть преобразовано в функцию, возвращающую «true», если у Джона есть определенное свойство.
- Lift рассматривается как отображение индивидуума на основной ультрафильтр, который он генерирует.
- Переключатели типов были предложены Барбарой Парти и Матсом Роотом в 1983 году для обеспечения систематической неоднозначности типов.
- Смена типов служит принципиальным механизмом для создания двусмысленности.
- Средства изменения типов используются в формальной семантической работе, особенно в категориальной грамматике и связанных фреймворках.
- Переключатели типов также использовались для интерпретации квантификаторов и устранения неоднозначностей в области видимости.
- Они служат альтернативой синтаксическим операциям, используемым в основных генеративных подходах к семантике.
- Средства изменения типов также использовались для генерации и составления альтернативных наборов без полной адаптации семантики.
Полный текст статьи: