解决逻辑难题:从稳健的处理到精确的语义

Proceedings of the 2nd Workshop on Text Meaning and Interpretation - TextMean '04 Pub Date : 2004-07-25 DOI:10.3115/1628275.1628277

I. Lev, Bill MacCartney, Christopher D. Manning, R. Levy

{"title":"解决逻辑难题:从稳健的处理到精确的语义","authors":"I. Lev, Bill MacCartney, Christopher D. Manning, R. Levy","doi":"10.3115/1628275.1628277","DOIUrl":null,"url":null,"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.","PeriodicalId":103610,"journal":{"name":"Proceedings of the 2nd Workshop on Text Meaning and Interpretation - TextMean '04","volume":"65 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"36","resultStr":"{\"title\":\"Solving logic puzzles: From robust processing to precise semantics\",\"authors\":\"I. Lev, Bill MacCartney, Christopher D. Manning, R. Levy\",\"doi\":\"10.3115/1628275.1628277\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":103610,\"journal\":{\"name\":\"Proceedings of the 2nd Workshop on Text Meaning and Interpretation - TextMean '04\",\"volume\":\"65 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-07-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"36\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2nd Workshop on Text Meaning and Interpretation - TextMean '04\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3115/1628275.1628277\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2nd Workshop on Text Meaning and Interpretation - TextMean '04","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3115/1628275.1628277","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 36

摘要

本文介绍了一个系统的初步工作，该系统从强大的，广泛覆盖的自然语言处理到精确的语义和自动推理，重点是解决从法学院入学考试(LSAT)和研究生入学考试(GRE)的分析部分等来源提取的逻辑难题。我们强调了关键挑战，并讨论了原型系统的表示和性能。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Solving logic puzzles: From robust processing to precise semantics

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助