IA 360

General Artificial Intelligence (AGI)

Symbolic logic and AGI: explicit rules are not enough
General Artificial Intelligence (AGI)

Symbolic logic and AGI: explicit rules are not enough

Symbolic logic represents entities, relations and rules through symbols with explicit semantics and an inference system. The story bounds the costly error: A valid derivation does not guarantee that premises describe the world, and formalizing knowledge can be costly and brittle. It teaches how to separate formal validity, premise truth and learned capability when evaluating an AGI proposal.

4 min

This website uses cookies to improve the browsing experience. Cookie policy.

↑↓ navigate ↵ open esc close