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 ![]() | |
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.
All documents in ORBilu are protected by a user license.