The glossary is being gradually proof checked, but currently has many typos and misspellings.
A reasoning system is an algorithm, method or tool for reasoning.
Used in Chap. 2: page 13
