Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Formal_semantics_(linguistics)> ?p ?o }
Showing triples 1 to 52 of
52
with 100 triples per page.
- Formal_semantics_(linguistics) abstract "In linguistics, formal semantics seeks to understand linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a natural language and the world which supports meaningful discourse.The mathematical tools used are the confluence of formal logic and formal language theory, especially typed lambda calculi.Linguists rarely employed formal semantics until Richard Montague showed how English (or any natural language) could be treated like a formal language. His contribution to linguistic semantics, which is now known as Montague grammar, was the basis for further developments, like the categorial grammar of Bar-Hillel and colleagues, and the more recent type-logical semantics (or grammar) based on Lambek calculus.Another line of inquiry, using linear logic, is Glue semantics, which is based on the idea of \"interpretation as deduction\", closely related to the \"parsing as deduction\" paradigm of categorial grammar.In 1992 Margaret King argued that few of the proposals from formal semanticists have been tested for empirical relevance, unlike those in computational linguistics.Cognitive semantics emerged and developed as a reaction against formal semantics.".
- Formal_semantics_(linguistics) wikiPageExternalLink BHP_Essay_Feb05.pdf.
- Formal_semantics_(linguistics) wikiPageExternalLink rep.pdf.
- Formal_semantics_(linguistics) wikiPageID "31395652".
- Formal_semantics_(linguistics) wikiPageLength "5771".
- Formal_semantics_(linguistics) wikiPageOutDegree "19".
- Formal_semantics_(linguistics) wikiPageRevisionID "696546858".
- Formal_semantics_(linguistics) wikiPageWikiLink Categorial_grammar.
- Formal_semantics_(linguistics) wikiPageWikiLink Category:Semantics.
- Formal_semantics_(linguistics) wikiPageWikiLink Cognitive_semantics.
- Formal_semantics_(linguistics) wikiPageWikiLink Computational_linguistics.
- Formal_semantics_(linguistics) wikiPageWikiLink Discourse_representation_theory.
- Formal_semantics_(linguistics) wikiPageWikiLink Formal_language.
- Formal_semantics_(linguistics) wikiPageWikiLink Glue_semantics.
- Formal_semantics_(linguistics) wikiPageWikiLink Linear_logic.
- Formal_semantics_(linguistics) wikiPageWikiLink Linguistics.
- Formal_semantics_(linguistics) wikiPageWikiLink Logic.
- Formal_semantics_(linguistics) wikiPageWikiLink MIT_Press.
- Formal_semantics_(linguistics) wikiPageWikiLink Meaning_(linguistics).
- Formal_semantics_(linguistics) wikiPageWikiLink Montague_grammar.
- Formal_semantics_(linguistics) wikiPageWikiLink Natural_language.
- Formal_semantics_(linguistics) wikiPageWikiLink Richard_Montague.
- Formal_semantics_(linguistics) wikiPageWikiLink Type-logical_semantics.
- Formal_semantics_(linguistics) wikiPageWikiLink Typed_lambda_calculus.
- Formal_semantics_(linguistics) wikiPageWikiLink Yehoshua_Bar-Hillel.
- Formal_semantics_(linguistics) wikiPageWikiLinkText "Formal Linguistics".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "Formal Semantics".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "Formal semantics (linguistics)".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "Formal semantics".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "formal semantic analyses".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "formal semantics".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "formal theories of semantics".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "semantic structure".
- Formal_semantics_(linguistics) wikiPageWikiLinkText "semantics".
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:!.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Cite_book.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Cite_thesis.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Citeseerx.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Other_uses.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Reflist.
- Formal_semantics_(linguistics) wikiPageUsesTemplate Template:Semantics-stub.
- Formal_semantics_(linguistics) subject Category:Semantics.
- Formal_semantics_(linguistics) hypernym Confluence.
- Formal_semantics_(linguistics) type Place.
- Formal_semantics_(linguistics) comment "In linguistics, formal semantics seeks to understand linguistic meaning by constructing precise mathematical models of the principles that speakers use to define relations between expressions in a natural language and the world which supports meaningful discourse.The mathematical tools used are the confluence of formal logic and formal language theory, especially typed lambda calculi.Linguists rarely employed formal semantics until Richard Montague showed how English (or any natural language) could be treated like a formal language. ".
- Formal_semantics_(linguistics) label "Formal semantics (linguistics)".
- Formal_semantics_(linguistics) sameAs Q5469969.
- Formal_semantics_(linguistics) sameAs Sémantique_formelle.
- Formal_semantics_(linguistics) sameAs m.0gkywn5.
- Formal_semantics_(linguistics) sameAs Q5469969.
- Formal_semantics_(linguistics) wasDerivedFrom Formal_semantics_(linguistics)?oldid=696546858.
- Formal_semantics_(linguistics) isPrimaryTopicOf Formal_semantics_(linguistics).