Tournament of Books 2015
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Lists | March 2, 2015

    Anna Lyndsey: IMG My Top 10 Talking Books



    I have always been a reader, but eight years ago, strange circumstances conspired to make me totally book-dependent. I was stuck within four walls,... Continue »
    1. $17.47 Sale Hardcover add to wish list

      Girl in the Dark: A Memoir

      Anna Lyndsey 9780385539609

    spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

Informatik-Fachberichte / Subreihe Ka1/4nstliche Intelligenz #199: Zur Logik Der Logik-Programmierung: Ein Konstruktiver Ansatz

Informatik-Fachberichte / Subreihe Ka1/4nstliche Intelligenz #199: Zur Logik Der Logik-Programmierung: Ein Konstruktiver Ansatz Cover

 

Synopses & Reviews

Publisher Comments:

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.

Table of Contents

Inhaltsübersicht: Einleitung.- Logische Grundbegriffe.- Die deklarativ/prozedural-Kontroverse.- Logik-Programmierung.- Die Grenzen der Ausdruckskraft.- Reason-Maintenance-Systeme.- Ein vereinheitlichender Ansatz: RISC.- Zusammenfassung und Ausblick.- Literaturverzeichnis.- Index.

Product Details

ISBN:
9783540507208
Publisher:
Springer
Subject:
Logic
Author:
Beckstein, Clemens
Subject:
Mathematical Logic and Formal Languages
Subject:
Artificial Intelligence (incl. Robotics)
Subject:
Programming techniques
Subject:
Mathematical Logic and Foundations
Edition Description:
Book
Series:
Informatik-Fachberichte / Subreihe Künstliche Intelligenz
Series Volume:
199
Publication Date:
19881231
Binding:
TRADE PAPER
Language:
German
Pages:
255

Related Subjects

Informatik-Fachberichte / Subreihe Ka1/4nstliche Intelligenz #199: Zur Logik Der Logik-Programmierung: Ein Konstruktiver Ansatz
0 stars - 0 reviews
$ In Stock
Product details 255 pages Not Avail - English 9783540507208 Reviews:
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.