Lenguaje para implementar sistemas expertos con modelos algebraicos = A natural language for implementing algebraically expert systems

Maestre Martínez, Roberto (2010). Lenguaje para implementar sistemas expertos con modelos algebraicos = A natural language for implementing algebraically expert systems. Proyecto Fin de Carrera / Trabajo Fin de Grado, E.U. de Informática (UPM).

Description

Title: Lenguaje para implementar sistemas expertos con modelos algebraicos = A natural language for implementing algebraically expert systems
Author/s:
  • Maestre Martínez, Roberto
Contributor/s:
  • Hernando Esteban, Antonio
Item Type: Final Project
Date: December 2010
Subjects:
Freetext Keywords: expert system, ia, gröbner basis, normal form, logic, algebra
Faculty: E.U. de Informática (UPM)
Department: Sistemas Inteligentes Aplicados [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of PFC_ROBERTO_MAESTRE_MARTINEZ.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (680kB) | Preview

Abstract

De acuerdo con resultados matemáticos previos, se puede implementar sistemas expertos de una manera sencilla y rápida usando software matemático especializado (los sistemas de algebra computacional). Estos resultados matemáticos proporcionan dos aproximaciones algebraicas equivalentes aunque diferentes: una de ellas está basada en lógica proposicional Booleana, la otra está basada en el paradigma de representación ’Concepto-Atributo-Valor’. Ambas aproximaciones son equivalentes en el sentido de que cualquier sistema experto implementado en una aproximación algebraica puede ser implementado también en la otra aproximación algebraica. No obstante, la ejecución de ambas aproximaciones algebraicas depende del sistema experto específico y por ello, la aproximación algebraica más adecuada sólo puede ser determinada si se implementa el sistema experto en ambas aproximaciones con el fin de poder comparar su eficiencia. En este proyecto final de carrera se ha diseñado un lenguaje natural de implementación algebraica de sistemas experto que proporciona las siguientes ventajas: se puede implementar directamente cualquier sistema experto en cualquiera de las dos aproximaciones algebraicas ya que nuestro lenguaje es independiente de la aproximación algebraica; se puede usar cualquier sistema de algebra computacional puesto que nuestro lenguaje es independiente del sistema algebraico usado; y no es necesario estar familiarizado con conceptos abstractos como las bases de Gröbner o las formas normales ya que nuestro lenguaje no utiliza esos conceptos. According to previous mathematical results, expert systems can be quickly and easily implemented on specialized mathematical software (Computer Algebra Systems). These mathematical results provide two equivalent different approaches to implement algebraically expert systems: one based on propositional Boolean logic and another based on the ‘conceptattribute-value’ representation paradigm. Both approaches are equivalent in the sense that every expert system implemented through one algebraic approach can be also implemented on the another algebraic approach. However, the performance of these algebraic approaches depends on the specific expert system. Consequently, the most suitable algebraic approach can only be determined if the specific expert system is implemented in both algebraic approaches in order to compare their performance. In this document we have designed a natural language to implement algebraically expert systems which provides these three main advantages: we can implement directly any expert system in both algebraic approach since our language is independent of the algebraic approach; we can use any computer algebra system since our language is independent of the computer algebra system used; and we do not need to be acquainted with specialized abstract mathematical concepts like Gröbner basis or normal forms since our language is natural and does not make use of these concepts.

More information

Item ID: 5751
DC Identifier: https://oa.upm.es/5751/
OAI Identifier: oai:oa.upm.es:5751
Deposited by: Roberto Maestre Martínez
Deposited on: 17 Feb 2011 08:49
Last Modified: 08 Mar 2023 09:16
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM