Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3075)
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (13 chapters)
-
Front Matter
-
Back Matter
About this book
Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself.
However, from an abstract level all these approaches do focus on similar topics and arise on various levels such as problem modeling, inference and problem solving techniques, algorithms and mathematical methods, mathematical relations between discrete and continuous properties, and are integrated in tools and applications. In accordance with the unifying vision and research interest of Michael M. Richter and in correspondence to his scientific work, this book presents 13 revised full papers advocating the integration of logic-based and approximation-oriented approaches in knowledge processing.
Keywords
- Fuzzy
- agile software development
- algorithms
- fuzzy logic
- fuzzy predicate logic
- knowledge sharing
- knowledge-based system
- knowledge-based systems
- logic
- modeling
- optimization
- programming
- quantified Boolean formulas
- similarity search
- symbolic computing
- algorithm analysis and problem complexity
Editors and Affiliations
-
Department of Computer Science, University of Kaiserslautern, Kaiserslautern
Wolfgang Lenski
Bibliographic Information
Book Title: Logic versus Approximation
Book Subtitle: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday
Editors: Wolfgang Lenski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b98383
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Softcover ISBN: 978-3-540-22562-1Due: 27 October 2004
eBook ISBN: 978-3-540-25967-1Published: 20 October 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 203
Topics: Formal Languages and Automata Theory, Artificial Intelligence, Algorithms, Numerical Analysis, Discrete Mathematics in Computer Science, Database Management