fol inferences reasoning artificial-intelligence ai
Three types of inferences
- Deduction
- Taking all the facts and the giving the statement that necessarily be true
- Making logical inferences
- Abduction
- Taking the final result going back to find the causes which may not be true.
- these are mostly guesses.
- Induction
- Generalisation of facts.
Epistemic Logic
It deals with the logic of multi-agent systems. It allows us to represent statement of what agents know about other agents.