„7. Logikai ágensek” változatai közötti eltérés
Új oldal, tartalma: „{{GlobalTemplate|Infoalap|MIOsszefoglaloLogikaiAgensek}} __TOC__ ==Általános tudnivalók, tételek, definíciók:== ===7.1. A tudásbázisú ágens=== A *tudásb…” |
|||
| (2 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 | ||
| 117. sor: | 117. sor: | ||
Implikáció jelentése: | Implikáció jelentése: | ||
<math> | <math> A \Rightarrow B \equiv \lnot A \vee B</math> | ||
Modus ponens: | Modus ponens: | ||
<math> | <math> \frac{A \Rightarrow B, A}{B}</math> | ||
(Elemi) Egységrezolúció | (Elemi) Egységrezolúció | ||
<math> | <math> \frac{A \vee B, \neg B }{A}</math> | ||
Rezolúció | Rezolúció | ||
<math> | <math> \frac{A \vee B, \neg B \vee C}{A \vee C}</math> | ||
{| border="1" | {| border="1" | ||