پروژه سيستم هاي خبره پژوهش کامل در حوزه کامپیوتر و IT می باشد و در 7 فصل تنظیم شده است. شما میتوانید فهرست مطالب پروژه را در ادامه مشاهده نمایید.پروژه بصورت فایل قابل ویرایش ورد(WORD) در 82 صفحه برای رشته های کامپیوتر و IT در پایین همین صفحه قابل دانلود میباشد. شایسته یادآوری است که پروژه از ابتدا تا پایان ویرایش وتنظیم , سکشن بندی (section) ، نوشتن پاورقی (Footnote) و فهرست گذاری اتوماتیک کامل شده وآماده تحویل یا کپی برداری از مطالب مفید آن است.مقدمهاصول اوليه ماشين منطق كه در رياضيات پايه ريزي شده بود با تلاش كرت گاول ، آلوتز و چرچ ، آلن تورنيگ مهيا شد . همچنين روايت هدراسل در سال 1913 به توليد روش هاي صوري در استدلال منطقي كمك هاي شاياني كرد . تحقيق عمده همه اين افراد روي موضوع حساب هاي احتمالي و پیشنهادي متمركز شد.اين منطق صوري و نمادين به عنوان يك بخش مهم و قابل توجه در سيستم هاي هوش مصنوعي نشان داده شد . تورنينگ در سال 1950 ميلادي ماشيني را توسعه داد كه ثابت مي كرد يك پردازشگر ساده عددي مي تواند علامتها را به خوبي اعداد بدون نقص و صحيح ، پردازش كند و به كار ببندد. او اين مسأله را كه براي مقايسه هوش ماشين و هوش انسان مورد استفاده قرار گرفت در آزمايشي به نام تست تورنيگ آشكار ساخت. بدين ترتيب تا سال 1956 ميلادي كه جان مك كارتي براي نخستين مرتبه اصلاح هوش مصنوعي را در يك كنفرانس (كه در كالج دارت موث آمريكا برگزار شد) مورد استفاده قرار داد، اصطلاح هوش مصنوعي وجود نداشت .دانشمندان متعددي كه مشغول كار و بررسي اين زمينه نوين مطالعه بودند در كنفرانس گرد هم آمدند و تصميم آنها براي سازماندهي جديد اين علم چنان بود كه اعلام كردند در 25 سال آينده، كامپيوتر ها تمام كارها را انجام خواهند داد و فعاليت هاي ما تنها به كارهاي تفريحي محدود خواهد شد. و 25 سال بعد، همين زماني است كه ما در آن هستيم و پرواضح است كه اين قبيل پيشگويي ها از روي خوش بيني بوده و هوش مصنوعي اين توقعات را برآورده نكرده است.يكي از عمده ترينو قابل توجه ترين برنامه هاي هوش مصنوعي منطق تئوري يا منطق علوم نظري نوول، شاو و سايمون در سال 1963 بود. اين برنامه قادر بود 38 قضيه از 52 قضيه وايت هل راسيل (سال 1913) را در رياضيات پايه اثبات كند. تعدادي از اين برنامه ها در يك تراز، صلاحيت استعداد دانش آموزان فارغ التحصيل نشده را در رياضيات نشان مي دادند و بايد گفت هنگاميكه زبان كامپيوتري را براساس منطق بولين درنظر بگيريم،اين امركاري خارق العاده نمي باشد.