Search
 
loader loading subjects...
cover
Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach
Ringo Baumann, Maximilian Heinrich
103 - 110
10.3233/FAIA200496
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 326: Computational Models of Argument
Abstract

Abstract dialectical frameworks (ADFs) are one of the most powerful generalization of classical Dung-style AFs. In this paper we show how to use ADFs if we want to deal with acceptance conditions changing over time. We therefore introduce so-called timed abstract dialectical frameworks (tADFs) which are essentially ADFs equipped with time states. Beside a precise formal definition of tADFs and an illustrating example we prove that KleeneÂŘs three-valued logic K3 facilitate the evaluation of acceptance functions if we do not allow multiple occurrences of atoms.

Download
Creative Commons License