Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#1 20. 10. 2015 15:37
Unifikácia v Predikátovej Logike
Ahojte, vedeli by ste mi poradiť z jedným problémom ohľadom hľadania rezolvent? Konkrétne z unifikáciou.
Zaujíma ma prečo mám zle toto: f(g(x,a),z) f(g(x,b),b)
Unifikácia: {z/a,b/z} => f(g(x,z),z)
A prípadne by mi niekto mohol bližšie poradiť pravidlá ktoré môžem použiť? Je ich zopár.
Ďakujem
Offline
#2 21. 10. 2015 12:20
Re: Unifikácia v Predikátovej Logike
↑ milwoukee:
Ahoj,
nějaké jednoduché materíály jsou tady.
Jinak v tvém příkladě bych viděl problém v tom, že "a" a "z" jsou (asi) volné proměnné.
Dva jsou tisíckrát jeden.
Offline