TY - BOOK ID - 2697032 TI - Theory reasoning in connection calculi PY - 1998 VL - 1527 *224 SN - 3540492100 3540655093 PB - Berlin, Heidelberg : Springer, DB - UniCat KW - Automatic theorem proving KW - Computer Science KW - Engineering & Applied Sciences KW - Automatic theorem proving. KW - Theorema's--Automatische bewijsvoering KW - Théorèmes--Démonstration automatique KW - Automated theorem proving KW - Theorem proving, Automated KW - Theorem proving, Automatic KW - Engineering. KW - Computers. KW - Mathematical logic. KW - Artificial intelligence. KW - Robotics. KW - Automation. KW - Robotics and Automation. KW - Theory of Computation. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Formal Languages. KW - Mathematical Logic and Foundations. KW - Artificial intelligence KW - Proof theory KW - Information theory. KW - Computer science. KW - Logic, Symbolic and mathematical. KW - Artificial Intelligence. KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Informatics KW - Science KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Communication theory KW - Communication KW - Cybernetics KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace KW - Automatic factories KW - Automatic production KW - Computer control KW - Engineering cybernetics KW - Factories KW - Industrial engineering KW - Mechanization KW - Assembly-line methods KW - Automatic control KW - Automatic machinery KW - CAD/CAM systems KW - Robotics KW - Automation UR - https://www.unicat.be/uniCat?func=search&query=sysid:2697032 AB - 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. ER -