• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for datateknologi og informatikk
  • View Item
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for datateknologi og informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Towards a user-friendly natural language proof assistant - The outline of a system that can be used to implement applications that enable non-expert users to construct computer-verified natural language arguments

Barstad, Tor Økland
Master thesis
View/Open
14371_FULLTEXT.pdf (Locked)
14371_COVER.pdf (Locked)
URI
http://hdl.handle.net/11250/2615837
Date
2017
Metadata
Show full item record
Collections
  • Institutt for datateknologi og informatikk [4881]
Abstract
In more or less any discussion, however consequential, it is left for the participants to work out in their own head whether the arguments necessitate the conclusions put forward, or are lacking or flawed. When the discussion concerns philosophical or real-world issues there are no good alternatives for people who want to formalize their arguments and have them verified by a computer.

Proof assistants can be used construct computer-verified arguments about mathematical issues, but for all existing proof assistants a high level of expertise is needed to be able to construct proofs or understand them.

This thesis outlines the architecture of a system that could be used to implement a proof assistant that lets non-expert users construct computer-verified arguments in natural language, about more or less any topic that can be described explicitly using natural language sentences. The system described could potentially be used for other things as well, including but not limited to uses within the fields of knowledge representation and translation.
Publisher
NTNU

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit