Аннотация:Предлагается формальная модель аргументации, обеспечивающая оценку корректности аргументативных рассуждений и позволяющая учесть критерий эффективности аргументации (изменение позиции ее участников). Модель основана на девятиэлементной би-решетке, представляющей обобщение известной решетки в логике Белнапа.