Article

Free access

A unification-based semantic interpretation for coordinate constructs

Author:

Jong C. ParkAuthors Info & Claims

ACL '92: Proceedings of the 30th annual meeting on Association for Computational Linguistics

Pages 209 - 215

https://doi.org/10.3115/981967.981994

Published: 28 June 1992 Publication History

PDF eReader

Abstract

This paper shows that a first-order unification-based semantic interpretation for various coordinate constructs is possible without an explicit use of lambda expressions if we slightly modify the standard Montagovian semantics of coordination. This modification, along with partial execution, completely eliminates the lambda reduction steps during semantic interpretation.

References

[1]

David R. Dowty, Robert E. Wall & Stanley Peters {1981}, Introduction to Montague Semantics, D. Reidel Publishing Company.

Google Scholar

[2]

Jerry R. Hobbs & Stuart M. Shieber {January-June 1987}, "An Algorithm for Generating Quantifier Scopings," Computational Linguistics 13, 47--63.

Digital Library

Google Scholar

[3]

Einar Jowsey {1987}, "Montague Grammar and First Order Logic," Edinburgh Working Papers in Cognitive Science: Categorial Grammar, Unification Grammar and Parsing 1, 143--194.

Google Scholar

[4]

Einar Jowsey {1990}, Constraining Montague Grammar for Computational Applications, Doctoral Dissertation, Department of AI, University of Edinburgh.

Google Scholar

[5]

Richard Montague {1974}, in Formal Philosophy, Richmond H. Thomason, ed., Yale University Press.

Google Scholar

[6]

Robert C. Moore {1989}, "Unification-Based Semantic Interpretation," Proceedings of the ACL.

Digital Library

Google Scholar

[7]

Gopalan Nadathur & Dale Miller {1988}, "An Overview of λλ-Prolog," Proceedings of the Fifth International Logic Programming Conference.

Google Scholar

[8]

Fernando C. N. Pereira & Stuart M. Shieber {1987}, Prolog and Natural-Language Ananlysis, CSLI Lecture Notes Number 10.

Digital Library

Google Scholar

[9]

Mark J. Steedman {April 1990}, "Gapping as Constituent Coordination," Linguistics and Philosophy 13, 207--263.

Crossref

Google Scholar

Cited By

View all

Kulick SUszkoreit H(1995)Using higher-order logic programming for semantic interpretation of coordinate constructsProceedings of the 33rd annual meeting on Association for Computational Linguistics10.3115/981658.981687(213-219)Online publication date: 26-Jun-1995
https://dl.acm.org/doi/10.3115/981658.981687
Park JUszkoreit H(1995)Quantifier scope and constituencyProceedings of the 33rd annual meeting on Association for Computational Linguistics10.3115/981658.981686(205-212)Online publication date: 26-Jun-1995
https://dl.acm.org/doi/10.3115/981658.981686

A unification-based semantic interpretation for coordinate constructs

Recommendations

Using higher-order logic programming for semantic interpretation of coordinate constructs
ACL '95: Proceedings of the 33rd annual meeting on Association for Computational Linguistics

Many theories of semantic interpretation use λ-term manipulation to compositionally compute the meaning of a sentence. These theories are usually implemented in a language such as Prolog that can simulate λ-term operations with first-order unification. ...
Unification nets: canonical proof net quantifiers
LICS '18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Proof nets for MLL (unit-free Multiplicative Linear Logic) are concise graphical representations of proofs which are canonical in the sense that they abstract away syntactic redundancy such as the order of non-interacting rules. We argue that Girard's ...
Abstract interpretation of resolution-based semantics

We extend the abstract interpretation point of view on context-free grammars by Cousot and Cousot to resolution-based logic programs and proof systems. Starting from a transition-based small-step operational semantics of Prolog programs (akin to the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACL '92: Proceedings of the 30th annual meeting on Association for Computational Linguistics

June 1992

346 pages

Program Chair:
Henry S. Thompson
University of Edinburgh

Publisher

Association for Computational Linguistics

United States

Publication History

Published: 28 June 1992

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 85 of 443 submissions, 19%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
192
Total Downloads

Downloads (Last 12 months)34
Downloads (Last 6 weeks)5

Reflects downloads up to 10 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kulick SUszkoreit H(1995)Using higher-order logic programming for semantic interpretation of coordinate constructsProceedings of the 33rd annual meeting on Association for Computational Linguistics10.3115/981658.981687(213-219)Online publication date: 26-Jun-1995
https://dl.acm.org/doi/10.3115/981658.981687
Park JUszkoreit H(1995)Quantifier scope and constituencyProceedings of the 33rd annual meeting on Association for Computational Linguistics10.3115/981658.981686(205-212)Online publication date: 26-Jun-1995
https://dl.acm.org/doi/10.3115/981658.981686

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Using higher-order logic programming for semantic interpretation of coordinate constructs

Unification nets: canonical proof net quantifiers

Abstract interpretation of resolution-based semantics

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations