See on üks minu kahest uurimissuunast, teine uurimissuund on statistilisel õppimisel ja planeerimisel põhinev. Artikkel
"The First Law of Robotics" annab hea põhjenduse, miks loogikal põhinevat suunda on mõtet alustuseks katsetada.
Siit: injektiivsed seosed on alati pööratavad.
g(f(x)) = x
ehk: f can be undone by g <=> X -> Y on injektiivne.
Lisaks: function that can be undone or "reversed", such as f, is not necessarily invertible. / -- /
Although it is impossible to reverse a non-injective (and therefore information-losing) function, you can at least obtain a "quasi-inverse" of it, that is a multiple-valued function.
Siit: sürjektiivse seose olemasolu võimaldab alati midagi pöörata:
f(g(y)) = y
ehk: g can be undone by f <=> X -> Y on sürjektiivne;
(teisendatuna: g(f(x)) = x <=> f can be undone by g <=> Y -> X on sürjektiivne).
Lisaks: f can undo or "reverse" g, but not necessarily can be reversed by it. Surjections are not always invertible.
Ehk: gf = I ei tähenda, et fg = I