Construccion y Razonamiento
Construccion y Razonamiento
Construccion y Razonamiento
Construccin
El razonamiento es un conjunto de proposiciones
relacionadas de tal manera que la proposicin final
denominada conclusin se deriva de la o las proposiciones
iniciales llamadas premisas, obtenindose un
conocimiento nuevo que rebasa al expresado en las
premisas.
En todo razonamiento existen dos elementos perfectamente diferenciables: contenido y forma. Dos
o ms razonamientos pueden tener la misma forma y diferentes contenidos.
Contenido
Est constituido por los objetos y por las propiedades a que se refieren las expresiones lingsticas.
Es lo que hace que la proposicin sea verdadera o falsa.
Forma
Es el resultado de abstraer el contenido de las expresiones que se refieren a
los objetos y sus propiedades y sustituirlos por smbolos.
Aunque UML no es del todo formal, su flexibilidad, la facilidad de uso, su mayor precisin y
rigor frente al lenguaje natural, su riqueza semntica frente al cdigo, la posibilidad de
incorporar mas detalle en la especificacin que no se traducirn en la implementacin, lo
hacen un lenguaje apropiado para establecer las correspondencias entre los modelos de pericia
de CommonKADS los de UML relacionando as los conceptos de los respectivos metamodelos
en los niveles de dominio, tarea y mtodo.
En definitiva, en este trabajo se han expuesto los argumentos que refrendan al modelo de
pericia y la tricotoma tarea/mtodo/dominio propicia de las metodologas mas difundidas en
inteligencia artificial (IA) y especficamente CommonKADS y se ha establecido la
correspondencia entre los modelos de pericia de CommonKADS y los de UML, relacionando
as los conceptos de los respectivos metamodelos en los niveles de dominio, tarea y mtodo.
Gracias por su
Atencin