Look also at Ontic:
http://lambda-the-ultimate.org/classic/message6641.html
http://ttic.uchicago.edu/%7Edmcallester/ontic-spec.ps
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/areas/kr/systems/ontic/0.html
http://citeseer.ist.psu.edu/witty95ontic.html
Josh
On Saturday 21 April 2007
Ontic looks like an interesting and elegant formalism, but I don't see how it
would help an AGI learn mathematics. We are not yet at the point where we can
solve word problems like if I pay for a $4.95 item with a $10 bill, how much
change should I get back? Never mind the harder problem of
On 4/23/07, Matt Mahoney [EMAIL PROTECTED] wrote:
Ontic looks like an interesting and elegant formalism, but I don't see how it
would help an AGI learn mathematics. We are not yet at the point where we can
solve word problems like if I pay for a $4.95 item with a $10 bill, how much
change