Programación Lógica y Recuperación de Información

Siguiendo con la práctica introducida meses atrás en este sitio, a continuación reseño una serie artículos, anotaciones, y enlaces diversos, recopilados en las últimas semanas (los entrecomillados son citas textuales tomadas de los sitios referenciados):

Artículos, introducciones, anotaciones de "blogs":

• Searching for Logic (en Logic and Language). Esta anotación versa sobre la aplicación de las leyes de la lógica al ámbito de las búsquedas en los catálogos de bibliotecas.
• Algunas Experiencias en la Utilización de Sistemas de EAC para la Enseñanza de la Inteligencia Artificial (PDF; M. Lezcano, V. Giraldo Valdés; en Divulgaciones Matemáticas, vol. 6 nº. 2, 1998). EAC = Enseñanza Asistida por Computadora (en inglés CAI, Computer Aided Instruction, o bien Computer-assisted Instruction).
• Practical Common Lisp (acerca del libro de Peter Seibel; en Slashdot).
• Lingüística y ciencia ficción (por Xavier Riesco Riquelme, en El archivo de Nessus). "El único género literario que se ha ocupado de la lingüística como tal de forma constante, al menos en los últimos años, es que se sepa, el conocido como ciencia ficción. No sólo desde el punto de vista temático de una novela, sino también desde el punto de vista de la crítica literaria y el ensayo. Normalmente muchos libros del género contienen elementos lingüísticos como subsidiarios a la idea central. [...]".
• An AI tool for the real world - Knowledge modeling with Protégé (H. Knublauch; en JavaWorld, junio 2003): "While artificial intelligence (AI) is often regarded as an exotic academic playground, its tools and techniques have matured to contribute to real-world software technology as well. This article introduces Protégé, arguably the most successful open source knowledge-modeling platform. Using Protégé, developers and domain experts can build conceptual models and knowledge bases and access them via an easy-to-use Java API. The resulting models can implement decision-support systems, capture software requirements, populate databases, generate Java classes and UML diagrams, share and reuse domain models, and access the Semantic Web.".
• Falacias y errores de lógica. "[...] Hay una cierta cantidad de errores que uno debe evitar al construir argumentos deductivos. Algunos son errores formales de lógica [...] otros representan errores de concepto o actitudes inaceptables. Se conocen como falacias; de un argumento que resulta invalidado por una falacia se dice que es "falaz". [...]".
• Estructuras de Datos y Algoritmos en Java (J. Friesen, traducido por J. A. Palos; en Java en castellano).
• Una introducción a los Sistemas Expertos (en Vida Artificial). Este artículo incluye una descripción de SIE (Simple Inference Engine), motor de inferencia que permite desarrollar pequeños sistemas expertos, utilizando el lenguaje XML para almacenar la base de conocimientos.
• Primer on vagueness (S. Shapiro; vía LogBlog): "[...] primer on the philosophical and logical issues concerning vagueness. [...]".
• Entropía y cantidad de información: [1] [2] [3] [4] ("[...] Nuestro propósito es definir dos conceptos relativos a las variables aleatorias: cantidad de información y entropía. [...]"; en Tio Petros).

Páginas y sitios web:

• blogic, an interactive introduction to logic (J. David Velleman). "[...] blogic is an interactive web-based textbook in introductory logic. The textbook includes interactive exercises that automatically correct the student's work. [...]".
• Thea: A Web Ontology Language - OWL Parser for [SWI] Prolog: "Thea is a Prolog implementation of an OWL parser. [...] uses SWI-Prolog?s Semantic Web library for parsing RDF/XML serialisations of OWL documents into RDF triples and then it builds a representation of the OWL ontology as it is defined in the OWL Web Ontology Language Semantics and Abstract Syntax part of the OWL specification. The OWL ontology abstract syntax is implemented as Prolog terms."
• ACM Transactions on Computational Logic (TOCL). El texto completo de los artículos publicados en los volúmenes aparecidos hasta el momento (1, 2, 3, 4, 5, y 6; años 2000-2005), pueden localizarse, en formato PostScript, en el apartado Accepted Papers.
• Mathematics and Computation. Como expresa el título, una bitácora en inglés dedicada a esos temas.
• LaTeX for Logicians ("A guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and in particular wanting to include logical matter such as natural deduction proofs.").
• Mindswap ("The Semantic Web Research Group is a group of people working with Semantic Web technology inside the MIND LAB at University of Maryland Institute for Advanced Computer Studies").
• consequently.org (Sitio personal de Greg Restall, Departamento de Filosofía, Universidad de Melbourne).
• Computational Truth ("[...] Peter Gerdes's blog about philosophy and the occasional bit of mathematical logic. [...]").

Conferencias, congresos:

• Progic 2005 ("Second workshop on Combining Probability and Logic: Special focus on Objective Bayesianism"; Centre for Philosophy of Natural and Social Science, London School of Economics, 6-8 julio 2005).
• Library-Centric Software Design LCSD'05 (Taller de trabajo que se celebrará en el marco de la conferencia Object-Oriented Programming, Systems, Languages and Applications OOPSLA'05, San Diego, California, 16-20 de octubre 2005): "Libraries are central to all major scientific, engineering, and business areas, yet the design, implementation, and use of libraries are underdeveloped arts. This workshop is one of the first steps in the process of placing all aspects of libraries on a sound technical and scientific basis through research into fundamental issues and documentation of best practices. [...]"

A propósito de uno de los sitios referenciados (Mathematics and Computation), quiero hacer notar el sencillo sistema implementado en él para dotar a los textos de contenido y simbología matemática, haciendo para ello uso de un script de JavaScript denominado ASCIIMathML, del que hablaré más adelante.

[0] comentarios | # | lista |