theory validity { // a human weighs between 80 and 400 pounds $x is a human & $x weighs ($y pounds) => $y >= 80 & $y <= 400
contradiction => say (That can't be right) } theory (weight change) { $x weighs ($y pounds) & last time $x weighed ($z pounds) => proc { if ($y < $z): say (You lost weight) else if ($y > $z): say (You gained weight) else: say (You are stagnant) } } theory (remember last weight) { $x weighs ($y pounds) => proc { delete all (last time $x weighed ($z pounds)) store (last time $x weighed ($y pounds)) } } theory (interpret input) { $x says (i weigh $y pounds) => $x weighs ($y pounds) $x says (my weight is $y pounds) => $x weighs ($y pounds) } [image: weight.png] The Java part <http://code.botcompany.de/1025733> is literally just the language interpreter and chat glue code. Cheers Stefan -- Stefan Reich BotCompany.de // Java-based operating systems ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tda20a46822c5bb8d-M4bd37d8929acb09fac54488a Delivery options: https://agi.topicbox.com/groups/agi/subscription