Skip to main navigation menu Skip to main content Skip to site footer

REPRESENTACIÓN DE RELACIONES SEMÁNTICAS ENTRE PROBLEMAS Y OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS (PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS)

REPRESENTACIÓN DE RELACIONES SEMÁNTICAS ENTRE PROBLEMAS Y OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS (PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS)



Open | Download


Section
Articles

How to Cite
REPRESENTACIÓN DE RELACIONES SEMÁNTICAS ENTRE PROBLEMAS Y OBJETIVOS MEDIANTE LÓGICA DE PREDICADOS (PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS). (2013). Revista EIA, 8(15), 61-72. https://eiaupgrade.metarevistas.org/index.php/reveia/article/view/246

DOI
license
Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Copyright statement

The authors exclusively assign to the Universidad EIA, with the power to assign to third parties, all the exploitation rights that derive from the works that are accepted for publication in the Revista EIA, as well as in any product derived from it and, in in particular, those of reproduction, distribution, public communication (including interactive making available) and transformation (including adaptation, modification and, where appropriate, translation), for all types of exploitation (by way of example and not limitation : in paper, electronic, online, computer or audiovisual format, as well as in any other format, even for promotional or advertising purposes and / or for the production of derivative products), for a worldwide territorial scope and for the entire duration of the rights provided for in the current published text of the Intellectual Property Law. This assignment will be made by the authors without the right to any type of remuneration or compensation.

Consequently, the author may not publish or disseminate the works that are selected for publication in the Revista EIA, neither totally nor partially, nor authorize their publication to third parties, without the prior express authorization, requested and granted in writing, from the Univeridad EIA.

Carlos Mario Zapata
Juan Fernando Acevedo
David Andrés Moreno

Carlos Mario Zapata,

Ingeniero Civil, Magíster en Ingeniería de Sistemas, Doctor en Ingeniería con énfasis en Sistemas, Profesor Asociado y líder del grupo de investigación en Lenguajes Computacionales, Escuela de Sistemas, Universidad Nacional de Colombia, Sede Medellín. Medellín, Colombia.

Juan Fernando Acevedo,

Ingeniero de Sistemas, Universidad Cooperativa de Colombia. Analista de Sistemas, Cotrafa Cooperativa Financiera. Medellín, Colombia

David Andrés Moreno,

Ingeniero de Sistemas e Informática e integrante del grupo de investigación en Lenguajes Computacionales, Universidad Nacional de Colombia, Sede Medellín. Medellín, Colombia.

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.

Abstract: 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.


Article visits 281 | PDF visits 140


Downloads

Download data is not yet available.