Nemonotona logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
MystBot (diskuto | kontribuoj) e r2.7.1) (robota aldono de: fr:Logique non monotone |
Addbot (diskuto | kontribuoj) e Roboto: Forigo de 7 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q2488768) |
||
| Linio 10: | Linio 10: | ||
<br clear=all> |
<br clear=all> |
||
{{projektoj|commonscat=Logics}} |
{{projektoj|commonscat=Logics}} |
||
[[en:Non-monotonic logic]] |
|||
[[es:Lógica no monotónica]] |
|||
[[fr:Logique non monotone]] |
|||
[[ja:非単調論理]] |
|||
[[nl:Niet-monotone logica]] |
|||
[[sv:Icke-monoton logik]] |
|||
[[zh:非单调逻辑]] |
|||
Kiel registrite je 18:23, 9 mar. 2013
En klasika logiko la rezonanta agento estas ideale racia kaj "scianta", malsame al reala komuna rezonanto kiu devas ĉiam fronti laŭgradan konon kaj akiron de scio, havi nekompletajn konitaĵojn kaj dume rezoni subaze de supozoj. Do, tiu ĉi rezonanta agento atingas konkludojn kiuj dum kelka tempo ne estas definitivaj. En klasika logiko la aldono de novaj konitaĵoj, aŭ datenoj, ne ŝanĝas tiel draste la konkludojn, kaj pro tia karaktero de kalsika logiko ni kvalifikas ĝin kiel Monotona logiko.
Do, se ni volas pli fidele modeligi la rezonadon de reala rezonanto, ekzemple por pli bone kompreni tian procezon, aŭ por realigi similan procezon en Artefarita intelekto, necesas Nemonotona logiko, taŭga por pli fidela formaligo de tia rezonado kiu enhavas malkonfesajn paŝojn.