Entry

Where can i find out about formal logic?

Jul 18th, 2000 10:58
Colm Sean Murdoch Kennedy, http://www.formal.stanford.edu/

An early pioneer of logic as a tool in Ai was John McCarthy.  He and 
his research group continue in this tradition.  He has contributed the 
ideas of the "situation calculus" and "circumscription".  His home page 
is a gold mine of information about this approach to a "human-level" 
artificial intelligence(s).