Nemonotónnosť z hľadiska logického programovania.
Východiská skúmania podstaty nemonotónneho odvodzovania. Zdôraznenie troch kľúčových vlastností nemonotónneho odvodzovania: používanie nekorektných odvodzovacích pravidiel, zachovávanie konzistentnosti, revízia presvedčení (databázy). Možnosti implementácie týchto vlastností mechanizmami schopnými a...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Capítulo de libro |
| Lenguaje: | eslovaco |
| Materias: | |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000naa a2200000 4500 | ||
|---|---|---|---|
| 001 | r006723 | ||
| 005 | 20221125080353.3 | ||
| 041 | 0 | |a slo | |
| 044 | |a [CS] | ||
| 245 | 1 | 0 | |a Nemonotónnosť z hľadiska logického programovania. |c J. Šefránek |
| 520 | |a Východiská skúmania podstaty nemonotónneho odvodzovania. Zdôraznenie troch kľúčových vlastností nemonotónneho odvodzovania: používanie nekorektných odvodzovacích pravidiel, zachovávanie konzistentnosti, revízia presvedčení (databázy). Možnosti implementácie týchto vlastností mechanizmami schopnými autoreflexie. Motivácia pre štúdium nemonotónnosti a najznámejšie prístupy k formalizácii nemonotónnosti. | ||
| 610 | 2 | 0 | |a programovanie |
| 610 | 2 | 0 | |a báza dát |
| 610 | 2 | 0 | |a inteligencia umelá |
| 610 | 2 | 0 | |a logika |
| 100 | 1 | |a Šefránek, J. | |