In Taking Scope, Mark Steedman considers the syntax and semantics of quantifier scope in interaction with negation, polarity, coordination, and pronominal binding, among other constructions. The semantics is "surface compositional," in that there is a direct correspondence between syntactic types and operations of composition and types and compositions at the level of logical form. In that sense, the semantics is in the "natural logic" tradition of Aristotle, Leibniz, Frege, Russell, and others who sought to define a psychologically real logic directly reflecting natural language grammar. The book reunites the generative-transformational tradition initiated by Chomsky--which views the formal syntactic component as entirely autonomous---with the older, strongly lexicalist, construction-based tradition, which has sought to define a more lingistically transparent theory of meaning representation. Steedman offers a logical formalism that relates directly to the surface form of language and to the process of inference and proof that it must support. Such a natural logic, although formal by definition, should be allowed to grow organically from attested language phenomena rather than be axiomatized a priori in terms of any standard logic. Steedman also considers the application of natural semantic interpretations to practical natural language processing tasks, emphasizing throughout the elimination of traditional quantifiers from semantic formalism in favor of devices such as Skolem terms and structure-sharing among representations in processing.
评分
评分
评分
评分
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有