dedus

Dedus is a term used in theoretical discussions of logic and artificial intelligence to denote a single, primitive unit of deduction. It is not a standard term in mainstream textbooks and has no formal consensus on its exact definition.

In practice, a dedus is described as a compact representation of a derived conclusion from a set of premises, often including metadata such as the inference rule, premises referenced, and a confidence score. In many models, dedus form the nodes of a deduction graph, linked to the dedus that support them.

Variants across theories: Some treat dedus as concrete data structures in cognitive architectures; others view them as abstract elements in probabilistic reasoning or explainable AI, serving to trace and audit the reasoning process.

Status: The term appears primarily in non-peer-reviewed literature, online forums, and early-stage research. It has not been adopted as a formal concept in widely used logic or AI libraries.

The trajectory of dedus will depend on future formalization and consensus within the field.