Skip to main content
  • Book
  • © 2004

Logic versus Approximation

Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3075)

Buying options

eBook USD 59.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 chapters)

  1. Front Matter

  2. The Inherent Indistinguishability in Fuzzy Systems

    • Frank Klawonn, Rudolf Kruse
    Pages 6-17
  3. On Models for Quantified Boolean Formulas

    • Hans Kleine Büning, Xishun Zhao
    Pages 18-32
  4. Discrete and Continuous Methods of Demography

    • Walter Oberschelp
    Pages 43-58
  5. Towards a Theory of Information

    • Wolfgang Lenski
    Pages 77-105
  6. Retrieval by Structure from Chemical Data Bases

    • Thomas Kämpke
    Pages 106-119
  7. Engineers Don’t Search

    • Benno Stein
    Pages 120-137
  8. Knowledge Sharing in Agile Software Teams

    • Thomas Chau, Frank Maurer
    Pages 173-183
  9. Logic and Approximation in Knowledge Based Systems

    • Michael M. Richter
    Pages 184-203
  10. 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

Buying options

eBook USD 59.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions