Mostrando las entradas con la etiqueta doctorado. Mostrar todas las entradas
Mostrando las entradas con la etiqueta doctorado. Mostrar todas las entradas

viernes, diciembre 11, 2009

Saliendo del limbo

Esta semana por fin recibí mi certificado del doctorado, lo que hace esto oficial: soy doctor (Dr. rer. nat. para ser precisos).
Lo interesante del caso es que me libera de un limbo legal en que me encontraba.
Resulta que en Alemania es ilegal decir que eres doctor si no lo eres, pero aunque ya habia hecho y aprobado mi examen, como no tenía un paper que lo avalara, no podía decir que ya era doctor.
En general esto no es un problema, pero me pasaba con mis estudiantes que llegaban y preguntaban ¿eres doctor? Y no sabía que contestar. Ahora ya, simplemente, puedo decir: si.

lunes, julio 13, 2009

El mejor regalo

Antes que nada, muchas gracias a todos los que me felicitaron por mi hace no mucho acaecido cumpleaños (y a todos lo que lo hicieron antes/después de tiempo, también).
El mero día fue interesante, con mi llegada a Oslo, una cena de mariscos y una cerveza de 8 € con Jan, que también iba a presentar algo en AutoTab.
Pero el mejor regalo lo recibí inesperadamente de Stéphane Demri en su plática de AutoTab cuando de pronto, cuando describía lo que se puede hacer con Tableaux y con Automata, apareció una diapositiva diciendo

Pinpointing [Baader & Peñaloza 2008]

Increible. Aunque me dio pena sacar la camara y fotografiarlo, debi haberlo hecho para el recuerdo.
Pocos días después me confirmó su interés y me animó a continuar con el tema.
Veremos.

lunes, junio 15, 2009

Spammed by Fake Journals

I have been debating myself on whether I should publish this in this blog or not, but then I think it is a good idea to avoid people falling into some traps (although, honestly, I hope nobody actually takes such a blatant fake invitation seriously).

This morning I received an e-mail to my university address (bolds mine):


Dear Author

As a general chair of GESTS, I am happy to invite you for the acceptance of your paper to be published in the GESTS International Transactions.

The GESTS is a nonprofit academic society organized by voluntary members around the world since 2002. Every month, we publish the GESTS international transactions which are the regular paper journals on CSE and CSP, written by noble authors in more than 50 different countries.

This e-mail has been sent only to the authors who chose as a high quality paper that had been accepted as one of two parts of GESTS international transactions as follows:

[blah blah blah]

Important dates for publication of the GESTS international transactions are :
- an improved paper and copyright format by June 26, 2009,
( http://www.gests.org/gests-full.rtf )
- the acceptance notification within ten days receiving your paper,
- the registration format with fees by June 29, 2009,
- the publication of GESTS International journal by June 30, 2009,
- and delivery start from GESTS to authors by July 8, 2009.


If you have a new paper or an improved version to be issued in GESTS international transactions, please, send us the final camera-ready version by June 26, 2009. At least one author of each paper must be accomplished with the registration.

We are looking forward to see your contributions at GESTS.

Sincerely yours,

Dr. Bruce M. Bae, a general chair of GESTS,
http://www.gests.org/


Point of notice: first, they never mention any paper of mine (or at least some attempt to make it look as if I had actually contacted them for publishing my research). Second, the whole acceptance/publication process takes merely two weeks! and even better, I am supposed to pay for publication even better the acceptance notification has been received.
They claim to be non-profit, but publishing a paper costs 250 dollars, which seems like a good way to improve your CV if your research goes nowhere.

jueves, mayo 28, 2009

La mejor aceptación (hasta la fecha)

Hoy recibí el correo de aceptación de un artículo:


Dear Rafael,

It is my pleasure to inform you that your submission to XXX'09 has been accepted with the unanimous approval of the PC.

Aceptado por decisión unánime, sin siquiera comentarios sobre la calidad o posibles fallos en el. Aunque entiendo las razones de este caso (y por lo mismo, no digo el nombre del evento) es por demás curiosa la formula que usaron.
De todos modos, a celebrar el nuevo articulo!

miércoles, febrero 18, 2009

El nombre (no) es lo que cuenta

[NOTA: este texto carece de caracteres especiales debido a una mala configuracion de mi teclado]

Cuando estudiaba en el ITAM, en una de las clases de Estudios Generales, una vez la maestra pidio un voluntario "a ver, quien de aqui es matematico?". Yo, timidamente levante la mano, y me solto de sopleton su pregunta: "dime, hay orden en el caos?"
Pocas veces he podido contestar a preguntas de esa naturaleza con mayor sencillez y seguridad: "NO".
Mi respuesta causo un revuelo que yo no me esperaba, en el que todos intentaban hacerme ver que estaba equivocado. Mi argumento era muy sencillo: caos significa desorden. No hay orden en el desorden, no hay orden en el caos. Sin entrar a detalles sobre si mi argumento es convincente y correcto o no, el unico argumento que se me dio en contra, descrito de muchas formas distintas se reduce a lo siguiente:

existe una teoria del caos. Como para tener una teoria necesitas una estructura ordenada que estudiar, en el caos hay un orden.


Tomense un minuto para pensar por que esta mal este argumento, antes de que yo les de mi respuesta (si quieren un tip, lean el titulo de esta entrada).

Tomen por ejemplo este blog. En realidad, yo no lo llamo blog, porque ese nombre no me gusta en lo mas minimo. Yo prefiero llamarlo coche y a las entradas las llamo viajes. Entonces, esto que estas leyendo es un viaje en mi coche.
La pregunta es: al yo llamar coche a mi blog, se convierte este automaticamente en un coche? No, verdad? Esto no deja de ser un blog, no importa como decida llamarlo yo. El nombre no modifica la esencia del objeto.

Pues lo mismo pasa con la teoria del caos. Un buen dia un hombre comenzo a estudiar ciertos sistemas y su comportamiento al paso del tiempo. Debido a sus caracteristicas, con el paso del tiempo esta rama de la ciencia tomo el nombre de Teoria del Caos. Pero, esta realmente estudiando el caos? No. Es solo un nombre apantallante dado por una situacion historica y tal vez tambien por el afan de atraer gente. Nada mas. El caos no se estudia en la Teoria del Caos.

Y la ciencia esta plagada de ejemplos similares. Otro recuerdo de mi vida es cuando mi hermano me dijo por primera vez que existian unas cosas llamadas Algoritmos Geneticos, que basicamente consisten en tener programas que se cruzan y reproducen a fin de obtener mejores programas con el tiempo. Nadie me va a negar que suena impactante. Pero un algoritmo genetico no es mas que una busqueda aleatoria que, si se hace bien, converge al optimo casi seguramente (lo sorprendente es que muchos de los que trabajan con AG no entienden esto, y muchas veces aplican parametros que jamas van a converger, y eso que son los expertos en el area).
Lo mismo las redes neuronales; igual con la inteligencia artificial.

Pero estos nombres son muy importantes. De hecho son fundamentales como elemento publicitario para obtener financiamiento y muy probablemente nuevos adeptos. Piensenlo. Si uno llegara y dijera que trabaja en tetrahedralizaciones Hamiltonianas, o con cadenas de Markov y metodos de Montecarlo, el resto de la gente seguro pensaria que este ser hace algo muy raro y dificil de comprender, pero nada mas. En cambio, si se presentara diciendo que trabaja con redes neuronales, todo el mundo va a exclamar "ooooooorale, que chido!"
Hagan la prueba, yo la hice en una reunion mensual a la que asisti 4 veces. Las primeras tres dije que estaba haciendo mi doctorado en la Facultad de Informatica; muy poco interesante. La cuarta vez dije que trabajaba en el grupo de Sistemas Inteligentes. De inmediato muchos me empezaron a preguntar que hacia, como funcionaba, etc.

Asi es que, aunque el nombre no es lo que cuenta, en realidad lo que cuenta es el nombre.

miércoles, diciembre 17, 2008

La mejor frase

La mejor frase de ayer:


We are already almost post-docs, so we deserve to have double dinner

viernes, noviembre 28, 2008

Subvaluado

Ahora que estoy terminando el doctorado, tengo la oportunidad de decidir si mi título va a ser Dr. Ing. (Doctor en Ingeniería) o Dr. rer. nat. (Dr. rerum naturalium, o doctor en ciencias naturales). Yo, siendo matemático y dado que mi doctorado es teórico, he elegido el rer. nat. (aunque, como dice Franz, dado que es en computación, debería ser rerum artificialum).
El punto es que, al parecer, en Alemania un rer. nat. tiene menos peso que un Ing. La razón, según Franz, es que por lo general una tesis doctoral en matemáticas toma a lo más dos años, tiene 50 páginas y 5 referencias; para comparar, pocos computólogos terminan en menos de 3 años y las tesis tienen cuando menos 100 páginas, y más de ese número de referencias, lo que quiere decir que llevan más trabajo. Ojo, no quiere decir que las tesis de matemáticas tengan menos valor, o que los resultados sean más sencillos, simplemente que un doctorado en computación requiere más esfuerzo (físico).
Yo sigo firme en que quiero el rer. nat., pero estos comentarios me han llevado a la pregunta: ¿estamos subvaluados los matemáticos?

miércoles, octubre 01, 2008

A, B, C, D, ...

En la maestría tomé un curso llamado Autómata and Logic (AL) con el mismo profesor que después me enseñaría una generalización de la lógica AL que a su vez es una generalización de Boolean Logic (BL). Mi maestría, por cierto, se llamaba Computational Logic (CL).
Después aprendí que AL pertenece a una familia llamada Description Logics (DL), con la que empecé a trabajar; principalmente con otra lógica de esa familia llamada EL, que tiene muchas ventajas sobre otras lógicas poco expresivas como FL.
Ahora, me he adentrado un poco en lógica difusa, y usado los operadores de Gödel, en lo que algunos llaman Gödel Logic (GL) y he notado que muchos de mis resultados de complejidad sólo requieren la expresividad de HL, una sublógica de EL que asemeja a Horn Logic.
Algo en lo que no tengo mucho interés, aunque otros lo tienen, es en adentrarme en el mundo de Intuitionistic Logic (IL) u otros bichos semejantes.

miércoles, septiembre 24, 2008

Generalizando

Me voy a poner un poco técnico, pero es una historia que puede ser útil para algún otro investigador allá afuera; y si no le sirve a nadie, al menos es una anécdota interesante.
Tengo que explicar primero en qué he estado trabajando. En pocas palabras, supongan que tienen un complejo sistema de información de negocios, así como una serie de permisos que se le asignan a la gente que dicen qué información pueden ver. Como un ejemplo, un empleado no debe poder ver el salario de su jefe, pero sí su propio salario. Dualmente, el jefe debe poder ver su propio salario y el de su empleado.
Ahora, para simplificar la asignación de permisos, estos están estructurados, formando un órden de tal forma que alguien que tiene un permiso "arriba" de otro permiso, puede ver todo lo que autoriza el permiso inferior (y posiblemente, algunas cosas adicionales). Por supuesto, este órden no tiene por qué ser total en general. Como ejemplo, el jefe de desarrollo no tendría por qué estar arriba o abajo del jefe de ventas. En ese sentido, los permisos que ellos tienen son incomparables.
Básicamente, esta estructura de permisos forma una lattice. Si empezamos con eso, es muy simple demostrar que podemos diseñar algoritmos basados en reglas que digan qué cosas puede ver alguien y qué no. Una propiedad interesante de estos algoritmos es que dan el mismo resultado (correcto) independientemente del órden en que se apliquen las reglas.
La pregunta es, ¿podemos generalizar esto?
Bueno, pues empezamos a analizar y vemos que, debido a ciertas operaciones que necesitamos en nuestro algoritmo, lo mínimo que necesitamos es un semianillo. Listo. Ahora, nos gustaría tener la misma propiedad en que no importa el órden en que las reglas se apliquen, para eso necesitamos un semianillo distributivo. ¿Algo más? Parece que no. Empezamos a demostrar cosas y vemos que todo parece funcionar. Las demostraciones son un poco más complicadas, pero eso no es un impedimento para la veracidad de la teoría. Y seguimos demostrando.
Habiendo visto que todo parece funcionar, lo único que nos falta es definir un orden adecuado. Y aquí nos topamos con algo extraño y útil: ¡en todo seminaillo distributivo, el producto es idempotente! Esto es útil porque nos da una forma de definir el órden que queremos, es extraño porque los axiomas de semianillos, junto con la distributividad hacen que el producto y la adición se comporten más o menos de la misma forma. Y la pregunta obvia es ¿es la adición también idempotente?
Pues sí, lo es. Y esto significa que todo semianillo distributivo es de hecho una lattice. Y regresamos a donde empezamos.

jueves, septiembre 11, 2008

No estaba muerto


Sólo me fui a bailar al sur de Italia (aunque no a Puglia).

PD Un capítulo de mi tesis está listo.

domingo, agosto 24, 2008

Impresiones IJCAR 2008

Antes que nada, ¿qué es IJCAR? Es el "Congreso Internacional Conjunto en Razonamiento Automatizado" (o algo similar, por sus siglas en inglés). Básicamente, junta varios congresos en un sólo evento para promover un mayor intercambio de ideas.
En esta ocasión, a mí me funcionó pues mi tema es interesante para la gente de TABLEAUX (uno de los congresos participantes), pero mis métodos son ajenos a ellos (usé teoría de autómatas para obtener mis resultados). Este artículo nunca habría sido aceptado en TABLEAUX, pero fue suficiente para irme a Sydney a IJCAR.

Siendo honestos, el congreso no me aportó mucho en cuanto a mi tema de investigación se refiere. El ochenta porciento de la gente se dedica a proof theory y a las aplicaciones. Uno como yo enfocado a Lógicas Descriptivas de forma teórica no tenía mucho apoyo. De todas formas, hubo un par de detalles que llamaron mi atención.

Una parte interesante, y creo que digna de ser discutida, es el tema de dónde se publican los artículos del congreso. Hasta ahora se ha usado a Springer, pero varios se empiezan a mostrar reacios a continuar así. Andrei Voronkov es una de las voces más fuertes en este respecto. El problema para muchos es que quieren tener todos sus artículos disponibles en su página personal. Por ahora, Springer permite esto con mínimas restricciones, pero nadie sabe qué puede pasar en el futuro. Andrei simplemente dice que el negocio editorial está muerto y que en pocos años, cuando Springer venda los derechos de todos sus artículos a otra compañía, ésta podría poner todo su esfuerzo y poder en retirar los artículos no-oficiales. Personalmente, yo no creo que esto vaya a suceder.
Los que quieren seguir con Springer dicen que quieren tener el libro impreso y no sólo los datos electrónicos. A esto, Andrei responde que su sistema EasyChair va a ser capaz pronto de producir (y almacenar) el libro electrónico, y que se puede usar un método de auto-publicación para tener el libro impreso (por ejemplo, Lulu).
Yo veo un problema más grave con la auto-publicación. Mientras yo sé que IJCAR tiene un estándar bastante elevado a la hora de aceptar artículos, quien quiera que revise mi propuesta para recibir fondos para un nuevo proyecto no tiene por qué saber eso. Springer tiene ya cierto nivel de calidad establecido y publica con un número ISSN (como un journal); ninguna de estas cosas las tiene la auto-publicación. Así, podría ser rechazado por alguien que no puede comparar la calidad de mi investigación.

Regresando a IJCAR, ir a este congreso me sirvió para confirmar que muy pocos están interesados en mi tema. Aunque hubo al menos dos personas que mencionaron querer usar pinpointing en su investigación, y una más que lo usa de forma un tanto oculta (y bastante creativa, debo admitir), no veo que esto suceda en el mediano plazo. Debo aprender a vender mejor lo que hago, que apenas fue mencionado durante la semana que duró el evento.

Una semana, por cierto, es bastante - tal vez demasiado. Al terminar el viernes estaba exhausto, y como bebé me fui a dormir pocas horas después de la puesta del sol (allá era invierno, así que obscurecía como a las 19:30).

¿Iría al siguiente IJCAR? Por supuesto. Pero iría con una mentalidad muy distinta a la que llevaba ahora, con una idea más clara de a qué voy y, con suerte, con un sistema aplicando mis ideas, si es que logro convencer a algún estudiante de ponerse a trabajar en eso.

lunes, agosto 11, 2008

And Microsoft Research...

Maybe I shouldn't be surprised, but I cannot believe that the Microsoft Research guys come all the way to IJCAR only to speak about MS products. No research, no techniques, nothing! Simply describing the names of their products and giving a small (and faulty) demo, without any meat in it.
Oh, well.

viernes, agosto 01, 2008

¡No! (o ¿si?)

Trabajando en una aplicación para mis transformaciones entre programas, acabo de encontrar una nueva definición mucho más sencilla y que al parecer se comporta mucho mejor que la transformación original.
Esto significa, por el lado malo, que todo un capítulo de mi tesis se iría por el desagüe, pues ya no sería necesario. Por el lado bueno, puede ser más fácil convencer a la gente de la importancia del método, dada su mayor simplicidad y su mejor comportamiento. Como ejemplo, para el método original era indecidible si terminaba o no; esta nueva transformación termina siempre, dadas unas condiciones limitadas.
Ahora a dedicar el viernes a revisar definiciones y pruebas y decidir qué hacer con esto.

viernes, julio 04, 2008

Caido

Citeseer lleva al menos dos dias caido y no tengo acceso a los articulos que tienen indexados. Me estoy volviendo loco.

jueves, julio 03, 2008

Autopublicación - resultados falsos

Todos los que hemos trabajado para la academia sabemos que los métodos para aceptar algo para ser publicado distan de ser perfectos. En algunos casos son demasiado estrictos, y dejan fuera cosas que podrían tener gran relevancia; en otros son demasiado laxos y aceptan cosas sin fundamento. Si este segundo punto se lleva al extremo, llegamos a la auto-publicación: si quiero, lo publico, sin ninguna revisión o corrección de por medio.
Sin querer hablar en contra de los beneficios que eso puede traer, quiero hablar de los problemas que eso conlleva, en particular en campos muy especializados y donde aquellos que no son expertos en el tema pueden ser engañados.
Hoy me desperté con la noticia en Microsiervos: Demostrada la Hipótesis de Riemann. Mi primera reacción fue ¿Qué es esto? ¡Estoy viviendo un momento histórico!
Pero analizando más abajo noto que el artículo al que hacen referencia está publicado en arXiv.org, una página donde uno puede publicar lo que quiera; o sea, prácticamente como un blog que cualquiera puede editar.
Tengo que admitir que no leí el artículo en detalle, y es probable que la demostración que ponen ahí sea correcta, pero en verdad lo dudo mucho.
El artículo tiene varias fórmulas matemáticas y definiciones correctas, que pueden fácilmente engañar a alguien que no sea docto en el tema, pero el hecho de que no ha sido revisado por otros expertos para su aceptación para publicación es lo que me hace dudar mucho.
Para poner un ejemplo sencillo, en mis poco más de dos años de doctorado, yo he demostrado en cuatro ocasiones distintas que P=NP o resultados similares (PSpace=ExpTime, etc). Mis demostraciones eran bastante sólidas: se basaban en varios resultados que han sido ampliamente verificados y todo se veía adecuado; ¿en dónde fallaban? Simplemente un pequeño supuesto en algún teorema que no era satisfecho por el algoritmo que daba, o algún otro detalle así de pequeño.
Lo mismo le sucedió hace años a mi asesor, en que un abuso de notación le hizo creer que la Jerarquía Polinomial se colapsaba.
Sinceramente, aunque he visto que la noticia está generando algo de expectación, esto me suena a cuando anuncian que tienen una computadora cuántica funcionando, o que alguien ha violado las leyes de la termodinámica.

viernes, mayo 30, 2008

Así es

Antes de irme a Milán, sólo quería mencionar que así es esto de la investigación (especialmente la teórica).
¡Nos vemos el lunes!

viernes, mayo 23, 2008

Australia

Por fin seré el primero en mi familia en visitar un continente. Mi hermana mayor fue la primera en visitar Asia y Europa, mi otra hermana, la primera en visitar África, pero ahora seré yo el primero en visitar Australia, cuando me vaya a disfrutar del clima invernal de mediados de agosto para IJCAR 2008.
Por supuesto, eso significa ahora que tengo que aplicar a las becas de estudiantes, obtener todo el jugo de mi dinero para viajes y viajar a Berlin por una visa. Pero creo que valdrá la pena.

lunes, mayo 19, 2008

Consejos para dar una plática

Una de mis metas durante DL 08 la semana pasada era encontrar formas de mejorar mis presentaciones. Para eso, analicé continuamente las distintas pláticas, las buenas y las malas, intentando encontrar patrones que me ayudaran. Ahora les paso algunas de las ideas que encontré adecuadas. La mayoría de ellas parecen obvias, pero es increíble cuánta gente hay que no las sigue, provocando el consiguiente aburrimiento y falta de comprensión de los que los intentan escuchar.
- Mantén tus diapositivas limpias. Una plática es muy distinta a un artículo. En el artículo debes definir claramente toda la notación que usas y especificar cada fórmula y demás. En una plática puedes explicar tu notación mientras hablas, sin necesidad de llenar la pantalla de símbolos que nadie puede mantener en memoria tan fácilmente. Lo mismo aplica a grandes series de texto que aparecen ahí. La gente hace una de dos cosas: o te escucha, o lee, pero muy pocos pueden hacer ambos a la vez. No distraigas con textos irrelevantes o confusos.
- Evita diapositivas irrelevantes. Un poco relacionado con el punto anterior pero en otro sentido. Muchas personas tienen diapositivas en medio de sus pláticas que se saltan al momento de la presentación. Si no piensas hablar al respecto, simplemente no pongas tal elemento, lo único que produce es una fractura en el ritmo de la plática y una sensación de que nos estamos perdiendo de algo.
- Toma en cuenta tu tiempo. Si te dicen que tienes 20 minutos para tu plática, planea adecuadamente para 20 minutos. Hay varias cosas muy obvias. Claramente, tener 40 diapositivas es demasiado para tal límite de tiempo; revisa entonces qué puedes reducir o eliminar. También nota que en general, los mayores resultados se presentan al final, siendo el principio una introducción a ellos. Si gastas todo tu tiempo en la introducción, no podrás sorprender a tu audiencia con las partes relevantes a las que querías llegar.
- Usa ejemplos e imágenes. No todo tiene que estar totalmente definido. Para eso está el artículo publicado. En la plática tienes que asegurarte de que los que escuchan entiendan tu tema, para lo que comúnmente es mucho mejor usar ejemplos, y los ejemplos se nutren con imágenes relevantes.
- Nunca digas nunca. Uno de los mayores errores que vi es el de la gente que dice que usa un método porque "es imposible hacerlo de otra forma", o que cierta característica "es imposible de obtener". En casi todos los casos, estaban equivocados.
- Apaga el WiFi. O al menos cierra Skype, Messenger y demás sistemas de mensajería instantánea. Nada mejor que ver aparecer en pantalla lo que dice alguno de los amigos del conferencista, o contemplar cada cinco minutos que "Juan ha iniciado sesión".
- Mejora tu dicción. Esto aplica claramente a mi caso. No importa cuán interesante sea lo que estás diciendo ni qué bien esté diseñada tu plática si la gente no puede entender lo que dices. Buena dicción, volumen adecuado y velocidad normal de habla son muy importantes.

Por supuesto, hay muchos más consejos que se pueden dar, especialmente si se conoce la audiencia que se va a tener. Estos son sólo algunos de los más generales.
¿Alguien tiene más consejos?

viernes, marzo 14, 2008

Incertidumbre y reglas universales

En la vida diaria, muchas veces utilizamos como universales algunas reglas que no necesariamente lo son. De allí surge una incertidumbre sobre nuestras deducciones. Esta incertidumbre puede ser de dos tipos: puede ser que estemos usando una regla que sabemos que no es universal (de la que conocemos excepciones), o simplemente es posible que no estemos seguros que la regla que usamos es correcta.
Por ejemplo, podemos tomar las dos siguientes reglas:
(i) todas las aves vuelan;
(ii) todo número par mayor a 2 puede escribirse como la suma de dos números primos.
Si yo sé que Kiwi es un ave, entonces puedo decir que vuela [regla (i)], pero eso me trae cierta incertidumbre, pues que hay aves que no vuelan (como las gallinas, o los pingüinos).
Por el otro lado, si me dan un número par, digamos 2^543, aplicando la regla (ii) puedo decir que se puede escribir como la suma de dos números primos (cuáles, no sé). Aquí tenemos una incertidumbre que viene del hecho de que no estamos seguros de que la regla es cierta en general [esta regla es la conocida como Conjetura de Goldbach].
Pero debemos notar que los dos tipos de incertidumbre son distintos. En el primer caso, sabemos que hay casos que violan la regla, aunque la regla funciona lo "suficientemente bien" para la vida diaria; en el segundo caso, simplemente no confiamos plenamente en la regla.
Curiosamente, si leemos la literatura sobre manejo de incertidumbre, ningún artículo (con una incertidumbre del tipo (i)) trata estas incertidumbres de forma separada. Algunos utilizan el primer tipo, y otros utilizan el segundo tipo, pero no dan ninguna solución que pueda usarse cuando tenemos ambos en nuestro conocimiento, que es lo habitual.
Ese es mi nuevo proyecto. Tratar ambos simultáneamente. Lo más extraño es que está resultando bastante fácil e intuitivo, lo que me hace preguntarme por qué nadie lo ha hecho antes; en fin, tanto mejor para mí.

miércoles, febrero 27, 2008

Conflicto de notaciones

Después de un intercambio de correos en que no nos entendíamos, y una vez que fue claro que hablábamos de lo mismo pero con distintas palabras, por fin Franz me mandó un correo esta mañana:

I think we have a clash of notation here (should first have written an
ontology ;-)

Por eso me encanta mi trabajo.