„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…” |
LaTeX képletek javítva |
||
| 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}{B \vee C}</math> | ||
{| border="1" | {| border="1" | ||