زنجیره‌سازی عقب‌سو
زنجیره‌سازی عقب‌سو (به انگلیسی: Backward chaining) یکی از دو روش استنتاج منطقی در موتور استنتاج می‌باشد. روش دیگر زنجیره‌سازی جلوسو می‌باشد. در این روش برای اثبات یک گزاره، از گزاره شروع کرده و با بررسی مقدمات آن در پایگاه دانش سعی می‌شود که گزاره اثبات شود.
منابع
- فصل هفتم کتاب هوش مصنوعی: رهیافتی نوین – نوشته استوارت راسل و پیتر نورویگ – ویرایش سوم - ۲۰۰۹
- Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, 3rd Edition, Prentice Hall, 2009
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.