The Resource Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang
Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang
Resource Information
The item Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.This item is available to borrow from 1 library branch.
Resource Information
The item Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Massey University Library, University of New Zealand.
This item is available to borrow from 1 library branch.
 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
 Language
 eng
 Extent
 1 online resource (xi, 223 pages 23 illustrations)
 Contents

 An algorithm for solving systems of algebraic equations in three variables
 1 Introduction
 2 Definitions
 3 Basic properties of primitive polynomial remainder sequences and elimination sequences
 4 Application of elimination sequences: solution of systems of algebraic equations
 5 Systems of algebraic equations in two variables
 6 Systems of algebraic equations in three variables
 7 Applications in neural networks theory
 References
 On a general notion of a hull
 1 Introduction
 2 Basic notions
 3 General relational structures
 4 Some examples
 5 Prospects
 6 Concluding remarks
 References
 On robotics scenarios and modeling with fibered structures
 1 Introduction
 2 Motivational remarks and background
 3 Description of the first subscenario
 4 The logical fibering model
 5 A proposed model of the general state space of an agent
 6 Subscenario with autonomous agents
 7 Conclusion
 References
 On algorithmic parametrization methods in algebraic geometry
 1 Introduction
 2 Rational and unirational varieties
 3 Curves
 4 Surfaces
 5 Higher dimensional varieties
 References
 Towards a categorical calculus for criticalpair/completion
 1 Introduction
 2 Overview of CPCprocedures
 3 An axiomatic framework
 4 A little category theory
 5 Reversed limits
 6 A categorical model for CPCprocedures
 References
 CASA: computer algebra software for computing with algebraic sets
 1 Introduction
 2 Intersection of algebraic sets
 a case study
 3 Puiseux expansion in CASA
 References
 Reasoning about geometric problems using an elimination method
 1 Introduction
 2 An elimination method for polynomial systems
 3 Mechanical geometry theorem proving
 4 Automatic derivation of unknown relations
 5 Automatic derivation of locus equations
 6 Implicitization of parametric objects
 7 Existence conditions and detection of singularities
 8 Decomposition of algebraic varieties
 9 Inverse robot kinematics
 10 Intersection of geometric objects
 References
 An implementation of the characteristic set method in Maple
 1 Introduction and notations
 2 Description of user functions
 3 Modifications and strategies
 4 Test results and remarks
 Appendix: Test problems
 References
 A nonmonotonic extension to Hornclause logic
 1 Introduction
 2 Semantics of nonmonotonic Hornclause theories
 3 Soundness and completeness of nonmonotonic Hornclause theories
 4 Relationship to modeltheoretic semantics
 5 Conclusion
 References
 Isbn
 9783709166048
 Label
 Automated Practical Reasoning : Algebraic Approaches
 Title
 Automated Practical Reasoning
 Title remainder
 Algebraic Approaches
 Statement of responsibility
 edited by Jochen Pfalzgraf, Dongming Wang
 Language
 eng
 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
 http://library.link/vocab/creatorName
 Pfalzgraf, Jochen
 Dewey number
 004.6
 Illustrations
 illustrations
 Index
 no index present
 Literary form
 non fiction
 Nature of contents
 dictionaries
 http://library.link/vocab/relatedWorkOrContributorName
 Wang, Dongming
 Series statement
 Texts and Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, JohannesKeplerUniversity, Linz, Austria,
 http://library.link/vocab/subjectName

 Computer science
 Software engineering
 Algebra
 Algorithms
 Logic, Symbolic and mathematical
 Label
 Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 An algorithm for solving systems of algebraic equations in three variables  1 Introduction  2 Definitions  3 Basic properties of primitive polynomial remainder sequences and elimination sequences  4 Application of elimination sequences: solution of systems of algebraic equations  5 Systems of algebraic equations in two variables  6 Systems of algebraic equations in three variables  7 Applications in neural networks theory  References  On a general notion of a hull  1 Introduction  2 Basic notions  3 General relational structures  4 Some examples  5 Prospects  6 Concluding remarks  References  On robotics scenarios and modeling with fibered structures  1 Introduction  2 Motivational remarks and background  3 Description of the first subscenario  4 The logical fibering model  5 A proposed model of the general state space of an agent  6 Subscenario with autonomous agents  7 Conclusion  References  On algorithmic parametrization methods in algebraic geometry  1 Introduction  2 Rational and unirational varieties  3 Curves  4 Surfaces  5 Higher dimensional varieties  References  Towards a categorical calculus for criticalpair/completion  1 Introduction  2 Overview of CPCprocedures  3 An axiomatic framework  4 A little category theory  5 Reversed limits  6 A categorical model for CPCprocedures  References  CASA: computer algebra software for computing with algebraic sets  1 Introduction  2 Intersection of algebraic sets  a case study  3 Puiseux expansion in CASA  References  Reasoning about geometric problems using an elimination method  1 Introduction  2 An elimination method for polynomial systems  3 Mechanical geometry theorem proving  4 Automatic derivation of unknown relations  5 Automatic derivation of locus equations  6 Implicitization of parametric objects  7 Existence conditions and detection of singularities  8 Decomposition of algebraic varieties  9 Inverse robot kinematics  10 Intersection of geometric objects  References  An implementation of the characteristic set method in Maple  1 Introduction and notations  2 Description of user functions  3 Modifications and strategies  4 Test results and remarks  Appendix: Test problems  References  A nonmonotonic extension to Hornclause logic  1 Introduction  2 Semantics of nonmonotonic Hornclause theories  3 Soundness and completeness of nonmonotonic Hornclause theories  4 Relationship to modeltheoretic semantics  5 Conclusion  References
 Control code
 ocn851378615
 Dimensions
 unknown
 Extent
 1 online resource (xi, 223 pages 23 illustrations)
 File format
 unknown
 Form of item
 online
 Isbn
 9783709166048
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)851378615
 Label
 Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang
 Antecedent source
 file reproduced from original
 Color
 mixed
 Contents
 An algorithm for solving systems of algebraic equations in three variables  1 Introduction  2 Definitions  3 Basic properties of primitive polynomial remainder sequences and elimination sequences  4 Application of elimination sequences: solution of systems of algebraic equations  5 Systems of algebraic equations in two variables  6 Systems of algebraic equations in three variables  7 Applications in neural networks theory  References  On a general notion of a hull  1 Introduction  2 Basic notions  3 General relational structures  4 Some examples  5 Prospects  6 Concluding remarks  References  On robotics scenarios and modeling with fibered structures  1 Introduction  2 Motivational remarks and background  3 Description of the first subscenario  4 The logical fibering model  5 A proposed model of the general state space of an agent  6 Subscenario with autonomous agents  7 Conclusion  References  On algorithmic parametrization methods in algebraic geometry  1 Introduction  2 Rational and unirational varieties  3 Curves  4 Surfaces  5 Higher dimensional varieties  References  Towards a categorical calculus for criticalpair/completion  1 Introduction  2 Overview of CPCprocedures  3 An axiomatic framework  4 A little category theory  5 Reversed limits  6 A categorical model for CPCprocedures  References  CASA: computer algebra software for computing with algebraic sets  1 Introduction  2 Intersection of algebraic sets  a case study  3 Puiseux expansion in CASA  References  Reasoning about geometric problems using an elimination method  1 Introduction  2 An elimination method for polynomial systems  3 Mechanical geometry theorem proving  4 Automatic derivation of unknown relations  5 Automatic derivation of locus equations  6 Implicitization of parametric objects  7 Existence conditions and detection of singularities  8 Decomposition of algebraic varieties  9 Inverse robot kinematics  10 Intersection of geometric objects  References  An implementation of the characteristic set method in Maple  1 Introduction and notations  2 Description of user functions  3 Modifications and strategies  4 Test results and remarks  Appendix: Test problems  References  A nonmonotonic extension to Hornclause logic  1 Introduction  2 Semantics of nonmonotonic Hornclause theories  3 Soundness and completeness of nonmonotonic Hornclause theories  4 Relationship to modeltheoretic semantics  5 Conclusion  References
 Control code
 ocn851378615
 Dimensions
 unknown
 Extent
 1 online resource (xi, 223 pages 23 illustrations)
 File format
 unknown
 Form of item
 online
 Isbn
 9783709166048
 Level of compression
 uncompressed
 Note
 SpringerLink
 Quality assurance targets
 unknown
 Reformatting quality
 access
 Sound
 unknown sound
 Specific material designation
 remote
 System control number
 (OCoLC)851378615
Library Links
Embed (Experimental)
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/AutomatedPracticalReasoningAlgebraic/4ZJKP1l3gB4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/AutomatedPracticalReasoningAlgebraic/4ZJKP1l3gB4/">Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.massey.ac.nz/portal/AutomatedPracticalReasoningAlgebraic/4ZJKP1l3gB4/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.massey.ac.nz/portal/AutomatedPracticalReasoningAlgebraic/4ZJKP1l3gB4/">Automated Practical Reasoning : Algebraic Approaches, edited by Jochen Pfalzgraf, Dongming Wang</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.massey.ac.nz/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.massey.ac.nz/">Massey University Library, University of New Zealand</a></span></span></span></span></div>