مشخصات کتاب

Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz

ویرایش: 1 
نویسندگان: Clemens Beckstein (auth.)  
سری: Informatik-Fachberichte 199 
ISBN (شابک) : 9783642744037, 9783540507208 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1988 
تعداد صفحات: 252 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

کلمات کلیدی مربوط به کتاب منطق برنامه ریزی منطقی: یک رویکرد سازنده: منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی، منطق ریاضی و مبانی

در صورت تبدیل فایل کتاب Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق برنامه ریزی منطقی: یک رویکرد سازنده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق برنامه ریزی منطقی: یک رویکرد سازنده

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

توضیحاتی درمورد کتاب به خارجی

Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher Ausdruckskraft und effizienter Realisierbarkeit eines entsprechenden Beweissystems zu finden. Nach einer Zusammenstellung der für das Verständnis der Arbeit nötigen logischen Grundbegriffe folgt eine Analyse bzw. Besprechung von KI-Programmiersprachen, die im Umkreis der logischen Verarbeitungsmodelle angesiedelt sind. Sodann wird Prolog mit seiner Theorie dargestellt und einer grundsätzlichen Kritik unterzogen. Eine genauere Untersuchung der logisch bedenklichen Prolog-Konstrukte (insbesondere Negation as Failure) weist dabei den Weg zu einer konstruktiven Interpretation und Verallgemeinerung der Prolog zugrundeliegenden Logik. Im Anschluß an eine Schilderung der Grundlagen des Reason-Maintenance wird ein entsprechendes Beweissystem (RISC) entwickelt. Es gestattet die Verarbeitung eines Teils der intuitionistischen Konsequenzlogik, der weitaus ausdrucksstärker als die herkömmliche Hornklausellogik ist. Durch die Unterstützung eines Reason-Maintenance-Systems kann dabei das Grundprinzip der SLD-Resolution weitgehend beibehalten und eine effiziente Verarbeitung erreicht werden. Die Arbeit endet mit einer Skizze von Anwendungsgebieten, für die RISC prädestiniert zu sein scheint.

فهرست مطالب

Front Matter....Pages N1-ix
Einleitung....Pages 1-14
Logische Grundbegriffe....Pages 15-49
Die deklarativ/prozedural- Kontroverse....Pages 51-79
Logik-Programmierung....Pages 81-118
Die Grenzen der Ausdruckskraft....Pages 119-151
Reason-Maintenance-Systeme....Pages 153-170
Ein vereinheitlichender Ansatz: RISC....Pages 171-212
Zusammenfassung und Ausblick....Pages 213-219
Back Matter....Pages 221-246

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Ecocriticism and the Anthropocene in Nineteenth-Century Art and Visual Culture

دانلود کتاب DATA SCIENCE FROM SCRATCH: From Data Visualization To Manipulation. It Is The Easy Way! All You Need For Business Using The Basic Principles Of Python And Beyond [REVISED & EXPANDED EDITION]

دانلود کتاب Catalysis: Science and Technology

دانلود کتاب Qu'est-ce que le virtuel ?

دانلود کتاب Lips Like Sugar - Women's Erotic Fantasies