Limbo – A Reasoning System for First-Order Limited Belief
1–10 of 27 posts
Re: Limbo – A Reasoning System for First-Order Limited Belief
#2See also:
Re: Limbo – A Reasoning System for First-Order Limited Belief
#3This is pretty interesting. How would this be different from traditional knowledge base programs? Is it that you are explicitly modelling beliefs and actions and things like that?
Re: Limbo – A Reasoning System for First-Order Limited Belief
#4Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. It was designed at Bell Labs by Sean Dorward, Phil Winterbottom, and Rob Pike. Google the name of your project before naming it .
Re: Limbo – A Reasoning System for First-Order Limited Belief
#5Would anyone be willing to explain what's different between this & how humans make decisions?
Re: Limbo – A Reasoning System for First-Order Limited Belief
#6Would anyone be willing to explain what's different between this & how humans make decisions?
First, we'd have to have a good model for human decision making.
Re: Limbo – A Reasoning System for First-Order Limited Belief
#7Re: Limbo – A Reasoning System for First-Order Limited Belief
#8Earlier quoted context omitted.
First, we'd have to have a good model for human decision making.
If we were to start with this as the foundation for modeling human decisions, where does this fail as a model?
Its kind of hard to do the measurements necessary to answer that question without being able to accurately and objectively measure actual human beliefs (which may not be the same as self-reported beliefs.)
Re: Limbo – A Reasoning System for First-Order Limited Belief
#9Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. It was designed at Bell Labs by Sean Dorward, Phil Winterbottom, and Rob Pike. Google the name of your project before naming it .
Apparently there are more projects than proper nouns. This just makes life more interesting.
Re: Limbo – A Reasoning System for First-Order Limited Belief
#10Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. It was designed at Bell Labs by Sean Dorward, Phil Winterbottom, and Rob Pike. Google the name of your project before naming it .
I'm going to be slightly unorthodox and say that as long as they're no embarking on the same type of venture, having the same name is more-or-less okay. Nobody with domain-specific knowledge is going to be confused by this, and it's barely even worth picking a fight over. If he wants to call it Limbo, I say let him.