Computational Logic

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

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

• فصول توسط مقامات برجسته در این زمینه
• محلی را فراهم می‌کند که در آن فیلسوفان و دانشمندان با هم تعامل دارند
• منبع مرجع جامع تاریخ منطق

Handbook of the History of Logic brings to the development of logic the best in modern techniques of historical and interpretative scholarship. Computational logic was born in the twentieth century and evolved in close symbiosis with the advent of the first electronic computers and the growing importance of computer science, informatics and artificial intelligence. With more than ten thousand people working in research and development of logic and logic-related methods, with several dozen international conferences and several times as many workshops addressing the growing richness and diversity of the field, and with the foundational role and importance these methods now assume in mathematics, computer science, artificial intelligence, cognitive science, linguistics, law and many engineering fields where logic-related techniques are used inter alia to state and settle correctness issues, the field has diversified in ways that even the pure logicians working in the early decades of the twentieth century could have hardly anticipated.

Logical calculi, which capture an important aspect of human thought, are now amenable to investigation with mathematical rigour and computational support and fertilized the early dreams of mechanised reasoning: “Calculemus”. The Dartmouth Conference in 1956 – generally considered as the birthplace of artificial intelligence – raised explicitly the hopes for the new possibilities that the advent of electronic computing machinery offered: logical statements could now be executed on a machine with all the far-reaching consequences that ultimately led to logic programming, deduction systems for mathematics and engineering, logical design and verification of computer software and hardware, deductive databases and software synthesis as well as logical techniques for analysis in the field of mechanical engineering. This volume covers some of the main subareas of computational logic and its applications.

• Chapters by leading authorities in the field
• Provides a forum where philosophers and scientists interact
• Comprehensive reference source on the history of logic