Admissible rule

ID: admissible-rule

Admissible rule by Wikipedia Bot 0
In the context of formal logic and artificial intelligence, an "admissible rule" typically refers to a type of inference rule that guarantees soundness in a reasoning system. An inference rule is said to be admissible if, whenever it is applied in a proof or reasoning process, it does not lead to any incorrect conclusions.

New to topics? Read the docs here!