دانلود مقاله ISI انگلیسی شماره 46195
ترجمه فارسی عنوان مقاله

بهینه سازی کلونی زنبور عسل برای مسئله رضایت بخش در منطق احتمالی

عنوان انگلیسی
Bee colony optimization for the satisfiability problem in probabilistic logic
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
46195 2015 9 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 8803 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 13 روز بعد از پرداخت 105,636 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 7 روز بعد از پرداخت 211,272 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Applied Soft Computing, Volume 31, June 2015, Pages 339–347

ترجمه کلمات کلیدی
احتمال شرطی - احتمال تقریبی - متا اکتشافی - هوش ازدحامی
کلمات کلیدی انگلیسی
03B60; 68T20; 68T27Probabilistic satisfiability; Conditional probability; Approximate probability; Meta-heuristics; Swarm intelligence
پیش نمایش مقاله
پیش نمایش مقاله بهینه سازی کلونی زنبور عسل برای مسئله رضایت بخش در منطق احتمالی

چکیده انگلیسی

This paper presents the first heuristic method for solving the satisfiability problem in the logic with approximate conditional probabilities. This logic is very suitable for representing and reasoning with uncertain knowledge and for modeling default reasoning. The solution space consists of variables, which are arrays of 0 and 1 and the associated probabilities. These probabilities belong to a recursive non-Archimedean Hardy field which contains all rational functions of a fixed positive infinitesimal. Our method is based on the bee colony optimizationmeta-heuristic. The proposed procedure chooses variables from the solution space and determines their probabilities combining some other fast heuristics for solving the obtained linear system of inequalities. Experimental evaluation shows a high percentage of success in proving the satisfiability of randomly generated formulas. We have also showed great advantage in using a heuristic approach compared to standard linear solver.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 8803 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 13 روز بعد از پرداخت 105,636 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 7 روز بعد از پرداخت 211,272 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.