Question

Logical reasoning definition terms of artificial intelligence

Answer 1

Thoritical computer science developed out of logic, the theory of computation (if this is be considered a different subject from logic), and some related areas of mathematics. So theoretically minded computer scientists are well informed about logic even when they aren't logicians. Computer scientist in general are familiar with the idea that logic provide techniques for analysing the inferential properties of languages, and with the distinction between a high level logical analysis of reasoning and it's implementation. Logic, for instance, can provide a signification.