Limbo – A Reasoning System for First-Order Limited Belief

Re:Limbo – A Reasoning System for First-Order Limited Belief by Lambdanaut on Sunday May 07, 2017 @12:06AM (#14283792)

What resolution are you looking for? All models fail to be the thing they're modelling.

The first and obvious answer is that "this is software running on hardware, as apposed to being biologically-based".

It might sound like I'm being facetious but your question is really that broad.

[ Parent | on HN ]

Re:Limbo – A Reasoning System for First-Order Limited Belief by drdeca on Sunday May 07, 2017 @12:37AM (#14283890)

"What sort of predictions that this makes are contradicted by observation"?

[ Parent | on HN ]

Re:Limbo – A Reasoning System for First-Order Limited Belief by crawfordcomeaux on Sunday May 07, 2017 @02:34AM (#14284198)

This is what I meant. Thanks for providing the clarification I didn't think to include.

[ Parent | on HN ]

Re:Limbo – A Reasoning System for First-Order Limited Belief by aisofteng on Sunday May 07, 2017 @09:06PM (#14288597)

I thought the clarification to be self-evident, for what it's worth.

[ Parent | on HN ]