Timed Concurrent Language for Argumentation: an Interleaving Approach
Time is a crucial factor in modelling dynamic behaviours of intelligent agents: in a real-world environment, activities have a determined temporal duration and the behaviour of agents is influenced by the actions previously taken. In this paper, we propose a language for modelling concurrent interaction between agents that also allows the specification of temporal intervals in which particular actions occur.
Such a language exploits a timed version of Abstract Argumentation Frameworks to realise a shared memory used by the agents both to communicate and to reason on the acceptability of their beliefs with respect to a given time interval.
An interleaving model on a single processor is used for basic computation steps (with maximal parallelism for time elapsing). Following this approach, at each moment only one of the enabled agents is executed.
Mon 17 JanDisplayed time zone: Eastern Time (US & Canada) change
10:20 - 12:00
|Smart Devices and Large Scale Reasoning via ASP: Tools and ApplicationsRemote|
|Timed Concurrent Language for Argumentation: an Interleaving ApproachRemote|
|Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set ProgrammingRemote|
Joaquín Arias Universidad Rey Juan Carlos, Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM), Gopal Gupta The University of Texas at DallasDOI Pre-print File Attached
|Implementing Stable-Unstable Semantics with ASPTOOLS and ClingoRemote|
Tomi Janhunen Tampere University