Erousa 57

+

DFL - Un híbrido de Integración Las descripciones y reglas, usando F-Lógica como una semántica subyacente Los datos proporcionados son sólo para fines informativos. Aunque han sido recopilados con cuidado, no se puede garantizar la precisión. El factor de impacto representa una estimación aproximada del factor de impacto de la revista y no refleja el factor de impacto de corriente real. Editor condiciones son proporcionados por Romeo. Disposiciones diferentes de acuerdo de política o licencia real del editor puede ser aplicable. Disponible a partir de: Ulrich Fürbach "Además, se ha reconocido ampliamente que la adición a la lengua terminológica de DL un esquema de representación del conocimiento complementario basado en reglas (como se usa en programas lógicos) mejoraría en gran medida la expresividad. Este tema se trata en la actualidad, en particular en el contexto de la Web Semántica, pero sin realmente solución convincente se ha encontrado hasta la fecha [6, 16, 17]. de acuerdo con la acaba de decir, nuestra atención se centra en el desarrollo de un lenguaje y un sistema que combina un lenguaje terminológica con una regla como lenguaje y las características nonmonotonic ". Artículo: KRHyper Dentro - Deducción Basado en Modelo Aplicaciones [Mostrar resumen] [Hide abstract] RESUMEN: Tres aplicaciones del mundo real se representan todos los cuales tienen en común, que su componente principal es una primera cámara de fermentación para teorema completo, basado en el cálculo cuadro hiper. Estas aplicaciones se refieren a la recuperación de información en la publicación electrónica, la integración de las lógicas descriptivas con otras técnicas de representación del conocimiento y el procesamiento de consultas XML. Texto completo Artículo: Primer Taller sobre los retos y las nuevas aplicaciones para Automatizar el Razonamiento [Mostrar resumen] [Hide abstract] RESUMEN: El objetivo del taller fue identificar los desafíos para el razonamiento automatizado que disparará tanto la imaginación de los nuevos investigadores y los de larga data en el campo. El taller abarcó dos tipos distintos de desafío: Grandes desafíos proponen proyectos de inspiración que podrían tomar los esfuerzos de muchos investigadores durante una década o más para lograr; Las aplicaciones novedosas describen, en detalle, las nuevas y relativamente sin explorar áreas en las que el razonamiento automatizado se puede emplear en este momento. Grandes desafíos han sido recientemente el foco de una iniciativa de la Comisión de Investigación del Reino Unido Computing, cuyos criterios se dan publicada después de este prefacio. Ejemplos de Grandes Desafíos de la informática incluyen: demostrar si P = NP (abierta), para desarrollar un programa de ajedrez de clase mundial (completado, 1990), o para traducir automáticamente ruso al Inglés (falló, 1960). Una amplia gama de desafíos en este taller. Varios sugieren un cambio de énfasis en las tareas realizadas por los razonadores automatizados. Sutcliffe, Gao y Colton sugieren el desarrollo de sistemas que descubren y prueban nuevo y Vista previa de Ene de 2003