آموزش هوش مصنوعی و رباتیک|صفحه 5
انواع فرموله کردن مسائل ارضای محدودیت CSP
ساده ترین نوع CSP شامل متغیرهایی است که دامنه های متناهی و گسسته دارند. دامنه گسسته میتواند نامتناهی باشد، مثل مجموعه ای از رشته ها یا مقادیر صحیح.
انتشار محدودیت در استنتاج CSP ها
انتشار محدودیت : در این استنتاج مسائل ارضای محدودیت CSP ها، از محدودیت ها برای کاهش تعداد مقادیر معتبر برای یک متغیر کاسته میشود و در نتیجه باعث کاهش تعداد مقادیر معتبر برای متغیر دیگر میشود.
الگوریتم جست وجوی عقبگرد در CSPها
الگوریتم جست وجوی عقبگرد در CSPها،جست وجوی عمقی ای است که هر بار مقادیری را برای یک متغیر انتخاب میکند و وقتی مقدار معتبری برای انتساب به متغیر وجود نداشته باشد، به عقب برمیگردد
الگوریتم عقبگرد هوشمند در CSPها
در الگوریتم عقبگرد هوشمند(نگریستن به عقب) CSP ها آنقدر به عقب برگردیم تا به متغیری برسیم که مسئله را حل کند و یکی از مقادیر ممکن دامنه را غیرممکن سازد
الگوریتم جست وجوی محلی در CSPها
الگوریتم جست وجوی محلی در CSPها از فرموله کردن "حالت کامل" استفاده میکنند، بطوریکه حالت شروع، مقداری را به هر متغیر نسبت میدهد و جست وجو هر بار مقدار یک متغیر را تغییر میدهد.
عامل های مبتنی بر دانش در هوش مصنوعی AI
عامل مبتنی بر دانش در هوش مصنوعی ادراکی را بعنوان ورودی میگیرد و فعالیتی را بعنوان خروجی برمیگرداند. عامل، یک پایگاه دانش (KB) را نگهداری میکند، که ممکن است در آغاز شامل دانش اولیه باشد
دنیای ومپوز در هوش مصنوعی AI
دنیای ومپوز مثالی از یک استدلال منطقی است و غاری است که اتاق های آن با راهروهایی به هم متصل هستند و یک حیوان ومپوز در جایی کمین کرده است و عامل میتواند به ومپوز شلیک کند. تعریف دقیق محیط کار، توسط توصیف PEAS مشخص شده است
منطق گزاره ای در هوش مصنوعی AI
منطق گزاره ای، منطق بسیار ساده ای است. نحو منطق گزاره ای، جملات مجاز را تعریف میکند. جملات اتمیک یا بسیط از یک نماد گزاره تشکیل شده است. هر یک از این نمادها به گزاره ای اختصاص دارد که میتواند درست یا نادرست باشد.