Logical Foundations for Rule-Based Systems
The book presents logical foundations for rule-based systems, as seen by the Author. An attempt has been made to provide an in-depth discussion of logical and other aspects of such systems, including languages for knowledge representation, inference mecha
- PDF / 2,778,632 Bytes
- 312 Pages / 439.37 x 666.142 pts Page_size
- 95 Downloads / 296 Views
Studies in Computational Intelligence, Volume 11 Editor-in-chief Prof. Janusz Kacprzyk Systems Research Institute Polish Academy of Sciences ul. Newelska 6 01-447 Warsaw Poland E-mail: [email protected] Further volumes of this series can be found on our homepage: springer.com Vol. 1. Tetsuya Hoya Artificial Mind System – Kernel Memory Approach, 2005 ISBN 3-540-26072-2 Vol. 2. Saman K. Halgamuge, Lipo Wang (Eds.) Computational Intelligence for Modelling and Prediction, 2005 ISBN 3-540-26071-4 Vol. 3. Boz˙ ena Kostek Perception-Based Data Processing in Acoustics, 2005 ISBN 3-540-25729-2 Vol. 4. Saman K. Halgamuge, Lipo Wang (Eds.) Classification and Clustering for Knowledge Discovery, 2005 ISBN 3-540-26073-0 Vol. 5. Da Ruan, Guoqing Chen, Etienne E. Kerre, Geert Wets (Eds.) Intelligent Data Mining, 2005 ISBN 3-540-26256-3 Vol. 6. Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu, Shusaku Tsumoto (Eds.) Foundations of Data Mining and Knowledge Discovery, 2005 ISBN 3-540-26257-1
Vol. 7. Bruno Apolloni, Ashish Ghosh, Ferda Alpaslan, Lakhmi C. Jain, Srikanta Patnaik (Eds.) Machine Learning and Robot Perception, 2005 ISBN 3-540-26549-X Vol. 8. Srikanta Patnaik, Lakhmi C. Jain, Spyros G. Tzafestas, Germano Resconi, Amit Konar (Eds.) Innovations in Robot Mobility and Control, 2005 ISBN 3-540-26892-8 Vol. 9. Tsau Young Lin, Setsuo Ohsuga, Churn-Jung Liau, Xiaohua Hu (Eds.) Foundations and Novel Approaches in Data Mining, 2005 ISBN 3-540-28315-3 Vol. 10. Andrzej P. Wierzbicki, Yoshiteru Nakamori Creative Space, 2005 ISBN 3-540-28458-3 Vol. 11. Antoni Ligêza Logical Foundations for Rule-Based Systems, 2006 ISBN 3-540-29117-2
Antoni Ligêza
Logical Foundations for Rule-Based Systems Second Edition
ABC
Professor Antoni Ligêza Institute of Automatics AGH - University of Science and Technology Al. Mickiewicza 30 30-059 Cracow Poland e-mail: [email protected]
Library of Congress Control Number: 2005932569 Originally published in Poland by AGH University of Science and Technology Press, Kraków, Poland
ISSN print edition: 1860-949X ISSN electronic edition: 1860-9503 ISBN-10 3-540-29117-2 Springer Berlin Heidelberg New York ISBN-13 978-3-540-29117-6 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2006 Printed in The Netherlands The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the abse
Data Loading...
