Logic

From AGIRI.org

A logic is a system for expressing statements that have truth values, or questions whose answers have truth values; and for deriving new such statements from sets of such statements.

See the entry on Inference for discussion of different types of reasoning that may be formalized using Logic.

Logic and AGI

It is controversial whether a logic should explicitly be part of the design of an AGI System, or whether logic should be thought of as emergent (Emergence) from lower-level aspects of an AGI System.

And, among those to believe logic should be part of an AGI design, there is not much agreement on what kind of logic it should be. The Mind Ontology Links section of this page gives some categorizations of AGI-relevant logics.

Mind Ontology Links

Subcategory: Inheritance
Associated: Inference
Orthogonal:

• Inference Rule formalisms
  • Subcategory: Predicate Logic
  • Subcategory: Term Logic
• Truth value formalisms
  • Subcategory: Crisp Logic
  • Subcategory: Uncertain Logic
• Domain of Specificity
  • Subcategory: Temporal Logic