From the ancient greek philosophers until now, understanding mental processes behind human decisions have always been a matter of debate and study.
Since its birth, Artificial Intelligence research tried to come up with tools and techniques to transfer such concepts into machines.
Within this context, we especially focus in:
First Order Logic
Probabilistic Logic & Uncertainty