Vivid logic : knowledge-based reasoning with two kinds of negation
Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation a...
Saved in:
| Main Author: | |
|---|---|
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science. Lecture notes in artificial intelligence
764 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Vivid logic, knowledge-based reasoning with two kinds of negation, Gerd Wagner, Berlin, Springer-Verlag, 1994, 1 vol. (XII-148 p.), Lecture notes in computer science, 0-387-57604-5 • Vivid Logic, Texte imprimé, 9783662188293 |
| LEADER | 03286nam a22003857a 4500 | ||
|---|---|---|---|
| 001 | 972618 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155227149 | ||
| 020 | |a 9783540482888 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.33 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Wagner, Gerd, |d 1957-...., |c informaticien. | |
| 245 | 1 | 0 | |a Vivid logic : |b knowledge-based reasoning with two kinds of negation |c Gerd Wagner. |
| 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 764 |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 General introduction -- Vivid knowledge representation and reasoning -- Partiality, paraconsistency and constructivity -- Vivid reasoning on the basis of facts -- Lindenbaum-algebraic semantics of logic programs -- Logic programming with strong negation and inexact predicates -- Vivid reasoning on the basis of rules -- Further topics, open problems. | |
| 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 Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and non-explosiveness. The book is based on work carried out within an interdisciplinary research project at the Free University of Berlin. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Systèmes experts (informatique) | ||
| 776 | 0 | |0 017998697 |t Vivid logic |o knowledge-based reasoning with two kinds of negation |f Gerd Wagner |c Berlin |n Springer-Verlag |d 1994 |p 1 vol. (XII-148 p.) |s Lecture notes in computer science |z 0-387-57604-5 | |
| 776 | 0 | |t Vivid Logic |b Texte imprimé |z 9783662188293 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-57604-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-RK327DCR-L |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750634715 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-57604-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753990962 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-57604-5 |z Accès INSA CVL | |
| 997 | |0 972618 |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/ | ||