Theory Reasoning in Connection Calculi (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med Adobe-kryptering
Om Adobe-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2005-07-11
Förlag
Springer Berlin Heidelberg
ISBN
9783540492108
Theory Reasoning in Connection Calculi (e-bok)

Theory Reasoning in Connection Calculi E-bok

av Peter Baumgartner
E-bok (PDF - DRM), Engelska, 2005-07-11
710
Ladda ned
Spara som favorit
Läs i Adobe DRM-kompatibel e-boksläsare. Tips på appar
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

Kundrecensioner

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

Fler böcker av Peter Baumgartner

Du kanske gillar