Reconstructing Hard Problems in a Human-Readable and Machine-Processable Way

Authors:
Rolf Schwitter
Affiliations:
Centre for Language Technology, Macquarie University, Sydney, Australia NSW 2109
Venue:
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Year:
2008

Citing 3
Cited 0

The TPTP Problem Library

Journal of Automated Reasoning
Head-Driven Statistical Models for Natural Language Parsing

Computational Linguistics
Solving logic puzzles: from robust processing to precise semantics

TextMean '04 Proceedings of the 2nd Workshop on Text Meaning and Interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how a controlled natural language can help to reconstruct a logic puzzle in a well-defined subset of natural language and discusses how this puzzle can then be processed and solved using a state of the art model generator. Our approach relies on a collaboration between humans and machines and bridges the gap between a (seemingly informal) problem description and an executable formal specification.