Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

AIC Seminar Series

A "Bridge" not too far

Valeria de PaivaCuil, Inc.[Home Page]

Notice:  Hosted by David Israel – note this is not the usual location

Date:  Thursday, January 21st 2010 at 4:00pm

Location:  AE201 (SRI A building)  (Directions)


For many years (from 2000 to May 2008) I worked with PARC’s natural language processing group on technologies for (automatically) creating logical forms out of natural language sentences. This lofty goal was somewhat mocked and derided by friends both in logic and in computer science. Logicians supported by the view that natural language is too complicated for logic, computer scientists convinced that all virtue lies with statistics and logic has no part in it.

I believe both sets of friends are wrong and that the project, which is the Holy Grail of several other groups of researchers, is very much alive and up for grabs. That judiciously picking of competing alternatives (in the vast space of possibilities) is a first step and that Open Source software is the right way of doing it. In this talk I would like to summarize what I learned, what I think would work best and I want to try to sketch how one could go about it. Also I would like to get at least some conclusions of what has been achieved and what small projects one could easily do to put in place a few more pieces of the big puzzle.

   Bio for Valeria de Paiva

Valeria de Paiva is a is a mathematician and computer scientist based in Cupertino, CA. She works as a search analyst for Cuil, Inc. in Menlo Park, CA. She was (until 2nd May 2008) a research scientist at the Intelligent Systems Laboratory of PARC (Palo Alto Research Center), California. She received her PhD in Mathematics from Cambridge University in 1988 for work on "Dialectica Categories", under Martin Hyland’s supervision, and has ever since worked on logical approaches to computation, especially using Category Theory. She’s also an Honorary Research Fellow at the School of Computer Science, University of Birmingham, UK.

   Note for Visitors to SRI

Please arrive at least 10 minutes early as you will need to sign in by following instructions by the lobby phone at Building E. (or call Wilma Lenz at 650 859 4904, or Vicenta at Lopez at 650 859 5750). SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the parking lots off Fourth Street. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page. There are two entrances to SRI International located on Ravenswood Ave. Please check the Builing E entrance signage.

SRI International
©2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy