The automation of reasoning with incomplete information : from semantic foundations to efficient computation
Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available. A versatile way of reasoning in...
Na minha lista:
| Autor principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science. Lecture notes in artificial intelligence
1409 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The automation of reasoning with incomplete information, from semantic foundations to efficient computation, Torsten Schaub, 1998, New York, Springer, 1 vol. (XI-159 p.), Lecture notes in computer science, 3-540-64515-2 • The Automation of Reasoning with Incomplete Information, Texte imprimé, 9783662173008 |
| LEADER | 03497nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 945629 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN15523496X | ||
| 020 | |a 9783540697930 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.333 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Schaub, Torsten. | |
| 245 | 1 | 0 | |a The automation of reasoning with incomplete information : |b from semantic foundations to efficient computation |c Torsten Schaub. |
| 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 1409 |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 The original approach: Classical default logic -- An alternative approach: Constrained default logic -- Putting default logics into perspective -- A context-based framework for default logics -- Possible worlds semantics for default logics -- Adding specificity to default logics -- Adding lemma handling to default logics -- Query-answering in default logics -- A Prolog-technology compiler for query-answering -- Conclusions and perspectives. | |
| 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 Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by missing information but rather to arrive at plausible results by bridging the gaps in the information available. A versatile way of reasoning in the absence of information is to reason by default. This book aims at providing formal and practical means for automating reasoning with incomplete information by starting from the approach taken by the framework of default logic. For this endeavor, a bridge is spanned between formal semantics, over systems for default reasoning, to efficient implementation. | ||
| 650 | |a Informatique | ||
| 650 | |a Incertitude (théorie de l'information) | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Théorèmes |x Démonstration automatique | ||
| 650 | |a Raisonnement | ||
| 776 | 0 | |0 035906405 |t The automation of reasoning with incomplete information |o from semantic foundations to efficient computation |f Torsten Schaub |d 1998 |c New York |n Springer |p 1 vol. (XI-159 p.) |s Lecture notes in computer science |z 3-540-64515-2 | |
| 776 | 0 | |t The Automation of Reasoning with Incomplete Information |b Texte imprimé |z 9783662173008 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0054963 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-JNP03WS5-G |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747890994 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0054963 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750904097 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0054963 |z Accès INSA CVL | |
| 997 | |0 945629 |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/ | ||