Lists

edit
  1. Livescript .js ala F#
  2. Frege haskell-like on JVM Frege (programming language)
  3. Ceylon Ceylon (programming language)
  4. Kotlin (programming language)
  5. Ho Ping-gam, What character is that? 214 Chinese characters
  6. The 3 settings every Facebook user should see to protect their privacy -- NYTimes
  7. Raspberry Pi 2
  8. Late-2000s recession
  9. Financial crisis of 2007–2010
  10. C Sharp (programming language)
  11. .NET Framework
  12. Type theory
  13. Haskell (programming language)
  14. Monad (functional programming)
  15. Monad (category theory)
  16. functional programming
  17. Java (software platform)
  18. JavaScript
  19. webOS
  20. Android Dev Phone
  21. List of Android devices
  22. Android Market
  23. Android (operating system)

Note: Myths do not have to be true, but some myths are possibly too good to be true.

  1. John Hope Bryant's Operation Hope
  2. The Rainbow Bridge for beloved pets
  3. Ars,nsa
  1. Have you heard Varsity? try here
  2. My introduction to Philmont Hymn[1] was on a camping trip in the Franklin Mountains (Texas)
  3. John Denver - America The Beautiful
  4. America the Beautiful - sung in Canterbury cathedral
  5. Aaron Copland, Fanfare for the common man
  6. Aaron Copland, Saturday Night Waltz, from Rodeo (piano) (ensemble)
  7. Jan Sweelinck came before Bach; Sweelinck wrote a version of O Sacrum Convivium; here is one by the Poor Clares and one by a high school choir
  8. 2007 Bach piano competition, Philippines
  9. Brahms:交響曲第1番「第4楽章」 2/2 7:00/7:54
  10. Wie lieblich sind deine Wohnungen, (min.38:40 / 1:18:23) Brahms, ein Deutsches Requiem
  11. 3:28 - 11:18 Vivace (A major), of Nodame Cantabile fame, reprise 8:18; 11:24 - 19:25 Allegretto (A minor); 19:26 - 26:53 Presto (F major); -33:31 Allegro con Brio (A major) Karajan conducts Beethoven's Symphony No. 7.
  12. Beethoven:交響曲第3番「エロイカ」「第1楽章」2/2 catch 6:00 6:49
  13. A Tagalog lullabye: sa ugoy ng duyan with guitar chords article on Everything2, not in wikipedia yet
  14. The Walkabouts - Will You Miss Me When I'm Gone
  15. Madz 2002 a cappella - informal
  16. Loboc Children's Choir - in L. A. 6/5/08 1:40 Applause 2:45/3:40
  17. Coconut Nut by Ryan Cayabyab
  18. Ti ayat ti maysa nga ubing in Ilocano The love of a child is sweet - but let it go
  19. Czech Choir sings "Ikaw" with Ateneo College Glee Club - a cappella
  20. Teresa Teng - Hawaiian style 1970's 鄧麗君~~南海姑娘 (1977)
  21. Portal - game - credits in English Still Alive - in Japanese
  22. Latvian Song Festival: Manai dzimtenei 2:30/4:23
  23. Reinette l'oranaise 0:29/2:45
  24. Lea Salonga's Audition for Miss Saigon 1:30/3:09
  25. Miriam Jul Rasmussen singing the Danish National Anthem Der er et yndigt land
  26. Himnusz Himnusz
  27. Swedish link to Mawtini
  28. Irish Guards going to Iraq Dance party in Iraq - 1:14/5:05 Eddy Grant - Electric Avenue
  29. 2006/2007 Madrigals Singing National Anthem
  30. Song Zuying CCTV 宋祖英 - 十送红军 我的祖國 Song Zuying - Sydney - So Many Songs Today in the Miao (Hmong) People's Land Dragon boat song
  31. The lion sleeps tonight
  32. Animaniacs - Countries of the world
  33. Grenadier guards - since 1660 - Guarding the Queen 1 5/5
  34. Aggie War Hymn mp3
  35. Fuld af jul - Emma og Ragnhild Jul i Valhal
  36. We beheld once again the stars Dante's Inferno
  37. And did those feet in ancient time Blake's Jerusalem 1:00 ; 2:10/2:44
  38. Theme from To Kill A Mockingbird
  39. Вставай страна огромная... Svyaschennaya Voyna
  40. Mormon tabernacle choir singing the Battle Hymn of the Republic
  41. my National Anthems playlist
  42. my uplifting videos playlist
  43. my UP Madz videos playlist
  44. my Culture videos playlist
  45. Latvian Song Festival: Manai dzimtenei Manai dzimtenei
  46. Brahms Requiem, 4 : How lovely is thy dwelling place Chicago Children's Choir; Wie lieblich sind deine Wohnungen
  47. Wo meine Sonne scheint
  48. Caterina Valente (1957), Wo meine Sonne scheint
  49. Come come ye saints 2:14/4:58 we'll find a place .. far away in the west

To see

edit
haskell
LkCa 15 b proto-planetary system formation, ala Kant

Remarks on the History section

edit

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)Reply


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)Reply
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. But then we have the issue of translating the solved result back into some other representation which some other field can apply. So transformation of the representation becomes the bottleneck; it is akin to the differences in cultures between societies, with turf and priority etc. But if we just ignore this problem what have we got? We have something like the invariants of physics, something which remains unchanged by the transformation from one representation to another. So then we have to state conditions, axioms, transformation rules, a whole calculus. This is doable. Next the problem is to somehow summarize these solved results so that they are not just islands of information, but are pregnant with meaning somehow. We have analogies with the specific interests of a society, or a community of researchers, or businesses, which have hot issues with which they are concerned. What we have found is that the specific point solutions which the published programs have solved can each be generalized into their shells, like Mycin etc. That is where we sit. We have this 1980s knowledge which embodies specific algorithms. We have the newer easier-to-use languages which go beyond the limitations of the specific languages. We have representations like HTML or XML which are tuned to the uses like Browsers or Web Services. We have robots which talk to satellites to win their autonomous vehicle road races.


== Mechanical operation == addiator Use the image at the right to follow the discussion.

Quantity is denoted by length. Positive numbers are represented in the upper tracks of the addiator. Negative numbers are represented in the lower tracks of the addiator. In the version shown, the two rightmost tracks can represent values to the right of the decimal point. Thus this version can represent quantities up to 9,999.99 .

The register, or accumulator displays its state in the series of holes in the center of the calculator. To clear the register to zero, pull upward on the bar at the top, which aligns the linear cogs to zero.

Addition takes downward motion of the stylus, whose point is inserted into the hole at each of the columns which correspond to the digit at the left or right of the decimal point. If carry is required, the track for the decimal column takes a turn into the next decimal column, which the stylus simply follows. (See the semicircular track at the top or bottom of each decimal column.)

Subtraction takes upward motion of the stylus. If borrow is required, the stylus simply follows the semicircular track in the decimal column.

  1. ^ Philmont Hymn by J.B. Westfall, 1947, camp song for Philmont Scout Ranch performed by US Air Force Academy chorale 1971