„7. Logikai ágensek” változatai közötti eltérés
LaTeX képletek javítva |
|||
| (Egy közbenső módosítás, amit egy másik szerkesztő végzett, nincs mutatva) | |||
| 72. sor: | 72. sor: | ||
|Elsőrendű logika||tények, objektumok, relációk||igaz/hamis/nem ismert | |Elsőrendű logika||tények, objektumok, relációk||igaz/hamis/nem ismert | ||
|- | |- | ||
|Temporális | |Temporális logika||tények, objektumok, relációk, idők||igaz/hamis/nem ismert | ||
|- | |- | ||
|Valószínűség-elmélet||tények||a hiedelem foka 0...1 | |Valószínűség-elmélet||tények||a hiedelem foka 0...1 | ||
| 126. sor: | 126. sor: | ||
Rezolúció | Rezolúció | ||
<math> \frac{A \vee B, \neg B \vee C}{ | <math> \frac{A \vee B, \neg B \vee C}{A \vee C}</math> | ||
{| border="1" | {| border="1" | ||