Nonmonotonic Logic

Name: Nonmonotonic Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540564485
Price: 59739 HUF
Availability: InStock

Contex-Dependent Reasoning. Forword by Ray Reiter

Szerző: Victor W. Marek, Miroslaw Truszczynski

Nyelv:

Kötés: Kemény kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 10-13 napon belül

59 739 Ft

§ Diese Monographie behandelt die beiden wichtigsten logischen Systeme für nichtmonotones Schließ...

Információk a könyvről

Szerző

Victor W. Marek, Miroslaw Truszczynski

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1993

oldal

420

EAN

9783540564485

ISBN

3540564489

Enbook ID

01565613

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

822

Méretek

155 x 235 x 28

Teljes leírás

§ 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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Nonmonotonic Logic

Contex-Dependent Reasoning. Forword by Ray Reiter

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták