Logical Argumentation among Agents

Cognition of an individual is a dynamic process, shaped not only by his contact with 'inanimate' nature, but mainly by his interaction with other cognizing beings. This interaction takes place in language and often takes form of a dialogue, whose one particular form is argumentation (similar forms of dialogue being explanation, persuasion, negotiation etc.). Cognizing being (agent) confronts his beliefs and their justification with those of another agent in argumentation. There are several mathematical models for argumentation, describing rules of its evaluation and processing. We are mainly concerned with argumentation based on logical arguments, where claim logically follows from the premises