موضوع فارسی :استدلال ترکیبی با همکاری خودکار
موضوع انگلیسی :Combined reasoning by automated cooperation
تعداد صفحه :25
فرمت فایل :PDF
سال انتشار :2008
زبان مقاله : انگلیسی
چکیده
سیستم های مختلف استدلال دارای نقاط قوت و ضعف متفاوت، و اغلب آن مفید است به ترکیب این سیستم برای به دست آوردن تا حد امکان از نقاط قوت خود و حفظ عنوان کوچک که ممکن از نقاط ضعف آنها. علاقه خاص ادغام تکنیک های مرتبه بالاتر اول از سفارش و است. سیستم های استدلال اول، از یک سو، قدرت قابل توجهی در برخی از سوله رسیده اند، اما در بسیاری از زمینه های ریاضیات آنها هنوز هم نمی تواند قابل اعتماد حل مشکلات نسبتا ساده است، برای مثال، هنگامی که استدلال درباره مجموعه، روابط، و یا توابع. سیستم های استدلال مرتبه بالاتر، از سوی دیگر، می تواند مشکلات از این نوع به طور خودکار حل کند. اما پیچیدگی ذاتی در سنگ آنها را از حل یک طیف وسیعی از مشکلات جلوگیری می کند. با این حال، در حالی که بسیاری از مشکلات می تواند توسط هر یک سیستم به تنهایی نمی تواند حل شود، آنها را می توان با ترکیبی از این سیستم حل شده است.
ما در حال حاضر روش کلی بر اساس عامل برای یکپارچه سازی سیستم های استدلال متفاوت است. این برنامه یک چارچوب یکپارچه سازی عمومی که تسهیل همکاری بین استدلالگران متنوع، اما همچنین می تواند دوباره تعریف را قادر می سازد کافی فی EF بیشتر، یکپارچگی متخصص. ما به صورت تجربی توسط مطالعات موردی مربوط به ادغام فی تحلیلگرها قضیه مرتبه بالاتر خودکار ژنراتور مدل RST-سفارش و سیستم جبر کامپیوتری، و ارزیابی سودمندی، اثربخشی و بهره وری آن است.
دانلود مقاله ISI استدلال ترکیبی با همکاری خودکار