A controlled quantification in parsing of Montague grammar (Q1087338)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A controlled quantification in parsing of Montague grammar |
scientific article; zbMATH DE number 3988744
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A controlled quantification in parsing of Montague grammar |
scientific article; zbMATH DE number 3988744 |
Statements
A controlled quantification in parsing of Montague grammar (English)
0 references
1986
0 references
A parsing algorithm that translates an input English sentence into a logical formula is described. The algorithm, called ''controlled semantic equivalence parsing'' (CSEP), is based on syntactic and quantification (semantic) rules of Montague grammar. As the authors affirm, in contrast with the previous algorithms, CSEP produces the canonical logical formulas only, and it does not try any unnecessary parse.
0 references
computational linguistics
0 references
logical translation
0 references
canonical logical formula
0 references
environment
0 references
parsing algorithm
0 references
controlled semantic equivalence parsing
0 references
quantification
0 references
Montague grammar
0 references
0.7058284282684326
0 references
