background preloader

Knowledge Management

Facebook Twitter

Knowledge representation. Knowledge representation and reasoning (KR) is the field of artificial intelligence (AI) devoted to representing information about the world in a form that a computer system can utilize to solve complex tasks such as diagnosing a medical condition or having a dialog in a natural language. Knowledge representation incorporates findings from psychology about how humans solve problems and represent knowledge in order to design formalisms that will make complex systems easier to design and build. Knowledge representation and reasoning also incorporates findings from logic to automate various kinds of reasoning, such as the application of rules or the relations of sets and subsets.

Examples of knowledge representation formalisms include semantic nets, Frames, Rules, and ontologies. Examples of automated reasoning engines include inference engines, theorem provers, and classifiers. Overview[edit] This hypothesis was not always taken as a given by researchers. History[edit] Characteristics[edit]

Protege

CO-ODE > Home. Ontology is Overrated -- Categories, Links, and Tags. Ontology is Overrated: Categories, Links, and Tags This piece is based on two talks I gave in the spring of 2005 -- one at the O'Reilly ETech conference in March, entitled "Ontology Is Overrated", and one at the IMCExpo in April entitled "Folksonomies & Tags: The rise of user-developed classification. " The written version is a heavily edited concatenation of those two talks.

Today I want to talk about categorization, and I want to convince you that a lot of what we think we know about categorization is wrong. In particular, I want to convince you that many of the ways we're attempting to apply categorization to the electronic world are actually a bad fit, because we've adopted habits of mind that are left over from earlier strategies.

I also want to convince you that what we're seeing when we see the Web is actually a radical break with previous categorization strategies, rather than an extension of them. PART I: Classification and Its Discontents # Q: What is Ontology? And yet. Domain.

Topicmap

WordNet - Princeton University Cognitive Science Laboratory. Kurt G?'s Ontological Argument. Kurt Gödel is best known to mathematicians and the general public for his celebrated incompleteness theorems. Physicists also know his famous cosmological model in which time-like lines close back on themselves so that the distance past and the distant future are one and the same. What is less well known is the fact that Gödel has sketched a revised version of Anselm's traditional ontological argument for the existence of God. How does a mathematician get mixed up in the God-business? Gödel was a mystic, whose mathematical research exemplified a philosophical stance akin to the Neo-Platonics. In this respect, Gödel had as much in common with the medieval theologians and philosophers as the twentieth-century mathematicians who pioneered the theory of computation and modern computer science.

Talking about proof theory often feels like discourse about God: When you talk about God, you have to discuss issues like "if God created the Universe, then who created God? " A biographical sketch g and t.