Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal semantics
|
| gptkbp:addresses |
quantification
|
| gptkbp:aimsTo |
provide a formal framework for understanding meaning
|
| gptkbp:appliesTo |
natural language
|
| gptkbp:competesWith |
model-theoretic semantics
|
| gptkbp:developedBy |
gptkb:Richard_Montague
|
| gptkbp:hasRelatedPatent |
computer science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Montague semantics
|
| gptkbp:influencedBy |
philosophy of language
|
| gptkbp:isActiveIn |
computational linguistics
|
| gptkbp:isAssociatedWith |
semantic theory
truth-conditional semantics |
| gptkbp:isAvenueFor |
syntax
natural language processing meaning analysis |
| gptkbp:isBasedOn |
intensional logic
|
| gptkbp:isCitedBy |
linguists
philosophers |
| gptkbp:isConnectedTo |
meaning representation
discourse representation theory |
| gptkbp:isConsidered |
a formal approach
a precursor to formal semantics a significant development in semantics |
| gptkbp:isCriticizedFor |
complexity
lack of intuitiveness |
| gptkbp:isDiscussedIn |
academic papers
academic literature linguistic theory |
| gptkbp:isExaminedBy |
philosophical discussions
model theory philosophical logic formal linguistics |
| gptkbp:isExploredIn |
cognitive science
mathematical models logical frameworks language philosophy syntax-semantics interface |
| gptkbp:isInfluencedBy |
set theory
philosophy of mathematics computational semantics |
| gptkbp:isLinkedTo |
truth conditions
interpretation of sentences |
| gptkbp:isPartOf |
theoretical frameworks
theoretical linguistics formal theories of meaning |
| gptkbp:isReflectedIn |
formal languages
semantic networks semantic theories. |
| gptkbp:isRelatedTo |
formal logic
predicate logic compositionality |
| gptkbp:isUsedBy |
analyze meaning
model linguistic phenomena |
| gptkbp:isUsedFor |
language processing
|
| gptkbp:isUsedIn |
linguistics
|
| gptkbp:isUtilizedIn |
artificial intelligence
semantic analysis |
| gptkbp:isVisitedBy |
the 1970s
|
| gptkbp:provides |
a systematic way to interpret sentences
|
| gptkbp:uses |
lambda calculus
|