Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Automated Mathematical Induction

Automated Mathematical Induction (Hardback)

£112.00
Usually despatched within 2 weeks.
Order now for Free delivery in the UK.
More on delivery...

Synopsis

It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. This common structure can be exploited in the search for particular proofs. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof. In contrast, a method provides a more declarative explanation of the proof by means of preconditions. Each method has associated effects. The execution of the effects simulates the application of the corresponding tactic. Theorem proving in the proof planning framework is a two-phase process: 1. Tactic construction is by a process of method composition: Given a goal, an applicable method is selected. The applicability of a method is determined by evaluating the method's preconditions. The method effects are then used to calculate subgoals. This process is applied recursively until no more subgoals remain. Because of the one-to-one correspondence between methods and tactics, the output from this process is a composite tactic tailored to the given goal. 2. Tactic execution generates a proof in the object-level logic. Note that no search is involved in the execution of the tactic. All the search is taken care of during the planning process. The real benefits of having separate planning and execution phases become appar- ent when a proof attempt fails.

Computing & ITComputer scienceArtificial intelligence Publisher: Springer Publication Date: 31/05/1996 ISBN-13: 9780792340102  Details: Type: Hardback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by Hantao Zhang

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Safe City: From Law Enforcement to...
(Paperback)
Robert Hessel
 
 
£10.95
 

Currently out of stock

Is Intelligence an Algorithm?
(Paperback)
Antonin Tuynman
 
 
£11.99
 
Architectural Intelligence: How...
(Hardback)
Molly Wright Steenson
 
 
£27.95
 
Representing Scientific Knowledge: ...
(Hardback)
Chaomei Chen; Min Song
 
 
£53.99
 
Latest Blog
#FoylesFive: Polish Fiction
22/02/2018

Gary from our Fiction Department delights us with a few of his favourite Polish novels.

Get More!
22/02/2018

We've extended the range of available lines on our website to close to one million items across more than thirty product categories! OK, that actually sounds quite dull. But what it means is you've got more books to choose from, more subject areas, more titles available on our website than ever before — more more more! To celebrate, we're giving you 15% off everything* online when you use the code GETMORE at checkout anytime between Thursday 22nd February and Thursday 1st March 2018.

Folklore of the Yorkshire Moors
10/02/2018

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd