The system of argumentation we have implemented, models the dynamics of epistemic states, as depicted in P. Gardenfors' Knowledge in Flux. He described three types of epistemic states: expansion, revision and contraction. He modelled the relation between the agent and the epistemic states, and used a three- value logic.
Maximal Systems, Operational Theorem
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).