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:  2010-01-21 at 16:00

Location:  AE201 (SRI A building)  (Directions)

   Abstract

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 in order to sign in and be escorted to the conference room. SRI is located at 333 Ravenswood Avenue in Menlo Park. Visitors may park in the visitors lot in front of Building E, and should follow the instructions by the lobby phone to be escorted to the meeting room. Detailed directions to SRI, as well as maps, are available from the Visiting AIC web page.

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