000 04018nam a22006375i 4500
001 978-3-540-25967-1
003 DE-He213
005 20240423125704.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540259671
_9978-3-540-25967-1
024 7 _a10.1007/b98383
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aLogic versus Approximation
_h[electronic resource] :
_bEssays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday /
_cedited by Wolfgang Lenski.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aX, 203 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3075
505 0 _aA True Unprovable Formula of Fuzzy Predicate Logic -- The Inherent Indistinguishability in Fuzzy Systems -- On Models for Quantified Boolean Formulas -- Polynomial Algorithms for MPSP Using Parametric Linear Programming -- Discrete and Continuous Methods of Demography -- Computer Science between Symbolic Representation and Open Construction -- Towards a Theory of Information -- Retrieval by Structure from Chemical Data Bases -- Engineers Don’t Search -- Randomized Search Heuristics as an Alternative to Exact Optimization -- Approximation of Utility Functions by Learning Similarity Measures -- Knowledge Sharing in Agile Software Teams -- Logic and Approximation in Knowledge Based Systems.
520 _aNowadays 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.
650 0 _aMachine theory.
650 0 _aArtificial intelligence.
650 0 _aAlgorithms.
650 0 _aNumerical analysis.
650 0 _aComputer science
_xMathematics.
650 0 _aDiscrete mathematics.
650 0 _aDatabase management.
650 1 4 _aFormal Languages and Automata Theory.
650 2 4 _aArtificial Intelligence.
650 2 4 _aAlgorithms.
650 2 4 _aNumerical Analysis.
650 2 4 _aDiscrete Mathematics in Computer Science.
650 2 4 _aDatabase Management.
700 1 _aLenski, Wolfgang.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540225621
776 0 8 _iPrinted edition:
_z9783662176214
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3075
856 4 0 _uhttps://doi.org/10.1007/b98383
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c180661
_d180661