advertise laitec sharif univercity استخراج بیت کوین با کامپیوتر استخراج بیت کوین با کامپیوتر
سیستم اتوماسیون دهیاری ، پروژه مهندسی نرم افزار

سیستم اتوماسیون دهیاری ، پروژه مهندسی نرم افزار

3000 تومان
دانلود پروژه کامل مهندسی نرم افزار ، شرکت نرم افزاری

دانلود پروژه کامل مهندسی نرم افزار ، شرکت نرم افزاری

3000 تومان
دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

دانلود برنامه رنگ آمیزی گراف با الگوریتم عقبگرد در سی شارپ

3000 تومان
سورس پروژه پایانی وب سایت و نرم افزار کلینیک در ASP.net

سورس پروژه پایانی وب سایت و نرم افزار کلینیک در ASP.net

22000 تومان
پکیج ویژه پروژه پایانی و پایان نامه رشته کامپیوتر

پکیج ویژه پروژه پایانی و پایان نامه رشته کامپیوتر

45000 تومان

الگوریتم زنجیره عقبگرد backward chaining در هوش مصنوعی

الگوریتم زنجیره عقبگرد backward chaining برای کلازهای معین بیان شده اند و از هدف به عقب برمیگردند تا حقایق شناخته شده ای را پیدا کنند که اثبات را پشتیبانی میکنند. کاربرد این الگوریتم در برنامه نویسی منطقی است
الگوریتم زنجیره عقبگرد backward chaining در هوش مصنوعی

الگوریتم زنجیره عقبگرد backward chainingدر هوش مصنوعی

خانواده بزرگی از الگوریتم های استنتاج منطقی، از روش زنجیره عقبگرد استفاده میکنند که برای کلازهای معین بیان شده است. این الگوریتم ها، از هدف به عقب برمیگردند تا حقایق شناخته شده ای را پیدا کنند که اثبات را پشتیبانی میکنند. کاربرد این الگوریتم در برنامه نویسی منطقی است که پرکاربردترین شکل استدلال خودکار است. این الگوریتم در مقایسه با زنجیره ی پیشرو معایبی دارد.

 

الگوریتم زنجیره عقبگرد  (پسرو)

در ادامه شبه کد این الگوریتم را بیان خواهیم کرد. در این شبه کد، اگر پایگاه دانش شامل کلازی به شکل lhs goal باشد که lhs (کلاز سمت چپ یا left- hand side) لیستی از ترکیب های عطفی باشد، FOL – BC – ASK (KB, goal) اثبات خواهد شد. یک حقیقت اتمیک بعنوان کلازی در نظر گرفته میشود که lhs آن، لیستی خالی است. اکنون پرس و جویی که شامل متغیرهاست، ممکن است به چندین روش حل شود. بنابراین الگوریتم FOL – BC – ASK را به صورت یک مولد پیاده سازی میکنیم. مولد، تابعی است که چندین بار اجرا میشود و هر بار یک نتیجه ممکن را برمیگرداند.

زنجیره پیشرو نوعی جست وجوی AND/ OR است. علت وجود بخش OR این است که پرس وجوی هدف میتواند با هر قانونی در پایگاه دانش  اثبات شود، و علت وجود بخش AND این است که تمام عطف های موجود در lhs مربوط به کلاز باید اثبات شود.

 FOL – BC – OR به این صورت کار میکند: تمام کلازهایی را که ممکن است با هدف یکسان سازی شوند، دریافت میکند، متغیرهای موجود در کلاز را استاندارد میکند تا به متغیرهای جدیدی تبدیل شوند، و سپس اگر rhs مربوط به کلاز با هدف یکسان سازی شود، هر ترکیب عطفی موجود در lhs را با استفاده از FOL – BC – AND اثبات میکند، سپس آن تابع هر یک از ترکیبات عطفی را به نوبت اثبات میکند و جایگزینی های انباشته شده را در حین انجام کار، نگهداری میکند.

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

 

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

 

function  FOL – BC – ASK (KB, query)  returns  a  generator  of  substitutions

         return   FOL – BC – OR (KB, query, {})

function  FOL – BC – OR (KB, goal, θ)  yields  a  substitution

          for  each  rule  (lhs → rhs)  in  FETCH-RULES-FOR-GOAL(KB, goal) do

                    (lhs, rhs) ← STANDARDIZE-VARIABLES ( (lhs, rhs) ) 

                    for  each  θ’  in   FOL – BC – AND (KB, lhs, UNIFY (rhs, goal,θ)) do

                             yield  θ’

function  FOL – BC – AND (KB, goal, θ)  yields  a  substitution

         if  θ = failure  then  return

         else  if  LENGTH(goal) = 0 then  yield  θ

         else  do

                    first, rest ← FIRST (goal), REST (goals)

                     for each  θ’  in   FOL – BC – OR  (KB, SUBST(θ , first) , θ)  do

                                  for  each  θ’’  in  FOL – BC – AND (KB, rest , θ’ ) do

                                        yield  θ’’

 

 



0
نظرات

نظر خود را ارسال کنید



نام:
ایمیل:
دیدگاه:
captcha
کد امنیتی :


advertise
آشنایی با شیوه کار جستوجوی FOL – BC – ASK الگوریتم زنجیره عقبگرد پسرو چه نوع الگوریتمی است؟الگوریتم FOL – BC – ASKدانلود سورس کد جستوجوی زنجیره پسروآشنایی با ایده زنجیره پسرو در هوش مصنوعیbackward chaining algorithmالگوریتم جستوجوی زنجیره پسروالگوریتم استنتاج منطقی پسروالگوریتم زنجیره پسرو کجا کاربرد دارد؟backward chaining چیست؟جست وجوی زنجیره پیشروشبه کد الگوریتم زنجیره عقبگرد ساده برای پایگاه داده های مرتبه اول لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

کسب درآمد با کامپیوتر
تولید بیت کوین با کامپیوتر

پیشنهادات ویژه سورس کد

پکیج ویژه پروژه پایانی رشته کامپیوتر دانلود مجموعه 70 پروژه کاربردی سی شارپ وب سایت فروشگاه با php