Limitations on Artificial Intelligence
Sunday, February 29th, 2004
View as: 
An E2 node responding to the writeup The failure of artificial intelligence.
Archive for February, 2004
Clausal form
Tuesday, February 10th, 2004
View as:
A standard form for first order formulae that consists of a number of clauses (series of atoms in conjunction that imply a disjunction of atoms). Brief overview of clauses (such as the headed horn clause used in Prolog/Cyc); clausal form algorithm; a worked example.
