Mohlo by sa vám tiež páčiť

Viac informácií o knihe Nonmonotonic Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 467 bodov

Anotácia knihy

§ Diese Monographie behandelt die beiden wichtigsten logischen Systeme für nichtmonotones Schließen sowie ihre Beziehungen zueinander und ihre grundlegende Bedeutung für die logische Programmierung. Viele Ergebnisse sind tiefliegend und überraschend, z.T. bisher unveröffentlicht. Die mathematische Strenge und Eleganz sowie die Einheitlichkeit der Darstellung setzen neue Maßstäbe für die Literatur der Künstlichen Intelligenz.§This monograph provides a thorough analysis of two important formalisms for nonmonotonic reasoning: default logic and modal nonmonotonic logics. It is also shown how they are related to each other and how they provide the formal foundations for logic programming. The discussion is rigorous, and all main results are formally proved. Many of the results are deep and surprising, some of them previously unpublished. The book has three parts, on default logic, modal nonmonotonic logics, and connections and complexity is sues, respectively. The study of general default logic is followed by a discussion of normal default logic and its connections to the closed world assumption, and also a presentation of related aspects of logic programming.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Nonmonotonic Logic
• Podnázov: Contex-Dependent Reasoning. Forword by Ray Reiter
• Autor: Victor W. Marek, Miroslaw Truszczynski
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 420
• EAN: 9783540564485
• ISBN: 3540564489
• ID: 01565613
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 822 g
• Rozmery: 235 × 155 × 28 mm
• Dátum vydania: 03. November 1993

Obľúbené z iného súdka

---

---

---