477 research outputs found
Abstract Argumentation / Persuasion / Dynamics
The act of persuasion, a key component in rhetoric argumentation, may be
viewed as a dynamics modifier. We extend Dung's frameworks with acts of
persuasion among agents, and consider interactions among attack, persuasion and
defence that have been largely unheeded so far. We characterise basic notions
of admissibilities in this framework, and show a way of enriching them through,
effectively, CTL (computation tree logic) encoding, which also permits
importation of the theoretical results known to the logic into our
argumentation frameworks. Our aim is to complement the growing interest in
coordination of static and dynamic argumentation.Comment: Arisaka R., Satoh K. (2018) Abstract Argumentation / Persuasion /
Dynamics. In: Miller T., Oren N., Sakurai Y., Noda I., Savarimuthu B., Cao
Son T. (eds) PRIMA 2018: Principles and Practice of Multi-Agent Systems.
PRIMA 2018. Lecture Notes in Computer Science, vol 11224. Springer, Cha
Policy support for autonomous swarms of drones
In recent years drones have become more widely used in military and non-military applications. Automation of these drones will become more important as their use increases. Individual drones acting autonomously will be able to achieve some tasks, but swarms of autonomous drones working together will be able to achieve much more complex tasks and be able to better adapt to changing environments. In this paper we describe an example scenario involving a swarm of drones from a military coalition and civil/humanitarian organisations that are working collaboratively to monitor areas at risk of flooding. We provide a definition of a swarm and how they can operate by exchanging messages. We define a flexible set of policies that are applicable to our scenario that can be easily extended to other scenarios or policy paradigms. These policies ensure that the swarms of drones behave as expected (e.g., for safety and security). Finally we discuss the challenges and limitations around policies for autonomous swarms and how new research, such as generative policies, can aid in solving these limitations
Analysis of Dialogical Argumentation via Finite State Machines
Dialogical argumentation is an important cognitive activity by which agents
exchange arguments and counterarguments as part of some process such as
discussion, debate, persuasion and negotiation. Whilst numerous formal systems
have been proposed, there is a lack of frameworks for implementing and
evaluating these proposals. First-order executable logic has been proposed as a
general framework for specifying and analysing dialogical argumentation. In
this paper, we investigate how we can implement systems for dialogical
argumentation using propositional executable logic. Our approach is to present
and evaluate an algorithm that generates a finite state machine that reflects a
propositional executable logic specification for a dialogical argumentation
together with an initial state. We also consider how the finite state machines
can be analysed, with the minimax strategy being used as an illustration of the
kinds of empirical analysis that can be undertaken.Comment: 10 page
- …