Эта книга представляет собой систематическое исследование трех основных вопросов семантики естественного языка, которые были относительно мало изучены за последние несколько десятилетий. В ней рассматриваются формальная характеристика интенций, природа адекватной системы типов для семантики естественного языка и формальная мощность языка семантического представления. Предлагаемая теория предлагает перспективную основу для разработки вычислительной системы семантики, достаточно выразительной для захвата свойств значения естественного языка при сохранении вычислительной выполнимости. Книга написана двумя ведущими исследователями и представляет интерес для студентов и исследователей в области формальной семантики, вычислительной лингвистики, логики, искусственного интеллекта и философии языка.
Эта книга представляет собой систематическое исследование трех фундаментальных вопросов семантики естественного языка, которым в последние десятилетия уделялось недостаточно внимания. В фокусе – формально-логическая характеризация интенциональных значений, природа адекватной системы типов для семантики естественных языков и формальные возможности языка семантической репрезентации. Автор предлагает теорию, которая предлагает многообещающую основу для разработки вычислительных семантических систем, достаточно выразительных, чтобы моделировать свойства смысла естественного языка и в то же время остающихся вычислительно релевантными. Авторы – два ведущих исследователя, книга представляет интерес для студентов и ученых в области формальной семантики, вычислительной лингвистики, логики, искусственного интеллекта и философии языка.
Электронная Книга «Foundations of Intensional Semantics» написана автором Shalom Lappin в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9780470775295
Описание книги от Shalom Lappin
This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language
