استدلال استنتاجی
در منطق بدست آوردن یک گزاره از دنباله‌ای از یک مجموعه گزاره‌ها است. دنبالهٔ گزاره استفاده شده مفروضات و گزارهٔ بدست آمده نتیجه نامیده می‌شود. استدلال یا گواه آوردن قیاسی، منطق قیاسی نیز نامیده می‌شود. این روش استدلال کردن یا گواه آوردن از بحث‌های قیاسی به دست می‌آید. در این گونه بحث، تلاش می‌شود تا نشان داده شود که نتیجه به‌طور بایسته و ضروری، از مجموعه‌ای از پیش فرض‌ها یا فرضیه‌ها به دست می‌آید. بحث قیاسی هنگامی معتبر است که نتیجه به‌طور بایسته و ضروری، از پیش فرض و فرضیه به دست آید. گواه آوری یا استدلال قیاسی در کنار گواه آوری استقرایی (inductive reasoning)، یکی از دو روش رایج در شناخت و رسیدن به دانایی یا معرفت است.
تصمیم‌گیری چندمعیاره
4- روش الکتره (ELECTRE): این روش نیز به رتبه بندی گزینه ها از بر اساس مفاهیم مسلط و غیر مسلط بودن می پردازد. خانواده ELECTRE شامل روش های متنوعی می باشد که از میان آنها می توان به موارد زیر اشاره نمود . تمام روش ها توسعه داده شده مدل پایه هستند. 5- روش تاپسیس (TOPSIS) : روش تاپسیس یکی از تکنیک‌های مورد استفاده در تصمیم‌گیری چند معیاره (MCDM) است. در این روش تصمیم‌گیری تعدادی گزینه و تعدادی معیار برای تصمیم‌گیری وجود دارد که باید با توجه به معیارها، گزینه‌ها رتبه‌بندی شوند، و یا اینکه به هر یک از آن‌ها یک نمره کارایی اختصاص داده شود. فلسفه کلی روش تاپسیس این است که با استفاده از گزینه‌های موجود، دو گزینه فرضی تعریف می‌شوند. یکی از این گزینه‌ها مجموعه‌ای است از بهترین مقادیر مشاهده شده در ماتریس تصمیم‌گیری. این گزینه‌ را اصطلاحاً ایده‌آل مثبت (بهترین حالت ممکن) می‌نامیم. ضمن اینکه یک گزینه فرضی دیگر تعریف می‌شود که شامل بدترین حالت‌های ممکن باشد. این گزینه ایده‌آل منفی نام دارد. معیارها می‌تواند دارای ماهیت مثبت یا منفی باشند، همچنین واحد اندازه‌گیری آن‌ها نیز می‌تواند متفاوت باشد.