1. A logical rule that allows deriving new statements or conclusions from existing premises or known facts
Modus ponens is a fundamental inference rule in classical logic.
Modus ponens é uma regra de inferência fundamental na lógica clássica.
2. In formal systems and programming, a mechanism for automatically generating new knowledge or conclusions based on established rules and facts
The expert system uses inference rules to diagnose diseases based on symptoms.
O sistema especialista usa regras de inferência para diagnosticar doenças baseado nos sintomas.