Wednesday, October 19, 2011

Thanksgiving in Rio 2011

The first real meeting of the project is approaching. We're calling it "Logics and Ontologies for Portuguese" but this is a preliminary title only. The dates are 20-25th November, 2011 at FGV.

The plan consists of a minicourse of 5 days, 1:30 a day (morning? afternoon?), some other formal and informal discussions.

Dr Gerard de Melo is our main speaker, we intend to learn lots about YAGO and MENTA and his clever methods to extract information from open sources like Wikipedia.

I hope Dr Leonel de Alencar will come and talk about plans for a Brazilian Portuguese LFG-grammar.

I hope Dr Hermann Hausler might  talk about games for complexity bounds for intuitonistic description logic iALC.

I hope Dr Luiz Carlos Pereira will want to discuss geometric systems of proof.

I hope Suemi will talk about the Dictionary of Historic Persons and we will make progress on a plan for using ontologies to improve access to it.

I shall introduce people to SUMO and Sigma and then hopefully talk about "Natural Logic and Contexts for Quantification". I must improve this (from the Workshop in Stanford, April 2011) an awful lot, but I have some time.

Sunday, October 16, 2011

A Preliminary Meeting in Rio...

In October 2010 Valeria visited Alexandre in Rio and gave three talks, brainstorming with the audience ways of making progress on the idea of logical representations for (contents of) text in Portuguese, based on the experience of the NLTT group in PARC.

There are some slides, but  they just preliminary brainstorming thoughts. A slightly more coherent picture, albeit still very preliminary can be gotten from the note ``Bridges from Language to Logic: Concepts, Contexts and Ontologies", which appeared in ENTCS, 2010.

The note is a shortened version of a talk given at SRI AI Center, Menlo Park,  "A Bridge not too far", Thursday January 21, 2010.

Saturday, October 15, 2011

Some slides to begin with...

Here are two very short presentations on the project. The first before the project started, at PARGRAM -- Parallel Grammars (October 20100), at PARC in Palo Alto, CA.
The second just happened at Microsoft Silicon Valley Research Center in October 2011, still before the official first meeting of the project.
The official first meeting of the project should happen in Rio, next month at FGV (Fundacao Getulio Vargas), 20-25November 2011.
We have a bit more than a month to go, let us get this show going...

Logics and Ontologies?

This blog is an attempt at organizing our work on the projects with the FGV.
The authors are Valeria de Paiva ( and Alexandre Rademaker (
Our (funded) project is officially called `Textual Inference Logic', but this title is too restrictive.
We have too many ideas that we want to develop, so this blog is supposed to work as a sandbox for trying things out and as a memory aide, so that we don't forget some of our more ambitious plans.