استدلال خودکار (به انگلیسی: automated reasoning) حوزه‌ای از علوم کامپیوتر و منطق ریاضی است که مربوط به درک جنبه‌های مختلف از استدلال است. استدلال خودکار...

از یک استدلال تلقی کرد. استدلال از راه سنگ استدلال استقرائی استدلال استنتاجی استدلال بر پایه قضاوت عقلانی استدلال خودکار استدلال ریاضی استدلال شهودی استدلال...

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

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

توجهی در حوزه استدلال مبتنی بر قضاوت عقلانی خودکار در زمینه‌های استدلال مرتبط با طبقه‌بندی، استدلال مربوط به اقدامات و تغییر و نیز استدلال دربارهٔ زمان...

اطلاعات سامانهٔ استدلال یا سیستم استدلال خودکار، یک سیستم نرم‌افزاری است که از دانش در دسترس، با استفاده از تکنیک‌های منطقی مانند استدلال استنتاجی و استقراء،...

موضوع را دانست که کلمه هوش، نشان دهنده امکان استدلال است و اینکه آیا هوش مصنوعی می‌تواند به توانایی استدلال دست یابد یا خیر، خود موضوع اختلاف محققان است...

داشته‌است؛ زمانی که رایانه‌ها بخواهند در کنار انسان، یا به‌جای انسان، به استدلال بپردازند، نقش آن، به سبب دشواری‌های ناشی از مقیاس‌پذیری، حیاتی‌تر و اجتناب‌ناپذیر...

موردی را ایجاد می‌کند، از استدلال مبتنی بر مورد استفاده می‌کند. استدلال مبتنی بر مورد تنها یک روش قدرتمند برای استدلال خودکار نیست بلکه یک روش فراگیر در...

مریخ مسحور شد و Mars Oasis را ایجاد کرد. هدف این پروژه ایجاد گلخانه‌های خودکار بود که در آینده بتواند به پایه‌ای برای یک اکوسیستم خودکفا تبدیل شود. مشکل...

ممکن است به طریقی به عقب کشیده شود، مانند بانداج سر. با این حال، مخالفان، استدلال می‌کنند که این مغایر ایده اتصال به توپ است. متناوباً، می‌توان سر را به...

مترجم خودکار چندگانه (در سال ۲۰۰۹ ارائه شد) ایدوماکس: سرویس‌های مترجم آنلاین در idiomax.com با اینکه هیچ‌یک از سیستم‌ها، خلاصه‌ای بدون خطا، تمام خودکار و...

بررسی برهان خودکار در علوم رایانه به فرایند استفاده از نرم‌افزار برای بررسی درستی برهان‌های ریاضی است. بررسی برهان خودکار یکی از توسعه‌یافته‌ترین شاخه‌های...

بی‌نتیجه است. استدلال از راه سنگ استدلال استقرائی استدلال استنتاجی استدلال بر پایه قضاوت عقلانی استدلال خودكار استدلال ریاضی استدلال عقلانی استدلال قابل بازنگری...

قانونی شد. نخست‌وزیران امپراتوری بریتانیا با این ازدواج مخالفت کردند و استدلال کردند که یک زن مطلقه با دو شوهر سابق زنده از نظر سیاسی و اجتماعی به عنوان...

برنامه‌ریزی در دهه ۱۹۴۰ به اوج خود رسید، یعنی ماشینی که بر پایه ماهیت انتزاعی استدلال ریاضی ساخته شده بود. این وسیله و ایده‌های پشت آن تنی چند از دانشمندان را...

استدلال‌ها برای وقوع تخلّف شامل استدلال بر پایهٔ سرعت شمارش آرا، استدلال بر پایه نحوه اعلام نتایج، استدلال بر پایه میزان آرا به احمدی‌نژاد، استدلال‌های...

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

کوانتومی علوم نظری رایانه هوش مصنوعی (نمای کلی هوش مصنوعی) علوم شناختی استدلال خودکار یادگیری ماشینی شبکه عصبی مصنوعی ماشین بردار پشتیبانی پردازش زبان‌های...

از راه سنگ استدلال بر پایه قضاوت عقلانی استدلال خودكار استدلال ریاضی استدلال شهودی استدلال عقلانی استدلال قابل بازنگری استدلال قیاسی استدلال مبتني بر مورد...

استدلال از راه سنگ استدلال استقرائی استدلال استنتاجی استدلال بر پایه قضاوت عقلانی استدلال خودكار استدلال ریاضی استدلال شهودی استدلال عقلانی استدلال قابل...

رایانه، روباتیک یا بیوشیمی. زمان‌بندی و برنامه‌ریزی خودکار - استدلال خودکار - خودکارسازی - تشخیص خودکار هدف (Automatic target recognition) - رایانش مبتنی...

اثبات قضیه خودکار در علوم رایانه به بررسی راه‌های ممکن برای اثبات قضیه‌ها به صورت خودکار (معمولاً با برنامه کامپیوتری) می‌پردازد. اثبات قضیه خودکار یکی از...

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

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

نوشت که تیراندازی به سمت خودروی محسن فخری‌زاده، با استفاده از سلاح‌های خودکار صورت گرفته و هیچ عامل انسانی در محل ترور حضور نداشته است. بر اساس این روایت،...

کلیسایی کلیسای کاتولیک به‌طور صریح اعلام کرد که پیوستن به فراماسونری به صورت خودکار شامل تکفیر می‌شود و کتاب‌های فراماسونری را ممنوع اعلام کرد. در سال ۱۹۸۳،...

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

او «حقوق فردی» ناز و نعمتی است که «جنوب» جهانی استطاعت آن را ندارد. او استدلال کرد «در حالی که کشورهای غربی بر حقوق فرد تأکید می‌کنند کشورهای در حال توسعه...

کاربردهای عملی این فناوری ناشی می‌شود؛ برای نمونه می‌توان به کاربرد در استدلال خودکار، ترجمه ماشینی، دسته‌بندی اسناد، جمع‌آوری خبر، پاسخ به پرسش‌ها، فعال...

استدلال از راه سنگ استدلال استقرائی استدلال استنتاجی استدلال بر پایه قضاوت عقلانی استدلال خودكار استدلال ریاضی استدلال شهودی استدلال عقلانی استدلال قیاسی...