Abstract

ZAPATA, Carlos Mario; ACEVEDO, Juan Fernando  and  MORENO, David Andrés. PREDICATE-LOGIC-BASED REPRESENTATION OF SEMANTIC RELATIONSHIPS BETWEEN GOALS AND PROBLEMS. Rev.EIA.Esc.Ing.Antioq [online]. 2011, n.15, pp.61-72. ISSN 1794-1237.

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.

Keywords : Predicate-logic; problem; goal; consistency; semantic relationships; formal representation.

        · abstract in Spanish | Portuguese     · text in Spanish     · Spanish ( pdf )