Add First-Order Logic Example

nickumia / cap6635

A summary of the AI techniques explored in Dr. Zhu's AI class

GNU General Public License v3.0

0 stars 0 forks source link

Open nickumia opened 1 year ago

nickumia commented 1 year ago

Use objects, their relations (predicates) and functions, and quantifiers.

Either Wumpus World or Hoofers' Club.

nickumia commented 1 year ago

Reference from Dr. Zhu