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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book Chapter |
| Language: | Slovak |
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
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. | |