Browsing NTNU Open by Author "Barstad, Tor Økland"
Now showing items 1-1 of 1
-
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, 2017)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 ...