No full text
Eprint already available on another site (E-prints, Working papers and Research blog)
Universal Reasoning, Rational Argumentation and Human-Machine Interaction
Benzmüller, Christoph
2017
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Universal Logic; Semantic Embedding; Higher Order Logic
Abstract :
[en] Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is well suited for realising a universal logic reasoning approach. Universal logic reasoning in turn, as envisioned already by Leibniz, may support the rigorous formalisation and deep logical analysis of rational arguments within machines. A respective universal logic reasoning framework is described and a range of exemplary applications are discussed. In the future, universal logic reasoning in combination with appropriate, controlled forms of rational argumentation may serve as a communication layer between humans and intelligent machines.
Disciplines :
Computer science
Philosophy & ethics
Author, co-author :
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Universal Reasoning, Rational Argumentation and Human-Machine Interaction
Publication date :
27 March 2017
Publisher :
Cornell University Library, Ithaca, United States
Version :
v1
Number of pages :
9
Focus Area :
Computational Sciences
Available on ORBilu :
since 12 January 2018

Statistics


Number of views
102 (3 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu