Revista EIA (Jun 2011)
REPRESENTACIÓN DE RELACIONES SEMÁNTICAS ENTRE PROBLEMAS Y OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS REPRESENTAÇÃO DE RELACIONAMENTOS SEMÁNTICOS ENTRE PROBLEMAS E OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS
Abstract
El mundo organizacional siempre tendrá objetivos que alcanzar y se encontrará en el camino obstáculos que dificultan su consecución. El primer paso para resolver problemas y establecer objetivos es identificarlos y representarlos, lo cual casi siempre se hace por medio del lenguaje natural, evidenciando la carencia de métodos formales para el planteamiento de sus enunciados. Por ello, en este artículo se proponen estructuras para expresar objetivos y problemas de manera que se facilite su análisis y se puedan establecer relaciones semánticas y de consistencia entre ellos, empleando lógica de predicados, ya que este mecanismo permite una traducción directa desde lenguaje natural hacia una representación formal de frases para constatar la veracidad o falsedad del enunciado.O mundo organizacional sempre terá objetivos que atingir e se encontrará no caminho obstáculos que dificultam sua consecução. O primeiro passo para resolver problemas e estabelecer objetivos é identificá-los e representá-los, o qual quase sempre se faz por meio da linguagem natural, evidenciando a carência de métodos formais para a proposta de seus enunciados. Por isso, neste artigo propõem-se estruturas para expressar objetivos e problemas, de maneira que se facilite sua análise e possam ser estabelecidos relacionamentos semânticos e de consistência entre eles, empregando lógica de predicados, já que este mecanismo permite uma tradução direta desde linguagem natural para uma representação formal de frases para constatar a veracidade ou falsidade do enunciado.Organizational world will always have goals to reach and obstacles to fight, in order to reach those goals. Identifying and representing goals and problems are previous stages in solving problems and establishing goals. These tasks are commonly made in natural language, and no formal methods are used on them. For this reason, in this paper we propose first-order-predicate-logic structures for expressing goals and problems, so we can easily analyze them and establish semantic relationships and consistency among them, making a direct translation from natural language to a phrasal formal representation. This representation leads us to assess true-or-false value of statements.
