A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Applying labelled deductive systems and multi-agent systems to source-based argumentation
1999
Journal of Logic and Computation
Preserved Fulltext
In this paper, it is shown how labelled deductive systems and multi-agent systems can be used to evaluate argumentation that is source-based and depends on a credibility function. ...
The problem is to have some kind of structure that can be used to identify the form of the argument, and to appraise how the form has been used in specific cases, in order to determine which cases represent ...
The four methods brought to bear in this investigation are labelled deductive systems, systems of practical (goal-directed) reasoning, multi-agent systems, and formal dialectical systems. ...
doi:10.1093/logcom/9.1.63
fatcat:j6cck7p5ejhqvkfpooq5g4ov2e
Trust and argumentation in multi-agent systems
2014
Argument & Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Koster on guiding whom to communicate with. Finally, argumentation can be used to communicate between the computational trust model and a human user of the system. ...
This survey is the first to review the combination of computational trust and argumentation. ...
He wishes to thank Jordi Sabater-Mir and Marco Schorlemmer for their assistance in the early stages of this research, andAna Bazzan for her support while writing this paper. ...
doi:10.1080/19462166.2014.885083
fatcat:aflekljhuvhzzj3zuuowk22mnm
Argumentation and Artifact for Dialogue Support
[chapter]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Drawing on the theory of co-ordination artifacts in multi-agent systems, we propose a formal framework to explicitly represent the functions of a mediator artifact. ...
Intelligent and autonomous software agents may engage in dialogue and argument with one another, and much recent research has considered protocols, architectures and frameworks for this. ...
Formally, a multi-agent dialogue system for argumentation is composed of two parts: an argumentation system, and a dialogue system. ...
doi:10.1007/978-3-642-00207-6_7
fatcat:cq5amwhpzrfr7i3ggzt7cnrcpu
Modelling Inference in Argumentation through Labelled Deduction: Formalization and Logical Properties
2007
Logica Universalis
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
As a basis for such analysis we will use the LDS ar framework, a unifying approach to computational models of argument using Labelled Deductive Systems (LDS). ...
We contend that this analysis provides useful comparison criteria that can be extended and applied to other argumentation frameworks. (2000) . Primary 03B22; Secondary 03B42. ...
Acknowledgments The authors would like to thank anonymous reviewers for their comments which helped improve the original version of this article. ...
doi:10.1007/s11787-006-0005-4
fatcat:62zc4hqzargizdcf2tnuz5upqe
Argument-based applications to knowledge engineering
2000
Knowledge engineering review (Print)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Argument-based applications to knowledge engineering 125 ...
This paper concentrates on dierent issues that can be tackled by automated argumentation systems and highlights important directions in argument-oriented research in knowledge engineering. ...
The authors would like to thank the anonymous reviewers for their comments and suggestions. Thanks also to Yannis Kalfoglou for comments on an earlier draft. ...
doi:10.1017/s0269888900002058
fatcat:oekwhit6ojctrm7a7gpkhaie3m
Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication
2005
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Argumentation schemes are patterns of non-deductive reasoning that have long been studied in argumentation theory, and have more recently been identified in computational domains including multi-agent ...
In particular, the propositional logic upon which a great deal of multi-agent argumentation is based is being further analysed to yield more refined structures of reasoning. ...
Acknowledgements The authors would like to acknowledge grant support from the Leverhulme Trust in the UK, and SSHRC in Canada, for supporting their collaborative work in the area. ...
doi:10.1007/s10458-005-1729-x
fatcat:fsiuo5emwrhcxdtwkqsswt6cki
Towards a Formal and Implemented Model of Argumentation Schemes in Agent Communication
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Argumentation schemes are patterns of non-deductive reasoning that have long been studied in argumentation theory, and have more recently been identified in computational domains including multi-agent ...
In particular, the propositional logic upon which a great deal of multi-agent argumentation is based is being further analysed to yield more refined structures of reasoning. ...
Acknowledgements The authors would like to acknowledge grant support from the Leverhulme Trust in the UK, and SSHRC in Canada, for supporting their collaborative work in the area. ...
doi:10.1007/978-3-540-32261-0_2
fatcat:yfx76efzc5fm7apt4lo5z2xqkm
A computational model of argumentation schemes for multi-agent systems
2021
Argument & Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
There are many benefits of using argumentation-based techniques in multi-agent systems, as clearly shown in the literature. ...
When developing multi-agent applications in which argumentation will be used to improve agent communication and reasoning, argumentation schemes (reasoning patterns for argumentation) are useful in addressing ...
During one of Alison's presentations during that conference, Professor Walton asked a question, concluding his speech with a compliment, saying that our approach to knowledge representation for argumentation ...
doi:10.3233/aac-210555
fatcat:3gyvj7jaajhopmzjw3pnldfase
Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In the context of the proof planner Multi and the agent-based reasoning system Ω-Ants, we present techniques to automatically synthesize proof planning methods and Ω-Ants-agents from assertions such that ...
This in turn enables a user to effectively use these systems without having to know the peculiarities of coding methods and agents. ...
Automation of proof search at this 'abstract' level is realized in two components: The multi-strategy proof planner Multi [13] and the resource-guided agent-based reasoning system Ω-Ants [4, 15] . ...
doi:10.1007/11812289_9
fatcat:t65qfnriz5aaffue4tvuqry45u
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment
1973
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
It further applies the methods of book 1, to obtain decidability and undecidability results for intuitionistic algebraic theories. ...
Reidel, 1981. 300 pp, This monograph uses semantical methods to study intuitionistic and various neighbouring systems. ...
Modal and Temporal Logic Programming III
Abduction in Labelled Deductive Systems; a Conceptual Abstract
Elements of Algorthimic Proof Theory
Labelled Deductive Systems and Situation Theory In Situation ...
doi:10.1007/bf00129607
fatcat:e6lokulrwrfcvl525fgj6dcr3m
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System
[chapter]
2010
Resource-Adaptive Cognitive Processes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
This paper summarises and gives an overview of the development of the ΩMEGA system during the 12 years of funding by the SFB 378. ...
Our research is based in particular on the combination of techniques from several subfields of AI including knowledge representation and reasoning, cognitive architectures and multi-agent systems, human ...
Knowledge based proof planning has also been applied to residue-classes problems , and to plan "irrationality of j √ l"-conjectures for arbitrary natural numbers j and l . ...
doi:10.1007/978-3-540-89408-7_17
dblp:series/cogtech/AutexierBDS11
fatcat:t6vlyxgwcbe45ctq7oy3mlb7sy
AD-CASPAR: Abductive-Deductive Cognitive Architecture based on Natural Language and First Order Logic Reasoning
2019
International Conference of the Italian Association for Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
As application test a Telegram chatbot system has been implemented, supported by a module which automatically transforms polar and wh-questions into one or more likely assertions, in order to infer boolean ...
In this paper, a Cognitive Architecture leveraging Natural Language Processing and First Order Logic Inference is presented, making usage of different kinds of knowledge bases interacting one another. ...
make the operating agent multi-language and multi-synonimous. ...
dblp:conf/aiia/LongoS19
fatcat:mywcmtrglfdc3h23cmry5vmh2e
Online Handbook of Argumentation for AI: Volume 1
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Previously, formal theories of argument and argument interaction have been proposed and studied, and this has led to the more recent study of computational models of argument. ...
OHAAI is designed to serve as a research hub to keep track of the latest and upcoming PhD-driven research on the theory and application of argumentation in all areas related to AI. ...
We owe many thanks to Sanjay Modgil for helping to form the motivation for the handbook, and to Elizabeth Black and Simon Parsons for their advice and guidance that enabled the OHAAI project to come to ...
arXiv:2006.12020v1
fatcat:nm44du33f5dhlluueq7srbbvzi
A Hierarchy of SOS Rule Formats
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
to the format. ...
Using so-called Transition System Specifications (TSS's) several authors syntactically restricted the format of rules and showed several useful properties about the semantics induced by any TSS adhering ...
Then, a deduction rule of a lower order may be applied to prove a formula only when there is no deduction rule with a higher order applicable. ...
doi:10.1016/j.entcs.2005.11.077
fatcat:udiptsaipbbibpfmtd3ey32xya
Logic-based technologies for multi-agent systems: a systematic literature review
2020
Autonomous Agents and Multi-Agent Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies ...
, which characterised their early days, might open new ways to engineer explainable intelligent systems. ...
(KW4) multi agent system logic verification (KW5) multi agent system logic agent programming (KW6) multi agent system logic agent reasoning (KW7) multi agent system logic society (KW8) multi agent system ...
doi:10.1007/s10458-020-09478-3
fatcat:4s2rhluwijan3abqq7dl2htiv4
« Previous
Showing results 1 — 15 out of 13,217 results