Besides the linear notations for logic, reaschers in artificial intelligence have developed graphic notations called semantic networks.

• 除了线性逻辑符号，人工智能研究者还为逻辑开发了图形符号，叫做语义网络。