Problem-solving methods : understanding, description, development, and reuse
Researchers in Artificial Intelligence have traditionally been classified into two categories: the neaties and the scruffies . According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and th...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Livre numérique |
| ভাষা: | Anglais |
| প্রকাশিত: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| মালা: | Lecture notes in computer science. Lecture notes in artificial intelligence
1791 |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| টীকা: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Problem-solving methods, understanding, description, development, and reuse, Dieter Fensel, 2000, New York, Springer, 1 vol. (XII-153 p.), Lecture notes in computer science, 3-540-67816-6 • Problem-Solving Methods, Texte imprimé, 9783662176146 |
| LEADER | 04029nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 949135 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155214985 | ||
| 020 | |a 9783540449362 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 006.33 | ||
| 100 | 1 | |a Fensel, Dieter, |d 1960- | |
| 245 | 1 | 0 | |a Problem-solving methods : |b understanding, description, development, and reuse |c Dieter Fensel. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science. Lecture notes in artificial intelligence |v 1791 |x 1611-3349 |x 2945-9141 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a What Are Problem-Solving Methods -- Making Assumptions for Efficiency Reasons -- What Are Problem-Solving Methods -- Making Assumptions for Efficiency Reasons -- An Empirical Survey of Assumptions -- How to Describe Problem-Solving Methods -- A Four Component Architecture for Knowledge-Based Systems -- Logics for Knowledge-Based Systems: MLPM and MCL -- A Verification Framework for Knowledge-Based Systems -- How to Develop and Reuse Problem-Solving Methods -- Methods for Context Explication and Adaptation -- Organizing a Library of Problem-Solving Methods -- Conclusions and Future Work -- Conclusions and Future Work. | |
| 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 Researchers in Artificial Intelligence have traditionally been classified into two categories: the neaties and the scruffies . According to the scruffies, the neaties concentrate on building elegant formal frameworks, whose properties are beautifully expressed by means of definitions, lemmas, and theorems, but which are of little or no use when tackling real-world problems. The scruffies are described (by the neaties) as those researchers who build superficially impressive systems that may perform extremely well on one particular case study, but whose properties and underlying theories are hidden in their implementation, if they exist at all. As a life-long, non-card-carrying scruffy, I was naturally a bit suspicious when I first started collaborating with Dieter Fensel, whose work bears all the formal hallmarks of a true neaty. Even more alarming, his primary research goal was to provide sound, formal foundations to the area of knowledge-based systems, a traditional stronghold of the scruffies - one of whom had famously declared it an art , thus attempting to place it outside the range of the neaties (and to a large extent succeeding in doing so). | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Résolution de problème | ||
| 650 | |a Systèmes experts (informatique) | ||
| 776 | 0 | |0 052364682 |t Problem-solving methods |o understanding, description, development, and reuse |f Dieter Fensel |d 2000 |c New York |n Springer |p 1 vol. (XII-153 p.) |s Lecture notes in computer science |z 3-540-67816-6 | |
| 776 | 0 | |t Problem-Solving Methods |b Texte imprimé |z 9783662176146 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-44936-1 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-CDK48J80-S |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748060820 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-44936-1 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751512362 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-44936-1 |z Accès INSA CVL | |
| 997 | |0 949135 |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/ | ||