Jun 2007

Article: 'The Semantic Web: The Origins of Artificial Intelligence Redux'


A very interesting article from Harry Halpin, whose work lies at the borderline between history of science (of computer science especially, I gather) and (Semantic) Web. I think it should be a must-read for all SW practitioners, so to understand where we (yes - I'm part of them..) stand in relation to the past...

The article dates back to 2004, but the insights you'll find in it are (unfortunately) still valid today. For example, the problems the SW inherits from AI, but hardly recognizes as such in this newest community.

Here I will just outline them - do have a look at the paper for much more details:

  • The knowledge representation problem
  • The higher order problem
  • The abstraction problem
  • The frame problem
  • The symbol-grounding problem
  • The problem of trust

None of these has been solved yet - although apparently the ontologies in the SW are increasing in both number and size... how come? Of course, that's what the research is about, trying to solve unsolved problems, but what the heck, shouldn't we already be aware of their status as "VERY OLD PROBLEMS"?

In an ideal world, while you are polishing up your SW-paper, right next to the ACM category descriptor, you should also explicitly mention what problem you are tackling. *Mmmmmm too dangerous.. don't know how many papers would be classified as "novel" or "interesting", then... *

As Halpin says (quoting Santayana) "those who do not remember the past are condemned to repeat it". I agree. And I also agree on his conclusions:

Engineering or Epistemology? The Semantic Web may not be able to solve many of these problems. Many Semantic Web researchers pride themselves on being engineers as opposed to artificial intelligence researchers, logicians, or philosophers, and have been known to believe that many of these problems are engineering problems. While there may be suitable formalizations for time and ways of dealing with higher-order logic, the problems of knowledge representation and abstraction appear to be epistemological characteristics of the world that are ultimately resistant to any solution. It may be impossible to solve some of these problems satisfactorily, yet having awareness of these problems can only help the development of the Web.

Going back in time

In a related and *extremely* funny rant Drew McDermott, in a 1981 paper called Artificial intelligence meets natural stupidity, is certainly not aware of the forthcoming semantic web-wave of illusions, but certainly points out a few common mistakes we could recognize also nowadays... it's a relaxing reading , but very competent..

Here is the final "benediction", in which he describes the major methodological and substantive issues over which we have stumbled:

  1. The insistence of AI people that an action is a change of state of the world or a world model, and that thinking about actions amounts to stringing state changes together to accomplish a big state change. This seems to me not an oversimplification, but a false start. How many of your actions can be characterized as state changes, or are even performed to effect state changes? How many of a program's actions in problem solving? (Not the actions it strings together, but the actions it takes, like "trying short strings first", or "assuming the block is where it's supposed to be".)
  2. The notion that a semantic network is a network. In lucid moments, network hackers realize that lines drawn between nodes stand for pointers, that almost everything in an AI program is a pointer, end that any list structure could be drawn as a network, the choice of what to call node and what to call link being arbitrary. Their lucid moments are few.
  3. The notion that a semantic network is semantic.
  4. Any indulgence in the "procedural-declarative" controversy. Anyone who hasn't figured this "controversy" out yet should be considered to have missed his chance, and be banned from talking about it. Notice that at Carnegie-Mellon they haven't worried too much about this dispute, and haven't suffered at all.
  5. The idea that because you can see your way through a problem space, your program can: the "wishful control structure" problem.

How to make the Semantic Web more semantic

.......... I couldn't resist from adding also a reference (suggested by KMi's mate Laurian) to a paper by Peter Gardenfors written for FOIS2004, titled "How to make the Semantic Web more semantic" . He's proposing a novel and less-symbolic approach to knowledge representation, and the overall spirit of the paper matches the the quote from Santayana mentioned above.

The conclusion reads as follows:

It is slightly discomforting to read that the philosopher John Locke already in 1690 formulated the problem of describing the structure of our semantic knowledge in his Essay Concerning Human Understanding: men are far enough from having agreed on the precise number of simple ideas or qualities belonging to any sort of things, signified by its name. Nor is it a wonder; since it requires much time, pains, and skill, strict inquiry, and long examination to find out what, and how many, those simple ideas are, which are constantly and inseparably united in nature, and are always to be found together in the same subject. ([25], book III, chapter VI, 30) Even though our knowledge has advanced a bit since then, we still face the same problems in the construction of the Semantic Web.

Cite this blog post:


Michele Pasin. Article: 'The Semantic Web: The Origins of Artificial Intelligence Redux'. Blog post on www.michelepasin.org. Published on June 7, 2007.

Comments:


See also:

2017


paper  Fitting Personal Interpretation with the Semantic Web: lessons learned from Pliny

Digital Humanities Quarterly, Jan 2017. Volume 11 Number 1


2013


paper  Fitting Personal Interpretations with the Semantic Web

Digital Humanities 2013, University of Nebraska–Lincoln, Jul 2013.




2011



paper  Semantic Web Approaches in Digital History: an Introduction

Lecture slides from the Course on digital history, part of the master in Digital Humanities at King's College, London., Oct 2011.





2007


paper  AquaLog: An ontology-driven question answering system for organizational semantic intranets

Journal of Web Semantics, Sep 2007. Vol. 5, 2, (72-105), Elsevier



paper  PhiloSURFical: browse Wittgensteinʼs Tractatus with the Semantic Web

Wittgenstein and the Philosophy of Information - Proceedings of the 30th International Ludwig Wittgenstein Symposium, Kirchberg, Austria, Aug 2007. pp. 319-335



paper  Supporting Philosophers’ Work through the Semantic Web: Ontological Issues

Fifth International Workshop on Ontologies and Semantic Web for E-Learning (SWEL-07), held in conjunction with AIED-07, Marina Del Rey, California, USA, Jul 2007.




2006





paper  A Task Based Approach to Support Situating Learning for the Semantic Web

International Workshop on Applications of Semantic Web Technologies for E-Learning (SWEL-06), held in conjunction with Adaptive Hypermedia 2006, Dublin, Ireland, Jun 2006.



paper  Paving the way towards the e-humanities: a Semantic Web approach to support the learning of philosophy

Poster paper presented at the 3rd European Semantic Web Conference (ESWC-06), Budva, Montenegro, Jun 2006.


2005


paper  Semantic Learning Narratives

International Workshop on Applications of Semantic Web Technologies for E-Learning (SWEL-05), held in conjunction with KCAP-05, Banff, Canada, Oct 2005.



paper  AquaLog A Ontology-portable Question Answering interface for the Semantic Web

2nd European Semantic Web Conference (ESWC05), Heraklion, Crete, Greece, May 2005. pp. 546-562