Talk:Knowledge representation and reasoning

Opening comments

---

As far as I understand, FIPA SL is also an example for a knowledge representation language. If nobody objects, I will add it to the list of example languages.

---

Revised introduction I added an introduction and attempted to answer some of the questions on this page, and give a clear overview of the topic. The topic of KR is broad, so I think we should split into parts, and I propose using the question system to direct links (on the other hand, this may be inconsistent with the rest of the site). There are philisophical, cognitive science (particular developmental), and artificial intelligent paths to take.

In terms of AI, there are thousands of different directions for the topic as well. We should at least make the distinction between those were are trying to model the entire world (e.g., common sense reasoning), and those who model just one specialized subset. Of those groups, there lots of different approaches: logical (situation/event calculus, non-monotonic reasoning), statistical/connectionist, another type of symbolic that I'm having trouble classifying (script, frame, semantic nets, etc)....

--- Dustin

---

Further work: Consult [1], [2] and [3]

---

As an epistemologist and someone who has studied cognitive psychology a bit, I am very interested in having a much fuller, clearer explanation of what "the problem of how to store and manipulate knowledge" means. It's not self-evident what the problem even is supposed to be.

If this article is to be concerned entirely with this problem, then it should no doubt be located at the problem of knowledge representation (if that's the best name for the problem). --LMS

---

What is the difference between knowledge representation and just keeping data in a computer memory? -- User:Hirzel

Computers don't know anything; they are not conscious.

Why do you think Computers don't know anything, but humans do? I mean, what exactly constitutes the difference? --denny vrandečić 10:51, Aug 3, 2004 (UTC)

---

What about our species knowledge ? That's called Taxonomy and might be included in this article :0) Hashar

---

I would like to see a greater variety of representations listed e.g. patterns, distinctions, concepts, stories, activities, events, cases, rules, objects. More attention to ephemeral (audio) and visual forms.

---

This article needs an almost complete rewrite. It is very poor as it is. Any textbook on Artificial Intelligence is way better than this.

---

KR Language

Should there be a catgeory for knowledge representation languages like KM, OWL, CycL and KIF? Would it be a subcategory of Category:logic programming languages or Category:declarative programming languages? What other examples are there? Bovlb 08:39, 2005 Apr 9 (UTC)

Remarks on the History section

The history section is kind of longish and expecially the beginning is too far fetched. In many fields of study people have a tendency to extend the history of a field beyond the actual beginning. Of course one can say that DNA is way to represent knowledge. However most of the interesting things how this is done are not know (yet). So it does not actually give a good account of what people think what knowledge represenation is. It is a term which has the roots in the context of data analysis and general computing and it probably about 20..30 years old. Who has some more details on the first uses of the term?

I propose to just delete the first three paragaphs.

The history of KR can be said to begin with DNA and memory molecules,...

Mathematics and related logical notations such as predicate ....the Big Bang ...

In philosophy knowledge is most commonly defined as "justified true belief". Hirzel 13:21, 20 October 2005 (UTC)

As there was no reaction yet I think I may move the three paragraphs to here for the time beeing. Hirzel 23:24, 6 November 2005 (UTC)

The history of KR can be said to begin with DNA and memory molecules, which represent information about how to construct various organisms. This may be considered a knowledge representation. Spoken and written language also represent knowledge. The sum total of all books used to pass knowledge from one generation to the next amount to an extensive KR, with the pace of change increasing exponentially since perhaps 1600.

Mathematics and related logical notations such as predicate calculus are more formal and precise representations used for certain kinds of knowledge. Computer models and simulations also amount to representations of knowledge, from the Big Bang to society and culture.

In philosophy knowledge is most commonly defined as "justified true belief". However, knowledge representation uses the term much more broadly: there need be no belief for DNA to function, and language can easily represent incorrect beliefs, as well as things not believed at all.

Hirzel, thank you for your interest in this article. Clearly, the history of the subject stems from the AI days, which waned in the late '80s and which has become part of the stable infrastructure of the field, when it became clear just how difficult the problem of KR is. You can look in the AI books of the period (Nilsson, Winston, etc) to find a sentence whose canonical statement is something like If we can just choose the right representation for the problem at hand, then it becomes easy to solve. Unfortunately I do not have the time to dig up the books and search for the quote right now. But I agree that the timing was about 1975 - 1980 for the first statement. Ancheta Wis 00:54, 7 November 2005 (UTC)

Tree of Porphyry

Will someone add an image of the tree of porphyry here? It's a great example of the knowledge representation in the natural domain, making a nice counterpoint to a lot of current interest in knowledge representation from the "artificial intelligence" community... Plus, thi sarticle needs a pictureChris Chatham

Sanskrit & Knowledge Representation ??

Sanskrit & Artificial Intelligence / Knowledge Representation

• Knowledge Representation in Sanskrit and Artificial Intelligence by Rick Briggs, Roacs, NASA Ames Research Center. Published in AI Magazine, Volume 6, Number 1, Spring 1985 [4]

any idea ?

-- 172.174.175.119 11:34, 22 July 2006 (UTC)

see http://en.wikipedia.org/wiki/Talk:Sanskrit#Sanskrit_.26_Artificial_Intelligence_.3F.3F

External link doesn't work

In References section link http://citeseer.nj.nec.com/context/177306/0 for Ronald J. Brachman; What IS-A is and isn't. An Analysis of Taxonomic Links in Semantic Networks doesn't respond —The preceding unsigned comment was added by Y2y (talk • contribs) 11:51, 4 March 2007 (UTC).

Criticism/Competing fields

I have noticed that there is not a section about competing fields of AI and criticism of knowledge representation. At some universities, professors believe knowledge representation is not a promising field in AI (at Stanford, at least). I am not an AI expert, and it would be useful to have some comparison between KR and other schools of thought. 128.12.108.147 01:30, 5 March 2007 (UTC)

Mycin? Hunh?

This passage is confusing: In the field of artificial intelligence, problem solving can be simplified by an appropriate choice of knowledge representation. Representing the knowledge using a given technique may enable the domain to be represented. For example Mycin, a diagnostic expert system used a rule based representation scheme. An incorrect choice would defeat the representation endeavor....

That's all very blurry, at least to a layman.

Lots of errors

After a quick read, I noticed a number of factual errors in this article. I've marked it with "expert" and "nofootnotes" tags to warn the reader. I will fix them eventually, but I have a lot on my plate. Are the original authors still watching this article? ---- CharlesGillingham (talk) 11:30, 21 November 2007 (UTC)

I'm just starting to review it and plan on doing some major reworking. I agree it's not in great shape now. RedDog (talk) 13:11, 7 December 2013 (UTC)

New Intro

I took a pass at a revised introduction based on some KR lectures I've given. I think the article should be reviesed around the notion of expressivity and complexity, with some links possibly to separate topics on general problems in KR (and in some cases how they were solved), for instance, the frame problem the symbol grounding problem, etc. Gorbag42 (talk) 18:51, 22 September 2008 (UTC)

There is an article on the Frame problem fyi. I agree it may be worth a mention but it's rather tangential to the main issues of KR as discussed in mainstream AI IMO. RedDog (talk) 13:09, 7 December 2013 (UTC)

Dubious implications

"Science has not yet completely described the internal mechanisms of the brain to the point where they can simply be replicated by computer programmers."

The word 'yet' implies that science will or is capable of completely describing the internal mechanisms of the brain. Certainly there is no scientific basis for this implication.

Even if we concede that it can, the further implication is that computer programmers would be able to replicate them. This is even more dubious than the first assertion. —Preceding unsigned comment added by 74.37.134.51 (talk) 06:47, 12 December 2009 (UTC)

Just to state my bias I think they can and will eventually be "replicated" but I agree we are so far from that it's just pointless speculation and there is no reason to include that. Also, most of the leading people in AI would be careful not to make such grandiose and vague claims. RedDog (talk) 13:08, 7 December 2013 (UTC)

Reasoning

This article was renamed from "knowledge representation" to "knowledge representation and reasoning". If the reasoning part is to be kept, then a merge with automated reasoning should be considered. Representation and reasoning are inherently related but they seem to be split into different academic communities/conferences etc. Any opinions? pgr94 (talk) 18:16, 21 June 2010 (UTC)

Strongly oppose merging with automated reasoning. The two terms are related for sure but they don't mean the same thing at all. Automated reasoning is a more vague term that usually refers to things like theorem provers, inference engines, etc. Knowledge representation refers more to languages such as LOOM, KL-One, KEE, etc. More about the structure of the data than the inferencing. I think we should just drop the "and reasoning" the term people use in AI is just Knowledge Representation. RedDog (talk) 13:05, 7 December 2013 (UTC)

Low quality article

I would advise readers not to even read 3 lines of this article. It has so many errors it is toxic. It is beyond repair, and needs a rewrite. History2007 (talk) 23:39, 9 January 2012 (UTC)

Plan to do some major rewriting of this article

I'm currently working on another related article which is smaller and easier to fix but when I finish that one I plan to work on this one. Just giving anyone watching this page a heads up in case they want to start or restart some discussion. So far I've just taken a quick look but I think this article needs lots of work. I am an expert in the field. I've been a principal investigator for DARPA, USAF, and NIST research projects and worked in the group doing KR research at the Information Sciences Institute. I think this article should just be called Knowledge Representation there is no need for the "reasoning" (reasoning is what you do with KR but when people talk about KR they usually just use those two words). More later. RedDog (talk) 13:02, 7 December 2013 (UTC)