Logic versus Approximation Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday /

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 a...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Lenski, Wolfgang (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:Lecture Notes in Computer Science, 3075
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03858nam a22005895i 4500
001 978-3-540-25967-1
003 DE-He213
005 20151204190739.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 |a 9783540259671  |9 978-3-540-25967-1 
024 7 |a 10.1007/b98383  |2 doi 
040 |d GrThAP 
050 4 |a QA8.9-QA10.3 
072 7 |a UYA  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a COM051010  |2 bisacsh 
082 0 4 |a 005.131  |2 23 
245 1 0 |a Logic versus Approximation  |h [electronic resource] :  |b Essays Dedicated to Michael M. Richter on the Occasion of his 65th Birthday /  |c edited by Wolfgang Lenski. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg,  |c 2004. 
300 |a X, 203 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 3075 
505 0 |a A 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 |a 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. 
650 0 |a Computer science. 
650 0 |a Algorithms. 
650 0 |a Mathematical logic. 
650 0 |a Numerical analysis. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a Database management. 
650 0 |a Artificial intelligence. 
650 1 4 |a Computer Science. 
650 2 4 |a Mathematical Logic and Formal Languages. 
650 2 4 |a Artificial Intelligence (incl. Robotics). 
650 2 4 |a Algorithm Analysis and Problem Complexity. 
650 2 4 |a Numeric Computing. 
650 2 4 |a Discrete Mathematics in Computer Science. 
650 2 4 |a Database Management. 
700 1 |a Lenski, Wolfgang.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9783540225621 
830 0 |a Lecture Notes in Computer Science,  |x 0302-9743 ;  |v 3075 
856 4 0 |u http://dx.doi.org/10.1007/b98383  |z Full Text via HEAL-Link 
912 |a ZDB-2-SCS 
912 |a ZDB-2-LNC 
912 |a ZDB-2-BAE 
950 |a Computer Science (Springer-11645)