Base objects

The theory of dialectical structures is an abstract representation of deliberation. It uses three main object types to do so. A Debate is composed of a set of arguments as well as a support and defeat relation between them. An Argument consists of premises and a conclusion. The relations between arguments are automatically determined through their premises and conclusions. The belief systems held by agents in light of the debate are described as a Position.

• Arguments
• Debates
  • Debates are sets of arguments
  • Relations between arguments in a debate
  • Debate objects
• Positions
  • Positions are belief sytems of agents
  • Properties of positions
    • Completeness
    • Closedness
    • Coherence
  • The set of coherent and complete positions