جستجوي پيشرفته | کتابخانه مجازی الفبا

ترجمه ماشینی: این کتاب اولین کتابی است که در زمینه پاراسازگاری، مروری جامع از موضوع، از جمله ارتباط با دیگر منطق‌ها و کاربردها در پردازش اطلاعات، زبان‌شناسی، استدلال و استدلال، و فلسفه علم ارائه می‌کند. خواندن آن برای هر کسی که علاقه مند به بحث استدلال و استدلال در حضور تناقضات، در معناشناسی، در پارادوکس های نظریه مجموعه ها و ویژگی های گیج کننده نفی در برنامه ریزی منطقی است، توصیه می شود. منطق ناسازگار یک نظریه منطقی عمده را در بر می گیرد و وسیع ترین دیدگاه ممکن را در مورد بحث نفی در منطق و فلسفه ارائه می دهد. این ابزار قدرتمندی برای استدلال در شرایط تناقض است زیرا سیستم‌های منطقی را بررسی می‌کند که در آن اطلاعات متناقض به نتایج دلخواه منجر نمی‌شوند. استدلال تحت تضادها یکی از مهمترین و خلاقانه ترین دستاوردهای منطق معاصر است که ریشه های عمیقی در مسائل فلسفی شامل نفی و ثبات دارد. این کتاب مقدمه ای ارزشمند برای موضوعی مهم در منطق و فلسفه ارائه می دهد. (1) تاریخچه منطق ناسازگار را مورد بحث قرار می دهد. (2) زبان، نفی، تضاد، سازگاری و ناسازگاری؛ (iii) منطق ناسازگاری صوری (LFIs) و سیستم‌های گزاره‌ای ناسازگار اصلی. (IV) همراهان بسیار ارزشمند، معناشناسی ترجمه های ممکن و معناشناسی غیر قطعی. (v) منطق های مودال ناسازگار. (vi) منطق های ناسازگار مرتبه اول. (vii) برنامه های کاربردی برای پردازش اطلاعات، پایگاه های داده و محاسبات کوانتومی. و (viii) کاربردهایی برای پارادوکس‌های دینی، ارتباط با تفکر شرقی و استدلال محاوره‌ای.

ترجمه ماشینی: این کتاب شرح مفصلی بر تک نگاری کلاسیک آلفرد تارسکی ارائه می دهد و با استفاده از متن اصلی لهستانی و ترجمه انگلیسی و آلمانی، تفسیر و ترجمه مجدد اثر را ارائه می دهد. در اثر اصلی، تارسکی روشی را برای ساختن تعاریف حقیقت برای زبان‌های رسمی کلاسیک و کمی ارائه می‌کند. علاوه بر این، با استفاده از مفهوم تعریف شده از صدق، او نشان می دهد که می توان به طور شهودی تعاریف مناسبی از مفاهیم معنایی تعریف پذیری و دلالت ارائه کرد و این مفهوم در یک ساختار را می توان به گونه ای تعریف کرد که مشابه آن چیزی است که برای تعریف حقیقت استفاده می شود. . اثر تارسکی به عنوان یکی از کمک های عمده به منطق، معناشناسی و معرفت شناسی در قرن بیستم در نظر گرفته می شود. با این حال، نویسنده خاطرنشان می کند که هنگام ترجمه آن به آلمانی در سال 1935، برخی از اشتباهات وارد متن شده است. از آنجایی که نسخه انگلیسی 1956 این اثر از متن آلمانی ترجمه شده است، این اختلافات علاوه بر اشتباهات جدید منتقل شده است. نویسنده با دقت این سه متن را به صورت جمله به جمله مقایسه کرده است، ترجمه های نادرست را برجسته می کند، توضیحاتی در مورد چگونگی پیدایش آنها ارائه می دهد و در مورد چگونگی تأثیر آنها بر محتوا اظهار نظر می کند و تفسیر صحیحی از برخی قسمت ها را پیشنهاد می کند. علاوه بر این، نویسنده مقاله تارسکی را به طور کامل بررسی می کند و تفسیرها و نظراتی را در مورد این اثر ارائه می دهد.

ترجمه ماشینی: از سواد اطلاعاتی تا معرفت‌شناسی اجتماعی: بینش‌های روان‌شناسی بر اطلاعات و راه‌هایی تمرکز دارد که سواد اطلاعاتی با تفکر انتقادی در آموزش، محیط کار و زندگی اجتماعی ما ارتباط دارد. زمینه گسترده مورد علاقه ما، توسعه فناوری‌های اینترنتی است که اغلب با عباراتی مانند «عصر دیجیتال» مشخص می‌شود، که منجر به پرسش‌هایی درباره مشارکت دیجیتال، شکاف‌های دیجیتال، و نقش تفکر در جامعه اطلاعاتی می‌شود. به طور خلاصه، «عصر دیجیتال» تا چه اندازه باعث ایجاد تغییرات در یادگیری به سمت استفاده بهتر از اطلاعات است، و علاوه بر آن، تشویق یا حتی نیاز به بهبود در تفکر انتقادی است؟ کمکی جدید و مرتبط بر اساس ترکیب نویسندگان از تعدادی ساختار روان‌شناختی همسو با سواد اطلاعاتی ارائه می‌کند. با تحقیق در مورد بزرگسالان بازگشته به آموزش عالی و بررسی تجربیات آنها در رابطه با تجربیات قبلی، بینش‌های اخیر را به کار می‌برد. تحولات در مورد این موضوع، یعنی برنامه درسی Secker و Coonan IL، اجازه می دهد یک دیدگاه رشته ای جایگزین و یک پلت فرم جدید، مبتنی بر تحقیق، مدلی را بر اساس ادبیات بررسی شده ایجاد می کند و رابطه مدل را با مفهوم گسترده تر معرفت شناسی اجتماعی مورد بحث قرار می دهد.

ترجمه ماشینی: این کتاب به اصول اخلاق ماشینی می پردازد. توانایی های مورد نیاز برای استدلال ماشینی اخلاقی و ویژگی های برنامه نویسی که آنها را قادر می سازد مورد بحث قرار می گیرد. این اخلاق، فرآیندهای اخلاقی روانشناختی، و رویه‌های پیاده‌سازی شده توسط ماشین را به هم متصل می‌کند. از نقطه نظر فنی، این کتاب از برنامه‌نویسی منطقی و نظریه بازی‌های تکاملی برای مدل‌سازی و پیوند قلمرو اخلاقی فردی و جمعی استفاده می‌کند. همچنین نتایج آزمایش های انجام شده با استفاده از چندین پیاده سازی مدل را گزارش می دهد. نویسندگان با گشودن هجوم‌های خاص و امیدوارکننده به فضای ناشناس اخلاق ماشین، ابزارهای جدیدی را در اینجا تعریف کرده و انواع کاربردهای اخلاقی آزمایش‌شده توسط برنامه و سیستم‌های پیاده‌سازی شده را توصیف می‌کنند. علاوه بر این، آنها مسیرهای خواندن جایگزینی را ارائه می دهند که به خوانندگان اجازه می دهد تا به بهترین وجه بر علایق خاص خود تمرکز کنند و مفاهیم را در سطوح مختلف جزئیات کشف کنند. این کتاب عمدتاً برای محققان علوم شناختی، هوش مصنوعی، رباتیک، فلسفه فناوری و مهندسی اخلاق نوشته شده است، همچنین برای سایر دانشگاهیان، دانشجویان کارشناسی در جستجوی موضوعات تحقیقاتی، روزنامه‌نگاران علمی و همچنین انجمن‌های علمی و اجتماعی مورد توجه عموم قرار خواهد گرفت. قانونگذاران و سازمان های نظامی مرتبط با اخلاق ماشینی.