Loading...
Please wait, while we are loading the content...
Similar Documents
Joint Proceedings of the 2 nd Workshop on Natural Language Processing and Automated Reasoning , and the 2 nd International Workshop on Learning and Nonmonotonic Reasoning at LPNMR 2015
| Content Provider | Semantic Scholar |
|---|---|
| Author | Balduccini, Marcello Mileo, Alessandra Ovchinnikova, Ekaterina Russo, Alessandra Schüller, Peter |
| Copyright Year | 2015 |
| Abstract | Natural logics are of interest to both logicians and members of the natural-language research community. They provide a means of precisely reasoning about aspects of natural language in a way that is computationally tractable, and akin to the process by which humans reason in ordinary language. This paper takes as a target a reasonablysmall logic which support reasoning about “All”, “Some”, negated nouns, relative clauses, and the “more X than Y ” operation of cardinality comparison. The importance of this logic is that it goes beyond first-order logic, hence one cannot use off-the-shelf tools. This paper contains two contributions to the implementation of this logic and others. First, it mentions an implementation in Sage. The program builds proofs and counter-models by one and the same algorithm. That is, the failure to build a proof provides the data for a counter-model in an automatic way. This abstract does not go into details on the algorithm, but a talk on this includes a demo of the Sage program. Second, in a very different direction, we mention declarative implementations of a different logic in this family, done in the miniKanren language. These implementations provide users with automated proof search, theorem generation, and proof checking, and are designed to facilitate reuse in implementing other natural logics. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.peterschueller.com/pub/2015/nlpar2015-proceedings.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
