Logic
![](/images/0/0c/AI.png)
Artificial Intelligence[1]
Logic is a formal language that allows us to make assertions about the world in a very precise way[2]
Soundness: Only valid conclusions can be proven Completeness: All valid conclusions can be proven
References
- ↑ http://www.flaticon.com/
- ↑ Ashok Goel