1,724,543 research outputs found
On scientific enquiry and computational argumentation
No full textIn this speculative paper we discuss how existing work in formal argumentation can support the creation of a Regulæ Philosophandi Ratiocinator, i.e. a machinery implementing general principles of formal science. In particular, we review two research projects in this light, one aimed at supporting intelligence analysis—CISpaces.org—and one aimed at assessing natural language interfaces to formal argumentation
Decision support through argumentation-based practical reasoning
No full textThis extended research abstract describes an argumentation-based approach to modelling articulated decision making contexts. The approach encompasses a variety of argument and attack schemes aimed at representing basic knowledge and reasoning patterns for decision support
A general approach to reasoning with probabilities — Extended abstract
No full textWe propose a general scheme for adding probabilistic reasoning capabilities to any knowledge representation formalism
Towards an Ontology of Trust for Situational Understanding
No full textIn this paper we propose a computational methodology for assessing the impact of trust associated to sources of information in situational understanding activities—i.e. relating relevant information and form logical conclusions, as well as identifying gaps in information in order to answer a given query. Often trust in the source of information serves as a proxy for evaluating the quality of the information itself, especially in the cases of information overhead. We show how our computational methodology support human analysts in situational understanding by drawing conclusions from defaults, as well as highlighting issues that demand further investigation
Assessing the Robustness of Intelligence-Driven Reinforcement Learning
No full textRobustness to noise is of utmost importance in reinforcement learning systems, particularly in military contexts where high stakes and uncertain environments prevail. Noise and uncertainty are inherent features of military operations, arising from factors such as incomplete information, adversarial actions, or unpredictable battlefield conditions. In RL, noise can critically impact decision-making, mission success, and the safety of personnel. Reward machines offer a powerful tool to express complex reward structures in RL tasks, enabling the design of tailored reinforcement signals that align with mission objectives. This paper considers the problem of the robustness of intelligence-driven reinforcement learning based on reward machines. The preliminary results presented suggest the need for further research in evidential reasoning and learning to harden current state-of-the-art reinforcement learning approaches prior to being mission-critical-ready
Exploiting Parallelism for Hard Problems in Abstract Argumentation
No full textAbstract argumentation framework (AF) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and enumeration problems associated to AF s are missing, thus potentially limiting the efficacy of argumentation-based approaches in real domains. In this paper, we present an algorithm for enumerating the preferred extensions of abstract argumentation frameworks which exploits parallel computation. To this purpose, the SCC-recursive semantics definition schema is adopted, where extensions are defined at the level of specific sub-frameworks. The algorithm shows significant performance improvements in large frameworks, in terms of number of solutions found and speedup
Did Karadžić possess the mens rea for genocide in Srebrenica?
No full textWe present the methodology and the results of an application of argumentation theory to determine whether Radovan Karadžić, President of the Serb Republic, possessed the mens rea-the knowledge of wrongdoing that constitutes part of a crime-for genocide in Srebrenica, where, in July 1995, at least 5,115 Bosnian Muslims were killed by members of the Serb Republic Forces. To evaluate the strengths and weaknesses of Trial Chamber's findings in the publicly available judgement, we used argumentation-based techniques available in the CISpaces.org tool. The results of our analysis were submitted to the Mechanism for International Criminal Tribunals (MICT) as an amicus curiæbrief, i.e., a brief from a non-party in a lawsuit who argues or presents information relevant to the lawsuit
- …
