Theory Reasoning in Connection Calculi

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Baumgartner, Peter (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Έκδοση:1st ed. 1998.
Σειρά:Lecture Notes in Artificial Intelligence ; 1527
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03380nam a2200577 4500
001 978-3-540-49210-8
003 DE-He213
005 20191023222644.0
007 cr nn 008mamaa
008 121227s1998 gw | s |||| 0|eng d
020 |a 9783540492108  |9 978-3-540-49210-8 
024 7 |a 10.1007/b71631  |2 doi 
040 |d GrThAP 
050 4 |a TJ210.2-211.495 
050 4 |a T59.5 
072 7 |a TJFM1  |2 bicssc 
072 7 |a TEC037000  |2 bisacsh 
072 7 |a TJFM1  |2 thema 
082 0 4 |a 629.892  |2 23 
100 1 |a Baumgartner, Peter.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Theory Reasoning in Connection Calculi  |h [electronic resource] /  |c by Peter Baumgartner. 
250 |a 1st ed. 1998. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 1998. 
300 |a X, 290 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Artificial Intelligence ;  |v 1527 
505 0 |a 1. Introduction -- 2. Logical Background -- 3. Tableau Model Elimination -- 4. Theory Reasoning in Connection Calculi -- 5. Linearizing Completion -- 6. Implementation -- 7. Conclusions -- A. Appendix: Proofs -- What is Where?. 
520 |a 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. 
650 0 |a Robotics. 
650 0 |a Automation. 
650 0 |a Computers. 
650 0 |a Artificial intelligence. 
650 0 |a Mathematical logic. 
650 1 4 |a Robotics and Automation.  |0 http://scigraph.springernature.com/things/product-market-codes/T19020 
650 2 4 |a Theory of Computation.  |0 http://scigraph.springernature.com/things/product-market-codes/I16005 
650 2 4 |a Artificial Intelligence.  |0 http://scigraph.springernature.com/things/product-market-codes/I21000 
650 2 4 |a Mathematical Logic and Formal Languages.  |0 http://scigraph.springernature.com/things/product-market-codes/I16048 
650 2 4 |a Mathematical Logic and Foundations.  |0 http://scigraph.springernature.com/things/product-market-codes/M24005 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783662181973 
776 0 8 |i Printed edition:  |z 9783540655091 
830 0 |a Lecture Notes in Artificial Intelligence ;  |v 1527 
856 4 0 |u https://doi.org/10.1007/b71631  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)