Formalization of Dialogue in the Decision Support System of Dr. Watson Type