Automated Practical Reasoning : Algebraic Approaches /
This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the field of constructive algebraic methods (theory and algorithms) to handle geometric reasoning problems, especially in robotic...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Vienna :
Springer Vienna,
1995.
|
| Series: | Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes-Kepler-University, Linz, Austria.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | This book presents a collection of articles on the general framework of mechanizing deduction in the logics of practical reasoning. Topics treated are novel approaches in the field of constructive algebraic methods (theory and algorithms) to handle geometric reasoning problems, especially in robotics and automated geometry theorem proving; constructive algebraic geometry of curves and surfaces showing some new interesting aspects; implementational issues concerning the use of computer algebra systems to deal with such algebraic methods. Besides work on nonmonotonic logic and a proposed approach for a unified treatment of critical pair completion procedures, a new semantical modeling approach based on the concept of fibered structures is discussed; an application to cooperating robots is demonstrated. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xi, 223 pages 23 illustrations) |
| ISBN: | 9783709166048 (electronic bk.) 3709166047 (electronic bk.) |
| ISSN: | 0943-853X |