An approach to computer reasoning that uses formalized knowledge.
Synonyms: Formal Reasoning, CSD
Adapted from Guide to Health Informatics
Wikipedia: Rule-Based Reasoning