Solving logic puzzles: from robust processing to precise semantics

Authors:
Iddo Lev;Bill MacCartney;Christopher D. Manning;Roger Levy
Affiliations:
Stanford University, Stanford, CA;Stanford University, Stanford, CA;Stanford University, Stanford, CA;Stanford University, Stanford, CA
Venue:
TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation
Year:
2004

Citing 10
Cited 6

Type-logical semantics

Type-logical semantics
Automatic proofs and counterexamples for some ortholattice identities

Information Processing Letters
High performance question/answering

Proceedings of the 24th annual international ACM SIGIR conference on Research and development in information retrieval
Automatic labeling of semantic roles

Computational Linguistics
Head-driven statistical models for natural language parsing

Head-driven statistical models for natural language parsing
An efficient easily adaptable system for interpreting natural language queries

Computational Linguistics
Deep Read: a reading comprehension system

ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
COGEX: a logic prover for question answering

NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
Accurate unlexicalized parsing

ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 1
Progress in natural language understanding: an application to lunar geology

AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition

Discriminative reranking for semantic parsing

COLING-ACL '06 Proceedings of the COLING/ACL on Main conference poster sessions
Annotating websites with machine-processable information in controlled natural language

AOW '06 Proceedings of the second Australasian workshop on Advances in ontologies - Volume 72
Reconstructing Hard Problems in a Human-Readable and Machine-Processable Way

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Merging stories with shallow semantics

KRAQ '06 Proceedings of the Workshop KRAQ'06 on Knowledge and Reasoning for Language Processing
A statistical semantic parser that integrates syntax and semantics

CONLL '05 Proceedings of the Ninth Conference on Computational Natural Language Learning
Computational approaches to sentence completion

ACL '12 Proceedings of the 50th Annual Meeting of the Association for Computational Linguistics: Long Papers - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents intial work on a system that bridges from robust, broad-coverage natural language processing to precise semantics and automated reasoning, focusing on solving logic puzzles drawn from sources such as the Law School Admission Test (LSAT) and the analytic section of the Graduate Record Exam (GRE). We highlight key challenges, and discuss the representations and performance of the prototype system.