人工机器：1984、语义网、思维量化与长尾理论