Thinking, Logic, Computational Thinking, Decision Making, Science.
can be used to teach reasoning systems how to make better inferences. For example, OR can be used to generate examples of problems that reasoning systems should be able to solve. These models can be used to understand how people reason and to develop new reasoning techniques. Researchers can