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