Work

Solving logic puzzles

Year: 2004

Type: conference-paper

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.

DOI: 10.3115/1628275.1628277

Authors: Iddo Lev, Bill MacCartney, Christopher D. Manning, Roger Levy

Institution: Stanford University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funders: U.S. Department of Defense, Agricultural Research Development Agency, U.S. Navy, Multidisciplinary University Research Initiative

Award: NATURAL LANGUAGE INTERACTION WITH INTELLIGENT TUTORING SYSTEMS

OpenAlex ID: W2077824186

FWCI: 1.295

Cites: 22

Cited by: 32

Related to: 10