History of Knowledge representation

Difference (from prior major revision) (author diff)

Added: 17a18,19

First-order predicate calculus may be used as a tool for implementing the above mentioned methods.

	Revision 8 . . December 8, 2001 8:11 am by Hannes Hirzel [First order predicate calculus as a tool]
	Revision 7 . . (edit) December 8, 2001 8:01 am by Hannes Hirzel
	Revision 6 . . December 8, 2001 7:56 am by Hannes Hirzel [Added examples to introduction; mentioned DATR lexical knowledge representation language.]
	Revision 5 . . December 8, 2001 3:43 am by The Anome [Added metadata and ontology see-alsos]
	Revision 4 . . December 7, 2001 11:55 pm by Hannes Hirzel [Added semantic net]
	Revision 3 . . December 7, 2001 11:36 pm by The Anome [See also Doug Lenat's Cyc project]
	Revision 2 . . October 9, 2001 1:07 am by (logged).98.151.xxx [like humans vs. who cares about humans]