advertise laitec sharif univercity تبلیغات در سایت سورس کد تبلیغات در سایت سورس کد
دانلود آپلود سنتر پیشرفته با PHP و Ajax

دانلود آپلود سنتر پیشرفته با PHP و Ajax

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

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

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

دانلود سورس پروژه سی شارپ شبیه سازی صف بانک تحت شبکه

3000 تومان
دانلود پروژه فروشنده دوره گرد با الگوریتم گرانشی در #C

دانلود پروژه فروشنده دوره گرد با الگوریتم گرانشی در #C

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

دانلود مجموعه 70 پروژه مفید و کاربردی سی شارپ #C

9500 تومان

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

الگوریتم مربوط به استنتاج، روش بازرسی مدل است که تعریف ایجاب از KB را بطور مستقیم پیاده سازی میکند: شمارش مدل ها و بررسی این نکته که آیا در هر مدلی که KB درست است، جمله ای مثل a نیز درست هست یا خیر. مدلها، انتساب های true یا false به هر نماد گزاره ای هستند.
الگوریتم استنتاج (ایجاب) در منطق گزاره ای

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

اولین الگوریتم مربوط به استنتاج، روش بازرسی مدل است که تعریف ایجاب (نتیجه گیری ) از KB (پایگاه دانش) را بطور مستقیم پیاده سازی میکند: شمارش مدل ها و بررسی این نکته که آیا در هر مدلی که KB درست است، جمله ای مثل a نیز درست هست یا خیر. مدلها، انتساب های true یا false به هر نماد گزاره ای هستند. یک الگوریتم کلی برای تصمیم گیری در مورد "ایجاب" در منطق گزاره ای در ادامه بررسی خواهیم کرد.

همانند الگوریتم BACKTRACKING-SEARCH که با آن آشنایی دارید، TT-ENTIAL? یک شمارش بازگشتی از فضای متناهی "انتساب به نمادها" را اجرا میکند. این الگوریتم، صحیح است، زیرا مستقیما ایجاب را پیاده سازی میکند، و کامل است، زیرا برای هر KB و a کار میکند و همیشه خاتمه می یابد- فقط "تعدادی محدود" از مدلها برای بررسی وجود دارند.

البته تعدادی محدود همیشه به معنای تعداد کم نیست اگر KB و a دارای  n نماد باشند، آنگاه 2n مدل وجود دارد. بنابراین پیچیدگی زمانی الگوریتم برابر با O(2n) است. پیچیدگی فضا فقط O(n) است زیرا شمارش بصورت عمقی انجام میشود. متاسفانه ، ایجاب گزاره ای احتمالا آسانتر از NP نیست. بنابراین هر الگوریتم شناخته شده برای منطق گزاره ای یک پیچیدگی زمانی در بدترین حالت دارد که بر حسب اندازه ی ورودی، نمایی است.

 

الگوریتم کلی برای تصمیم گیری در مورد "ایجاب" در منطق گزاره ای:

 

function  TT-ENTAILS? (KB,a)  returns  true  or  false

      inputs : KB, the knowledge  base, a  sentence  in  propositional  logic

                       a, the  query , a  sentence  in  propositional  logic

 

      symbols <-- a  list of  the proposition  symbols  in KB  and  a

      return  TT-CHECK-ALL(KB, a, symbols, {})

function  TT-CHECK-ALL(KB, a, symbols, mdel)  returns  true  or  false

         if  EMPTY?( symbols)  then

                  if   PL-TRUE? (KB, mdel)  then  return  PL-TRUE?(a, model)

                  else   return  true  ||  when  KB  is  false, always  return  true

        else  do

                  p <-- FIRST (symbols)

                  rest <--  REST(symbols)

                 return  (TT-CHECK-ALL (KB, a, rest, model U { P = true } )  and   TT-CHECK-ALL (KB, a, rest, model U { P = false } ))

 

 

                  



0
نظرات

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



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


advertise
یک رویه استنتاج سادهالگوریتم پیاده سازی ایجاب منطق گزاره ایشبه کد الگوریتم استنتاج در هوش مصنوعیالگوریتم نتیجه گیری در propositional logicآموزش الگوریتم ایجاب در AIدانلود سورس کد الگوریتم ایجاب در هوش مصنوعیروش تصمیم گیری در مورد ایجاب در منطق گزاره ایالگوریتم ایجاب در منطق گزاره ایتبلیغات ارزان سایت آموزش برنامه نویسیتبلیغات مخصوص طراحان وب سایتتبلیغات در سایت برنامه نویسیتبلیغات اینترنتی برای برنامه نویساندر آغوش مینیمالیسممنوی همبرگر با سه خط افقی که روی یکدیگر قرار گرفته اند نشانه چیست؟ سوئیچ به یک ستون واحدتبدیل متن ساده به وبلاگ و سایت های پویا با React.jsکتابخانه sass برای استفاده آسان تر از آنکتابخانه سطح بالا برای اتوماتیک سازی اعمال مرورگر لیست برچسب ها
تمامی حقوق این سایت اعم از محتوی ، تصاویر ، قالب و ... متعلق به گروه مهندسی وب سایت سورس کد می باشد.
SourceCodes.ir ، افقی روشن برای برنامه نویسان ، از مبتدی تا حرفه ای

سفارش پروژه در سورس کد

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

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