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