About: Type shifter     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/c/78CMoXcTzL

In formal semantics, a type shifter is an interpretation rule which changes an expression's semantic type. For instance, while the English expression "John" might ordinarily denote John himself, a type shifting rule called Lift can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter which it generates. 1. * Without type shifting: 2. * Type shifting with Lift:

AttributesValues
rdfs:label
  • Type shifter (cs)
  • Type shifter (en)
rdfs:comment
  • Type shifter je ve monáda přiřazující prvku typu jím generovaný ultrafiltr typu : Tuto konstrukci zavedla v jazykovědě pro reprezentaci kvantifikátorů. Její myšlenku později rozšířil na používání kontinuací pro reprezentaci . Implementace je možná v teorii typů pomocí závislostních typů. (cs)
  • In formal semantics, a type shifter is an interpretation rule which changes an expression's semantic type. For instance, while the English expression "John" might ordinarily denote John himself, a type shifting rule called Lift can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter which it generates. 1. * Without type shifting: 2. * Type shifting with Lift: (en)
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
has abstract
  • Type shifter je ve monáda přiřazující prvku typu jím generovaný ultrafiltr typu : Tuto konstrukci zavedla v jazykovědě pro reprezentaci kvantifikátorů. Její myšlenku později rozšířil na používání kontinuací pro reprezentaci . Implementace je možná v teorii typů pomocí závislostních typů. (cs)
  • In formal semantics, a type shifter is an interpretation rule which changes an expression's semantic type. For instance, while the English expression "John" might ordinarily denote John himself, a type shifting rule called Lift can raise its denotation to a function which takes a property and returns "true" if John himself has that property. Lift can be seen as mapping an individual onto the principal ultrafilter which it generates. 1. * Without type shifting: 2. * Type shifting with Lift: Type shifters were proposed by Barbara Partee and in 1983 to allow for systematic type ambiguity. Work of this period assumed that syntactic categories corresponded directly with semantic types and researchers thus had to "generalize to the worst case" when particular uses of particular expressions from a given category required an especially high type. Moreover, Partee argued that evidence in fact supported expressions having different types in different contexts. Thus, she and Rooth proposed type shifting as a principled mechanism for generating this ambiguity. Type shifters remain a standard tool in formal semantic work, particularly in categorial grammar and related frameworks. Type shifters have also been used to interpret quantifiers in object position and to capture scope ambiguities. In this regard, they serve as an alternative to syntactic operations such as quantifier raising used in mainstream generative approaches to semantics. Type shifters have also been used to generate and compose alternative sets without the need to fully adopt an alternative-based semantics. (en)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git147 as of Sep 06 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 51 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software