Past Issues

Studies in Informatics and Control
Vol. 8, No. 4, 1999

Resolution and Consistency in Dialogical Reasoning

Mircea Oancea
Abstract

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.

Keywords

View full article