نتایج جستجو

...ه بپذیرم تهران پایتخت [[فرانسه]] است. منطق کلاسیک این ارتباط را می‌پذیرد و منطق‌های فراسازگار می‌خواهند پاسخی برای این مشکل بیابند.<ref>"Paraconsistent Log منطق کلاسیک انفجاری است؛ به این معنا که اگر یک تناقض در فرضیات باشد همه‌چیز از آ ...

'''منطق انگارشی''' (Default Logic) گونه ای منطق غیر یکنواخت است که به [[صوری سازی]] استنتاج کردن با پیش فرض گرفتن انگاره‌ها عباراتی چون، به صورت پیش فرض چیزی درست است، به این نوع منطق اشاره دارد. برای نمونه «پرنده جانوری است که پرواز می‌کند» از این عباراتها ا ...

...نطق پویا''' {{به انگلیسی|Dynamic logic}} نوعی گسترش [[منطق وجهی]] است. این منطق در اساس برای استنتاج دربارهٔ برنامه‌های رایانه‌ای ساخته شد ولی بعدها به رفت ...angle </math> گسترش داده‌است، در نتیجه منطق پویا یک [[:en:Multimodal_logic|منطق چند-وجهی]] است. معنی <math>[a]p</math> آن است که «بعد از انجام عمل <math> { ...

...وتاهی از جمله‌هایی بلند (یا کوتاه) تصور کرد.<ref>درآمدی نو به منطق نمادین: منطق محمول‌ها، ص 43.</ref> ...شخص کرد و تعبیری یافت که با فرض صدق مقدمات، نتیجه کاذب باشد.<ref>درآمدی به منطق جدید، ص 105.</ref>. به عنوان مثال، استدلال زیر را که دارای دو مقدمه و یک نت ...

...نند که [[دامنه خالی|دامنه تهی]] دارند. یک منطق آزاد با خاصیت اخیر را یک '''منطق فراگیر''' گویند. در [[منطق کلاسیک]] قضیه‌هایی وجود دارد که به وضوح فرض می‌کنند چیزی در [[دامنه سخن]] م ...

...با منطق درجه اول، مساله‌های استنتاج اصلی برای DL ها معمولاً [[تصمیم‌پذیری (منطق)|تصمیم‌پذیر]] هستند، و برای این مسائل، رویه‌های تصمیم مؤثر طراحی و پیاده‌سا == انواع منطق توصیف == ...

...از اطلاعات شناخته شده و بخشی از اطلاعات ناشناخته است. این رویکرد همانند [[منطق فازی]] کاربرد گسترده‌ای در دنیای واقعی داد که در سال‌های اخیر در زمینه‌های [[رده:منطق در علوم کامپیوتر]] ...

...عریف می‌کنند از طریق عبارت‌های احتمالاتی به دست می‌آیند. یکی از دشواری‌های منطق‌های احتمالاتی این است که آن‌ها میل دارند [[نظریه پیچیدگی محاسباتی|پیچیدگی م ...ه سعی می‌کنند یک بسط احتمالاتی از مفهوم [[پیامد منطقی]] بسازند، مثل [[شبکه منطق مارکوف]]، و آن‌هایی که سعی می‌کنند مسائلی با عدم قطعیت و نبود شواهد را هدف ...

...Academic|location=Dordrecht|isbn=978-0-7923-8595-0|ref=harv}}</ref> اصطلاح منطق فازی اولین بار در پی تنظیم [[مجموعه‌های فازی|نظریهٔ مجموعه‌های فازی]] به وس ...انک]] پس از بررسی رایانه‌ای [[بیلان]] اقتصادی یک بازرگان می‌تواند فراتر از منطق «وام می‌دهیم» یا «وام نمی‌دهیم» رفته و بگوید: «وام می‌دهیم اگر…» یا «وام نم ...

...resent and Future", by A. N. Prior, Oxford Univ.</ref> موجهات دیانتیک یا [[منطق موجهات فقهی]] (به‌طور خاص، «واجب است که <math>p</math>» و «مجاز است که <mat ...د» و «این امکان هست که امروز باران بیاید» هر دو حاوی مفهوم امکان هستند. در منطق موجهات این مسئله به عنوان یک عملگر، یعنی «امکاناً»، به جملهٔ «امروز باران خ ...