Dialogic - a theoretical basis for studying agents communications in new generation intelligent CAD systems
The concept of intelligent CAD system based on multi-agent architecture is developed. Some problems of dialogic - a wide pluridisciplinary area dedicated to dialogues studies paper - are faced. The main attention is paid to logical dialogue mo-dels. The authors introduce new logical-algebraic constructions such as dialogue logics, disputation logics, dialogues lattices and bilattices, disputation lattices. The minimallyvalued dialogue semantics based on lattice and bilattice theory is suggested, basic dialogue logics are proposed, their main operations are specified and justified. The developed formal mo-dels find application in the construction of multi-agent system to support expert interactions during complex products life-cycle.