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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
3075 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic versus approximation, essays dedicated to Michael M. Richter on the occasion of his 65th birthday, Wolfgang Lenski (ed.), Berlin, Springer, 2004, 1 vol. (VI-203 p.), Lecture notes in computer science, 3-540-22562-5 • Logic versus Approximation, Texte imprimé, 9783662176214 |
| LEADER | 04234nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971605 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155209752 | ||
| 020 | |a 9783540259671 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Lenski, Wolfgang, |d 1952- | |
| 245 | 1 | 0 | |a Logic versus approximation : |b essays dedicated to Michael M. Richter on the occasion of his 65th birthday |c [edited by] Wolfgang Lenski. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3075 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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. | ||
| 600 | |a Richter, Michael M., |d 1938-2020 |c mathématicien | ||
| 650 | |a Logique floue | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Analyse numérique | ||
| 650 | |a Gestion des connaissances | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Systèmes flous | ||
| 650 | |a Mélanges et hommages | ||
| 776 | 0 | |0 082053987 |t Logic versus approximation |o essays dedicated to Michael M. Richter on the occasion of his 65th birthday |f Wolfgang Lenski (ed.) |c Berlin |n Springer |d 2004 |p 1 vol. (VI-203 p.) |s Lecture notes in computer science |z 3-540-22562-5 | |
| 776 | 0 | |t Logic versus Approximation |b Texte imprimé |z 9783662176214 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b98383 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F6QV71RK-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750650699 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b98383 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754001164 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b98383 |z Accès INSA CVL | |
| 997 | |0 971605 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||