هوش مصنوعی و منطق: ارتباط و کاربردها

هوش مصنوعی (AI) به عنوان یکی از پویاترین فناوریهای عصر حاضر ریشه در کهنترین سنتهای فکری بشر دارد. منطق زبان ریاضی استدلال و هوش مصنوعی مدلسازی رایانه ای استدلال است لذا می توان ادعا کرد، منطق زبان و بنیان نظری لازم برای صوری سازی استدلال و دانش را برای هوش مصنوعی فراهم می کند. در این مقاله به تطور تاریخی و کاربردهای سه شاخه کلیدی منطق شامل منطق کلاسیک، منطق وجهی و منطق فازی در حوزه های مختلف هوش مصنوعی پرداخته و نشان داده می شود که چگونه هر یک از این نظامهای منطقی جنبه های متفاوتی از هوش و استدلال در محیط های پیچیده را مدلسازی می کنند.

کلیدواژه ها:

هوش مصنوعی ، منطق ، منطق کلاسیک ، منطق وجهی ، منطق فازی