Filters








13,217 Hits in 6.0 sec

Applying labelled deductive systems and multi-agent systems to source-based argumentation

D Walton
1999 Journal of Logic and Computation  
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

Andrew Koster
2014 Argument & Computation  
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]

Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney
2009 Lecture Notes in Computer Science  
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

Carlos Iván Chesñevar, Guillermo Ricardo Simari
2007 Logica Universalis  
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

DANIELA V. CARBOGIM, DAVID ROBERTSON, JOHN LEE
2000 Knowledge engineering review (Print)  
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

Chris Reed, Doug Walton
2005 Autonomous Agents and Multi-Agent Systems  
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]

Chris Reed, Doug Walton
2005 Lecture Notes in Computer Science  
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

Alison R. Panisson, Peter McBurney, Rafael H. Bordini
2021 Argument & Computation  
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]

Serge Autexier, Dominik Dietrich
2006 Lecture Notes in Computer Science  
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

Dov M. Gabbay
1973 Journal of Philosophical Logic  
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]

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg Siekmann
2010 Resource-Adaptive Cognitive Processes  
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

Carmelo Fabio Longo, Corrado Santoro
2019 International Conference of the Italian Association for Artificial Intelligence  
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]

OHAAI Collaboration: Federico Castagna, Timotheus Kampik, Atefeh Keshavarzi Zafarghandi, Mickaël Lafages, Jack Mumford, Christos T. Rodosthenous, Samy Sá, Stefan Sarkadi, Joseph Singleton, Kenneth Skiba, Andreas Xydis
2020 arXiv   pre-print
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

Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers
2006 Electronical Notes in Theoretical Computer Science  
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

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
2020 Autonomous Agents and Multi-Agent Systems  
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