Formal Stage

From AGIRI.org

Abstract deductive reasoning, the process of forming, then testing hypotheses, and systematically reevaluating and refining solutions, develops at this stage, as does the ability to reason about purely abstract concepts without reference to concrete physical objects. This is adult human-level intelligence. Note that the capability for formal operations is intrinsic in Logic Based AGI Projects, but in-principle capability is not the same as pragmatic, grounded, controllable capability.

Relationship to Uncertain Logic

In the theory of Developmental Stages of Uncertain Logic Based AI Systems, the Formal stage may be characterized as a stage where the logical inference faculty operates as an Symbolically Interactive System, in the specific sense that the "pruning function" used to control Forward Chaining Inference and Backward Chaining Inference utilizes the results of explicit logical inference about the optimal way to control inference in various relevant contexts.