work also done reasoning analogy using induction abduction important topics include reasoning uncertainty non monotonic reasoning important part uncertainty field argumentation constraints minimality consistency applied top standard automated deduction john pollock 's oscar system example automated argumentation system specific automated theorem prover tools techniques automated reasoning include classical logics calculi fuzzy logic bayesian inference reasoning maximal entropy many less formal ''ad hoc''
Formal science Computer science Artificial intelligence Automated reasoning