Name: logic program synthesis from incomplete information
Price: 5074.00 TWD
Availability: InStock
Author: flener
ISBN: 9780792395324

Select your country

Americas

Europe

Rest of the world

portada logic program synthesis from incomplete information

logic program synthesis from incomplete information

Type

Physical Book

Publisher

Springer

Author

flener

Language

English

Pages

264

ISBN

0792395328

ISBN13

9780792395324

Synopsis "logic program synthesis from incomplete information"

program synthesis is a solution to the software crisis. if we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly. this monograph describes a novel approach to inductive logic programming (ilp), which cross-fertilizes logic programming and machine learning. aiming at the synthesis of recursive logic programs only, and this from incomplete information, we take a software engineering approach that is more appropriate than a pure artificial intelligence approach. this book is suitable as a secondary text for graduate level courses in software engineering and artificial intelligence, and as a reference for practitioners of program synthesis.