next up previous
Next: The AI Arsenal Up: An Arsenal of Tools Previous: An Arsenal of Tools


First order logic is not enough to do most common sense reasoning. We need defaults, defeasible assumptions, the ability to contain our reasoning, etc. In this article we enumerate some of the helpful methods and formalisms that should be in any logical AI person's arsenal.

Aarati Parmar
Thu Feb 22 17:21:49 PST 2001