Universal Reasoning, Rational Argumentation and Human-Machine Interaction

Abstract
Classical higher-order logic, when utilized as a meta-logic in which various other 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.
Keywords own   Higher Order Logic   Universal Reasoning   Rational Argumentation   Human-Machine Interaction
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 33,245
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Pushing the Bounds of Rationality: Argumentation and Extended Cognition.David Godden - 2016 - In Fabio Paglieri, Laura Bonelli & Silvia Felletti (eds.), The psychology of argument: Cognitive approaches to argumentation and persuasion. London: College Publications. pp. 67-83.
Abstract Argumentation.Robert A. Kowalski & Francesca Toni - 1996 - Artificial Intelligence and Law 4 (3-4):275-296.

Analytics

Added to PP index
2017-12-04

Total downloads
5 ( #683,583 of 2,242,830 )

Recent downloads (6 months)
1 ( #409,577 of 2,242,830 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature