Languages with self-reference I: foundations (or: we can have everything in first-order logic])
Artificial Intelligence
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Truth and modality for knowledge representation
Truth and modality for knowledge representation
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
A logic-based theory of deductive arguments
Artificial Intelligence
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent Systems
A Framework for Argumentation-Based Negotiation
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Dialogue Frames in Agent Communication
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Reasoning about the appropriateness of proponents for arguments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Multi-criteria argument selection in persuasion dialogues
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reasoning about and discussing preferences between arguments
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Multi-criteria argument selection in persuasion dialogues
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Can AI Models Capture Natural Language Argumentation?
International Journal of Cognitive Informatics and Natural Intelligence
Can AI Models Capture Natural Language Argumentation?
International Journal of Cognitive Informatics and Natural Intelligence
Hi-index | 0.00 |
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the informal logic community. The formalisation of such argument systems is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there is as yet no widely accepted approach to the formalisation of argument systems. In this paper, we take as our starting point the view that arguments and dialogues are inherently meta-logical, and that any proper formalisation of argument must embrace this aspect of their nature. For example, a statement that serves as a justification of an argument is is statement about an argument: the argument for which the justification serves must itself be referred to in the justification. From this starting position, we develop a formalisation of arguments using a hierarchical first-order meta-logic, in which statements in successively higher tiers of the argumentation hierarchy refer to statements further down the hierarchy. This enables us to give a clean formal separation between object-level statements, arguments made about these object level statements, and statements about arguments.