Paper Info
Title
Translating between language and logic: what is easy and what is difficult
Abstract
Natural language interfaces make formal systems accessible in informal language. They have a potential to make systems like theorem provers more widely used by students, mathematicians, and engineers who are not experts in logic. This paper shows that simple but still useful interfaces are easy to build with available technology. They are moreover easy to adapt to different formalisms and natural languages. The language can be made reasonably nice and stylistically varied. However, a fully general translation between logic and natural language also poses difficult, even unsolvable problems. This paper investigates what can be realistically expected and what problems are hard.
Year
DOI
Venue
2011
10.1007/978-3-642-22438-6_3
CADE
Keywords
Field
DocType
theorem provers,natural language interface,informal language,available technology,different formalisms,useful interface,unsolvable problem,natural language,general translation,formal system
Formal system,Programming language,Computer science,Algorithm,Natural language user interface,Natural language programming,Object language,Natural language,Universal Networking Language,Rotation formalisms in three dimensions,Grammatical Framework
Conference
Volume
ISSN
Citations 
6803
0302-9743
5
PageRank 
References 
Authors
0.50
34
1
Name
Order
Citations
PageRank
Aarne Ranta131636.02