Instituto Tecnolgico de Reynosa

Ingeniera del conocimiento

Ing. Arellano Soldevilla
Roci Yesenia

Modelado y administracin del

conocimiento
construccin y razonamiento
introduccin
Siguiendo las directrices de la ingeniera del software mas tradicional, se han
propuesto metodologas para desarrollar SBC segn ya las ya existentes para
construir sistemas de informacin tradicionales, extendindolas para incluir
muchas mas de las caractersticas de los SBC, la construccin de un prototipo y la
adquisicin del conocimiento como etapas formales del proceso.
El conocimiento tiene una estructura interna en la que se pueden
distinguir tipos de conocimiento y tareas especificas.

Se definen las especificaciones del sistema se construye un

software (prototipo) que les refleja y que se va refinando en la
medida en que se continua con el anlisis y el diseo, hasta llegar a
tener el sistema completo.

A travs de diversos desarrollos metodolgicos va encaminada a

sistematizar y apoyar, primero el proceso de construccin de
modelos y posteriormente, la reduccin de esos modelos a
programas.
En los campos de la arquitectura ingeniera, la
construcciones el arte o tcnica fabricar edificios e
infraestructuras. En un sentido ms amplio, se denomina
construccin a todo aquello que exige, antes de hacerse,
disponer de un proyecto y una planificacin predeterminada.

Tambin se denomina construccin a una obra ya construida

o edificada, adems a la edificacin o infraestructura en
proceso de realizacin, e incluso a toda la zona adyacente
usada en la ejecucin de la misma.

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.

Segn Napolitano Antonio es el acto mediante el cual

progresamos en el conocimiento con la ayuda de lo que ya
se conoce. Las proposiciones que predican de lo que ya
conocemos se denominan premisas, y el conocimiento que
se infiere de ellas sera la conclusin.
Y razonamiento
Ejemplo:
-Los planetas son redondos
-La tierra es un planeta
-por lo tanto la tierra es redonda
El razonamiento es el siguiente: si todos los
planetas son redondos, y la tierra es un planeta,
Premisa se dice como conclusin de ello un conocimiento
nuevo "la tierra es redonda".
es un proceso en el que dadas unas proposiciones
Conclusin (premisas) verdaderas o supuestamente
verdaderas se pasa a afirmar una nueva
(conclusin), que se fundamenta en las premisas
Elementos del razonamiento

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.

Tambin se dice que es el nexo o conexin lgica entre los juicios

antecedentes y consiguientes. Se llaman juicios antecedentes los ya
conocidos, de los cuales se deduce otro tercero llamado consiguiente. Este
nexo que indica la inferencia o consecuencia, se expresa mediante las
conjunciones; luego, por lo tanto, por consiguiente, etc. Se dice que la forma
es la que hace que la proposicin sea vlida o no vlida.
En sentido amplio, se entiende por Razonamiento a la facultad que permite resolver
problemas, extraer conclusiones y aprender de manera consciente de los hechos,
estableciendo conexiones causales y lgicas necesarias entre ellos. En sentido ms
restringido se puede hablar de diferentes tipos de razonamiento:

El razonamiento argumentativo en tanto actividad mental se corresponde con la

actividad lingstica de argumentar. En otras palabras, un argumento es la expresin
lingstica de un razonamiento.
El razonamiento lgico o causal es un proceso de lgica mediante la cual,
partiendo de uno o ms juicios, se deriva la validez, la posibilidad o la falsedad de
otro juicio distinto. El estudio de los argumentos corresponde a La lgica, de
modo que a ella tambin le corresponde indirectamente el estudio del
razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan
conocimientos ya adquiridos o, por lo menos, postulados como hiptesis.

Es posible distinguir entre varios tipos de razonamiento lgico. Por ejemplo el

razonamiento deductivo(estrictamente lgico), el razonamiento inductivo (donde
interviene la probabilidad y la formulacin de conjeturas) y razonamiento abductivo,
entre otros.
Conclusiones

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