Thursday, June 19, 2014

The pleasure of open source tools



Joel showed me this great website

http://lextutor.ca/tuples/eng/
It is quite incredible what it can do in terms of calculating bi-grams, 3-grams etc for you.

I also was told by my friend Hema about the voices in the NeoSpeech Lab

NeoSpeech Text-to-Speech voices | Interactive TTS Demo | TTS SDK

Besides being amazingly realistic they can be used as a proof reading tool for your paper,
if you have the patience to paste it into their  sample box, paragraph by paragraph...

There is also the XLE  online that the Norwegians made available here INESS :: XLE-Web.

But my favourites are  the OpenMultiLingual WordNet Multilingual Wordnet 1.0

and the Portuguese corpus Corpus do Português. Go NEH (National Endowment for the Humanities)!

Monday, June 2, 2014

Chocolate Boxes



Looking  at noun-noun compounds in the representation language associated to TIL (Textual Inference Logic, described in Contexts for Quantification)  and trying to decide which modifications one should make to the Abstract Knowledge Representation(AKR) treatment, if any.



1. AKR takes the view that given a noun-noun compound (like 'chocolate box') there is a relation between the two nouns, which we don't know what it is, (only using language), so we leave it unspecified.

2. So  whether we want to talk about :
{a Brad Pitt movie}
{a Tarantino movie}
{a James Bond movie}
{a tv program}
{a tv show}
{a birth certificate}
{a chocolate box}

We want to say that the representation of the noun-noun compound should be something like:
role(nn_element, HEAD, MOD)
instantiable(HEAD, cxt)
instantiable(MOD, cxt)
where MOD is the modifier noun.

3. Certain noun-noun compounds are lexicalized by WordNet such as {birth_certificate} or {tv_show}, so they correspond to a single concept as far as WordNet is concerned.
Clearly the line between noun-noun compounds that should be lexicalized in any generic ontology and the ones that should not is a very fluid one. Many people complain that WordNet does not have all the nn-compounds it should and the literature on nn-compounds (but more generally in multi-word expressions) is huge.

4. AKR embraces ambiguity, so it says that sometimes a lexicalization is a good idea and sometimes it isn't. ( the chocolate box above is not merely a box containing chocolates, it is also a box made of chocolate...) Hence AKR produces two solutions for compounds that are lexicalized like {a birth certificate}

a birth certificate
% Choices:
[choice([A1,A2], 1)
Conceptual Structure:
      role(cardinality_restriction,certificate-5,sg)
      role(nn_element,certificate-5,birth-4)
      subconcept(birth-4,[bear#v#1,...,have_a_bun_in_the_oven#v#1])
A1:
      subconcept(certificate-5,[birth_certificate#n#1])
A2:
      subconcept(certificate-5,[certificate#n#1,security#n#4])
Contextual Structure:
      context(t)
      instantiable(bear-4,t)
      instantiable(certificate-5,t)
      top_context(t)


The representation  above has two solutions: we have one concept in the solution that says that {birth_certificate} is a single entity,  and two concepts in the more generic interpretation of birth certificate that says that there is a noun "birth" and a noun "certificate" and we don't know what exactly is the relationship between the two.

5.  It's clear that if I say  {a Tarantino movie} I want to have two concepts, one concept for `Tarantino' which someone else should be able to say is a movie director and two, a movie that  hopefully is vaguely associated with Tarantino. and again hopefully someone else will  decide which one is the relationship between the two concepts.

When nn-compounds are lexicalized (like birth-certificate or tv-show) then maybe there is only a single concept, but it seems that there should be a range, some expressions really a single concept, others very weak relation between the nouns and others between the extremes.

6. This is   more complicated for "media genres", as sometimes one of the nouns stands in for the compound: thus {a documentary movie} maybe  should be equivalent to {a documentary}, and if documentary is a genre that applies to other media (e.g. a radio documentary), how should the mapping be that makes documentary the same as documentary movie, but independent enough to produce a sensible mapping for {radio documentary}?

 It seems to me that, in principle the semantic mapping should produce for  any nn-compound a pair of concepts: the concepts associated to the  HEAD noun,  and MOD(ifier) noun and an {underspecified relation between these} concepts, that gets resolved. Either:

A. It  transforms the two concepts into a single one (if the concept is lexicalized), e.g  {a tv show} should produce simply the ontological concept  TVShow and not an ambiguity between the generic relation  between nouns
(role(nn_element,show-7,TV-4)) and the lexicalized concept
(subconcept(show-7,[television_program#n#1]))

B. Or it produces the right relationship in the ontology between the concepts  if such exists

C. Or it produces a clear relation (Rel X) between the conepts, so that we know that we need to try to find out what this relation is.

This is to be contrasted to a noun phrase like an adjective-noun compound such a {a French actress} or {a hungry boy} that should always produce only one concept (the one for the HEAD noun) while the concept for the modifier, well, it just modifies the head.

Thus  the mapping to the ontology for a phrase like {a French actress} should always go to a concept
for actress, suitably modified by whatever meaning we think the adjective brings in.

Saturday, May 24, 2014

The Perils of Propaganda

The pictures don't do justice to Boulder's Flatirons. They're extremely impressive "live".

My Invited talk at  the North-American Meeting of the Association for Symbolic Logic in Boulder, CO wasn't recorded (no talks were recorded, mathematicians are usually low-tech).


So the propaganda will look even more 'jarring', perhaps in the slides.

But since I did work very hard, trying to convey what I think young logicians ought to know about mathematics in the 20th century, here (Edwardian Proofs as Futuristic Programs for Personal Assistants, Boulder, CO)  are the slides, warts and all.

Monday, April 21, 2014

Implicative Lexicon? Yes!

Gerard de Melo and I had a paper/poster in CICLing 2014, in Kathmandu, called 
 
This is about coding up some easy inferences in the lexicon, as in: if you say `Comcast admitted that the bill was incorrect', you necessarily commit yourself to the fact that `The bill was incorrect'.

Glad to see that some of the work is converging...

Wednesday, April 16, 2014

Tasks of Proof Theory?


According to Buss in the Handbook of Proof Theory, the principal tasks of Proof Theory can be summarized as follows.
  • First, to formulate systems of logic and sets of axioms which are appropriate for formalizing mathematical proofs and to characterize what results of mathematics follow from certain axioms; or, in other words, to investigate the proof-theoretic strength of particular formal systems. 
  •  Second, to study the structure of formal proofs; for instance, to find normal forms for proofs and to establish syntactic facts about proofs. This is the study of proofs as objects of independent interest. 
  • Third, to study what kind of additional information can be extracted from proofs beyond the truth of the theorem being proved. In certain cases, proofs may contain computational or constructive information. 
  • Fourth, to study how best to construct formal proofs; e.g., what kinds of proofs can be efficiently generated by computers?
    Isn't this too restrictive? 


Thursday, March 27, 2014

Lead and Crime

(I have been looking for pictures of contradictions, so here is a nice one, as it's very ordinary.)

I've read this amazing article by Kevin Drum on how

America's Real Criminal Element

was lead a while back and this outlandish hypothesis has stayed with me ever since. It is surprising, the math appears solid, Drum seems to have done his homework properly.

Since a friend of a friend was discussing crime in Facebook, I pointed him to the article. He produced two skeptical links on the same subject. One by a blogger in the Discovery Magazine site and the other some off the cuff comments by Pinker. While the skeptical arguments are sensible, I think they're besides the point. As I said to Alberto, what I find most fascinating about the article is not exactly the correlation between lead levels and crime, but the following description from Drum:

Experts often suggest that crime resembles an epidemic. But what kind? Karl Smith, a professor of public economics and government at the University of North Carolina-Chapel Hill, has a good rule of thumb for categorizing epidemics: If it spreads along lines of communication, he says, the cause is information. Think Bieber Fever. If it travels along major transportation routes, the cause is microbial. Think influenza. If it spreads out like a fan, the cause is an insect. Think malaria. But if it's everywhere, all at once—as both the rise of crime in the '60s and '70s and the fall of crime in the '90s seemed to be—the cause is a molecule.

A molecule? That sounds crazy. What molecule could be responsible for a steep and sudden decline in violent crime?


Whether the molecule of lead is really responsible or not for crime rates is much less important than whether the spread of stuff can be classified as Smith does above. It even makes feel like getting to grips with the probability theory necessary to have an educated opinion. oh well, another thing for the to-do pile. 

Thursday, March 6, 2014

Wow! the book is out!

Just got email from Christi, the nice Springer person, saying the book is OUT!!!

The link for the book

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work (Series Trends in Logic, Vol. 39, Edited by Pereira, Luiz Carlos, Haeusler, Edward Hermann, de Paiva, Valeria) is functional.
The price is absurd, as usual and regrettable.
But at least our small  tribute to the great logician and philosopher Dag Prawitz is on print.