Reference : Universal Reasoning, Rational Argumentation and Human-Machine Interaction
E-prints/Working papers : Already available on another site
Engineering, computing & technology : Computer science
Arts & humanities : Philosophy & ethics
Computational Sciences
http://hdl.handle.net/10993/33919
Universal Reasoning, Rational Argumentation and Human-Machine Interaction
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
27-Mar-2017
v1
Cornell University Library
arXiv:1703.09620
9
No
2331-8422
Ithaca
USA
[en] Universal Logic ; Semantic Embedding ; Higher Order Logic
[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.
Researchers ; Professionals ; Students ; General public
http://hdl.handle.net/10993/33919
https://arxiv.org/abs/1703.09620
https://arxiv.org/abs/1703.09620

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.