Ａｂａｓｉｃｕｎｉｔｋｎｏｗｌｅｄｇｅｍｏｄｅｌ，ｉ．ｅ．，ａｎｉｄｅｏｇｒａｍ ｍｏｄｅｌ，ｈａｓｂｅｅｎｃｒｅａｔｅｄｉｎｔｈｉｓｒｅｓｅａｒｃｈ．Ｉｔｓｔｉｍｕｌａｔｅｓｔｈｅ ｏｕｔｐｕｔｏｆｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇｄｅｆｉｎｉｔｅ"ｅｉｇｅｎｓｔａｔｅｋｎｏｗｌｅｄｇｅ" ｂｙｔｈｅｃｏｌｌａｐｓｅｏｆｕｎｃｅｒｔａｉｎ"ｓｕｐｅｒｐｏｓｉｔｉｏｎｓｔａｔｅｋｎｏｗｌ－ ｅｄｇｅ" ａｂｏｕｔｔｈｉｎｇｓ，ｓｏａｓｔｏｆｕｒｔｈｅｒｒｅａｌｉｚｅｔｈｅｋｎｏｗｌｅｄｇｅｉｎｔｅｌｌｉｇｅｎｃｅｐｒｉｎｃｉｐｌｅ（ｋｎｏｗｌｅｄｇｅｓｕｐｅｒｐｏｓｉｔｉｏｎｐｒｉｎｃｉｐｌｅ）ｏｆ Ｔｕｒｉｎｇ－ｍａｃｈｉｎｅ，ｏｒｐｈｙｓｉｃａｌ－ｓｙｍｂｏｌｉｃ，ｏｒｆｏｒｍａｌ－ｌｏｇｉｃａｌａｃｔｉｖｉｔｉｅｓ．Ｔｈｅｓｏ－ｃａｌｌｅｄｉｄｅｏｇｒａｍｉｓｔｈｅｋｎｏｗｌｅｄｇｅｔｈａｔｅｌｉｍｉ－ ｎａｔｅｓｔｈｅｃｏｇｎｉｔｉｖｅｉｎｄｅｔｅｒｍｉｎａｃｙａｂｏｕｔｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇｔｈｉｎｇ．Ｗｉｔｈｔｈｅｎａｔｕｒｅｏｆｔｈｅｓｍａｌｌｅｓｔｕｎｉｔ，ｉｔｉｓｔｈｅｂａｓｉｃｕ－ ｎｉｔｏｆｋｎｏｗｌｅｄｇｅａｎｄｔｈｅｌｏｗｅｓｔｌｅｖｅｌｏｆｅｍｅｒｇｅｎｔｋｎｏｗｌｅｄｇｅ，ｗｈｉｃｈｉｓａｌｓｏｃｏｍｐｌｅｔｅａｎｄｓｅｌｆ－ｃｏｎｔａｉｎｅｄ．Ｉｄｅｏｇｒａｍｓ ｃａｎｓｅｒｖｅａｓｔｈｅｂａｓｉｓｆｏｒｓｙｓｔｅｍａｔｉｃｋｎｏｗｌｅｄｇｅｅｍｅｒｇｅｎｃｅａｎｄｉｎｔｅｌｌｅｃｔｕａｌｅｍｅｒｇｅｎｃｅ，ａｎｄｓｕｃｈａｓｙｓｔｅｍｃａｎｂｅｃｏｍ－ ｐｌｅｔｅａｎｄｓｅｌｆ－ｃｏｎｓｉｓｔｅｎｔ．Ｂａｓｅｄｏｎｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｓｏｆｔｈｅｔｈｉｎｇｓｔｈｅｙｒｅｐｒｅｓｅｎｔ，ａｎｕｍｂｅｒｏｆｉｄｅｏｇｒａｍｓｃｏｎｓｔｉｔｕｔｅｔｈｅｉｄｅｏ－ ｇｒａｍｎｅｔｗｏｒｋｏｎｗｈｉｃｈｔｈｅｓｙｓｔｅｍｃａｎｂｅｂａｓｅｄａｎｄｉｔｓａｃｔｉｖｉｔｉｅｓｔｏａｃｈｉｅｖｅｖａｒｉｏｕｓｉｎｔｅｌｌｅｃｔｕａｌｏｒｃｏｎｓｃｉｏｕｓａｃｔｉｖｉｔｉｅｓ．Ｉｄｅｏ－ ｇｒａｍｓａｒｅｔｈｅｏｒｉｇｉｎｏｆａｎｅｗｓｃｉｅｎｔｉｆｉｃｔｈｅｏｒｙａｎｄｓｃｉｅｎｔｉｆｉｃａｐｐｒｏａｃｈｔｏｉｎｔｅｌｌｉｇｅｎｃｅａｎｄｃｏｎｓｃｉｏｕｓｎｅｓｓｃａｌｌｅｄｔｈｅｔｈｅｏｒｙｏｆｉｄｅ－ ｏｇｒａｍｓ，ｗｈｉｃｈｌａｙｓｔｈｅｍｅｔｈｏｄｏｌｏｇｉｃａｌａｎｄｔｈｅｏｒｅｔｉｃａｌｆｏｕｎｄａｔｉｏｎｆｏｒａｃｈｉｅｖｉｎｇｔｈｅｉｎｔｒｉｎｓｉｃｕｎｉｆｉｃａｔｉｏｎｏｆｔｒａｄｉｔｉｏｎａｌａｒｔｉｆｉｃｉａｌ ｉｎｔｅｌｌｉｇｅｎｃｅｓｕｃｈａｓｐｈｙｓｉｃａｌｓｙｍｂｏｌｓｙｓｔｅｍｓａｎｄａｒｔｉｆｉｃｉａｌｎｅｕｒａｌｎｅｔｗｏｒｋｓｙｓｔｅｍｓ