A deductive classifier is an AI inference engine that classifies entities by reasoning from formal declarations about a domain. It typically uses structured representations such as classes, subclasses, properties, and restrictions to infer membership or detect inconsistencies.
A type of artificial intelligence inference engine. It takes as input a set of declarations in a frame language about a domain such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values.