Slashdot Mirror

← Back to Stories (view on slashdot.org)

Mechanical Reasoners Battle It Out In Sydney Today

Posted by timothy on from the turk-v.-hal dept.

Stephan Schulz writes "Today, the CADE ATP System Competition will pit about 20 of the worlds most powerful mechanical mathematicians against each other — and for the first time they can win not only honour, but a monetary prize. The systems will reason against the clock on tasks ranging from undergraduate math problems and Cluedo-like puzzles to figuring out the possible responsibility for terrorist attacks from giant knowledge bases. If you think that is not impressive enough, they are doing it at a rate of 12 problems per hour, all day long. The competition starts at 10 a.m. in Sydney, Australia, which is midnight UTC. Live results will be available at the competition page. For added geek appeal, most of the contenders are available under open source licenses, so if you are weak in logic you can hack up your own brain extension and run it on an iPhone."

5 of 45 comments (clear)

  1. butt sex by Anonymous Coward · · Score: -1, Offtopic

    stick it in the butt

  2. Foreign policy from a select few "inteligent" is by Anonymous Coward · · Score: -1, Offtopic

    lame. Aside from Mathematics, the same trained mathemetacians, having no style of arithmetic accreditted to them other than what was allowed to be taught to them under the guise of education, are reasoning foreign policy towards terrorist attack. Fat joke from creatures of no productive export outside of Intellectual Property. They always find ways to spend someone else's money on somthing they couldn't do with their own available money themselves; and worse, it's all just a divertion from their bad habits. If you have a terrorist problem or illegal alien problem (for that matter), all you can be sure of is what you can do about your own problem and report to your neighbor for any reception to assist them in resolving theirs. So far, the #1 remedy to a militant is equality; military was once a civil question taken into execution, but has now become just another corporation offering cleansing service ritually applied by libel of review (hence often read in a captain's journal his offence durring the Vietnamese War is colored as "cleansed the area").

  3. Re:Oh, can you smell what I'm cooking? by Anonymous Coward · · Score: 0, Offtopic

    I am sorry, but you have failed your one mission and goal in life.

    The sword is to your right. Do with it what you must.

  4. Go eat scrambled Buckcake. by Anonymous Coward · · Score: -1, Offtopic

    Posh Spice says High.

  5. FirSt by Anonymous Coward · · Score: -1, Offtopic

    escape them by no maater how