Translating Spanish into logic through logic

Authors:
Veronica Dahl
Affiliations:
University of Buenos Aires, Buenos Aires, Argentina
Venue:
Computational Linguistics
Year:
1981

Citing 7
Cited 11

On database systems development through logic

ACM Transactions on Database Systems (TODS)
Developing a natural language interface to complex data

ACM Transactions on Database Systems (TODS)
Transition network grammars for natural language analysis

Communications of the ACM
Logic for Problem Solving

Logic for Problem Solving
Logic and Data Bases

Logic and Data Bases
Metamorphosis Grammars

Natural Language Communication with Computers
Prolog - the language and its implementation compared with Lisp

Proceedings of the 1977 symposium on Artificial intelligence and programming languages

Many-sorted unification

Journal of the ACM (JACM)
An efficient easily adaptable system for interpreting natural language queries

Computational Linguistics
Treating coordination in logic grammars

Computational Linguistics
Montagovian Definite Clause Grammar

EACL '85 Proceedings of the second conference on European chapter of the Association for Computational Linguistics
Natural, language information retrieval system dialog

EACL '83 Proceedings of the first conference on European chapter of the Association for Computational Linguistics
The detection and representation of ambiguities of intension and description

ACL '86 Proceedings of the 24th annual meeting on Association for Computational Linguistics
Incorporating inheritance and feature structures into a Logic Grammar formalism

ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Modular Logic Grammars

ACL '85 Proceedings of the 23rd annual meeting on Association for Computational Linguistics
Issues in natural language access to databases from a logic programming perspective

ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
Using λ-calculus to represent meanings in logic grammars

ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Designing and automating the quality assessment of a knowledge-based. system: The initial Automated academic advisor experience

PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss the use of logic for natural language (NL) processing, both as an internal query language and as a programming tool. Some extensions of standard predicate calculus are motivated by the first of these roles. A logical system including these extensions is informally described. It incorporates semantic as well as syntactic NL features, and its semantics in a given interpretation (or data base) determines the answer-extraction process. We also present a logic-programmed analyser that translates Spanish into this system. It equates semantic agreement with syntactic weil-formedness, and can detect certain presuppositions, resolve certain ambiguities and reflect relations among sets.