Theory Reasoning in Connection Calculi (häftad)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
290
Utgivningsdatum
1998-12-01
Upplaga
1998 ed.
Förlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Illustratör/Fotograf
illustrations
Illustrationer
X, 290 p.
Dimensioner
234 x 156 x 16 mm
Vikt
422 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783540655091
Theory Reasoning in Connection Calculi (häftad)

Theory Reasoning in Connection Calculi

av Peter Baumgartner
Häftad, Engelska, 1998-12-01
777

Just nu 12% rabatt på allt! Använd kod JUNI6

Gäller alla köp över 299 kr, t.o.m. 7 juni. Villkor

Köp
Spara som favorit
  • Skickas inom 7-10 vardagar.
  • Gratis frakt inom Sverige över 199 kr för privatpersoner.
Finns även som
Visa alla 1 format & utgåvor
The ability to draw inferences is a central operation in any artificial intelligence system. Automated reasoning is therefore among the traditional disciplines in AI. Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems. They are the starting point in this monograph,in which several theory reasoning versions are defined and related to each other. A major contribution of the book is a new technique of linear completion allowing for the automatic construction of background reasoners from a wide range of axiomatically given theories. The emphasis is on theoretical investigations, but implementation techniques based on Prolog are also covered.
Visa hela texten

Passar bra ihop

  1. Theory Reasoning in Connection Calculi
  2. +
  3. Positive Psychology

De som köpt den här boken har ofta också köpt Positive Psychology av Rona Hart (häftad).

Köp båda 2 för 1094 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Peter Baumgartner

Innehållsförteckning

Introduction.- Logical Background.- Tableau Model Elimination.- Theory Reasoning in Connection Calculi.- Linearizing Completion.- Implementation.- Conclusions.- A. Appendix: Proofs.- B. What is Where?- List of Figures.- Bibliography.- Index.

Du kanske gillar