Rippling: Meta-Level Guidance for Mathematical Reasoning

Zusammenfassung The new technique of rippling and its use in automated reasoning are described here. The method uses heuristics and search to help address the problem of combinatorial explosion. The book provides a unique! systematic and comprehensive introduction to this and to the wider subject of automated inductive theorem proving. Inhaltsverzeichnis Preface; 1. An introduction to rippling; 2. Varieties of rippling; 3. Productive use of failure; 4. A formal account of rippling; 5. The scope and limitations of rippling; 6. From rippling to a general methodology; 7. Conclusions; Appendix 1. An annotated calculus and a unification algorithm; Appendix 2. Definitions of functions used in this book; Bibliography; Index.

Product details

• Authors: David Basin, David (ETH Zentrum Basin, Alan Bundy, Alan (University of Edinburgh) Bundy, Alan (University of Edinburgh) Basin Bundy, Alan Basin Bundy, Dieter Hutter, Andrew (Heriot-Watt University Ireland
• Assisted by: David Basin (Editor), Alan Bundy (Editor), Dieter Hutter (Editor)
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.06.2005
• EAN: 9780521834490
• ISBN: 978-0-521-83449-0
• No. of pages: 216
• Series: Cambridge Tracts in Theoretica; Cambridge Tracts in Theoretical Computer Science; Cambridge Tracts in Theoretica
• Subjects: Guides; Natural sciences, medicine, IT, technology > IT, data processing > IT