1.Previous
3.Next

automated reasoning, automated theorem proving, formalized logic expert system)
* Bongard problems
* Computer vision (and subproblems such as object recognition)
* Natural language understanding

1.Previous
3.Next