نتایج جستجو

'''صدق‌پذیری هورن''' {{به انگلیسی|Horn-satisfiability}} یا '''ارضاپذیری هورن''' با کوته‌ [[رده:مسائل صدق‌پذیری]] ...

'''صدق‌پذیری''' یا '''ارضاپذیری''' در [[علوم رایانه|دانش رایانه]] پرسمانی است که می‌پرسد ...رفت است. هرچند هیچ‌کدام از روش‌های کنونی نمی‌توانند ''همه‌ی'' موارد مسئلهٔ صدق‌پذیری را به‌طور کارآمد حل کنند. ...

...‌اقدام است. مسئله می‌تواند از هر [[کلاس پیچیدگی|ردۀ پیچیدگی]] باشد. حتّی [[مسائل تصمیم‌ناپذیر]]، مثلِ [[مسئله توقف|مسئلۀ توقّف]]، می‌توانند استفاده شوند. ...ک '''اوراکل''' تصوّر کرد. اوراکل، در این مبحث، موجودیّتی قادر به حل یک سری مسائل است، که به عنوان مثال می‌تواند [[مسئله تصمیم|مسئلۀ تصمیم]] یا مسئلۀ تابع با ...

یک مسئله '''صدق‌پذیری در پیمانه نظریات''' {{به انگلیسی|satisfiability modulo theories}} با کوته‌ن ...ه آیا چنین فرمولی «صدق‌پذیر» هست یا نه. به عبارت دیگر، یک نمونه از [[مسئله صدق‌پذیری دودویی]] (SAT) را درنظر بگیرید، که در آن بعضی از متغیرهای دودویی با [[محمول ...

...معناشناسی مدل پایدار]] (مجموعه جواب) در [[برنامه‌نویسی منطقی]] است. در ASP مسائل جستجو به محاسبه مدل‌های پایدار کاهش می‌یابد، و از '''حل‌کننده‌های مجموعه جو ...وعه جواب است، که در آن حل‌کننده‌های ASP به صورت دوره‌ای، دربرابر تعدادی از مسائل مرجع، محک‌زنی می‌شدند. ...