The Authenticity problem.

Problem Statement.
Given: a piece of knowledge/information.
Problem: develop the facility to teach the learning program logic,
reasoning skills, and theorem proofing techniques.
Use these to determine if the given piece of knowledge is trustworthy,
correct, sensible, reasonable, etc.?


e.g.,
Given: the sum of all internal angles of a quadrilateral is 360 degree.
Problem: 
 1. Teach the program those knowledge.
 2. How did the program knows that it is correct, or that it does not
contradict with an existing piece of knowledge?

GOAL: teach the program so that it can do its own reasoning.