Ejemplo de las Reglas de inferencia

MATEMATICA Y LOGICA

INVESTIGACIÓN

Reglas de inferencia en la Computación

Martinez Caro, Sebastian*; Torrenegra, Brayan**; Negrete, Martin**

RESUMEN

Este trabajo nos muestra sobre lo que es una regla inferencial y los distintos usos que se le dan en múltiples plataformas y objetos tecnológicos para nuestro beneficio, con una gran variedad de usos en computadores y programas lógicos, estarán diferentes formas de expresar las reglas de inferencia con ejemplos que podríamos darle en nuestra vida cotidiana para una mayor facilidad de entendimiento de lo que es este tipo  de reglas. Este tipo de reglas funcionan en muchísimos dispositivos como computadores, teléfonos, incluso en el campo de la robótica. Existen varias reglas de inferencia tales como las dichas en el documento, El silogismo hipotético, el modus tollendo tollens, el modus ponendo ponens, silogismo disyuntivo y conjunción, estos y muchos más son las distintas reglas que se verán en el trabajo.

Palabras clave: Inferencia; Computación; Tecnología; Reglas

ABSTRACT

This work shows us what is an inferential rule and the different uses that are given in multiple platforms and technological objects to our benefit, with a great variety of uses in computers and logical programs, will be different ways of expressing the rules of inference With examples that we could give in our daily life for a greater facility of understanding of what this type of rules is. This type of rules work in many devices such as computers, telephones, even in the field of robotics. There are different rules of inference such as those in the document, hypothetical syllogism, modus tollendo tollens, modus ponendo ponens, disjunctive syllogism and conjunction, these and many more are the different rules that will be seen in the work.

Keywords: Inference; Computing; Technology; Rules

INTRODUCCIÓN

La  computación  ha  sido  una  gran  influencia  por la  cantidad  de  usos  que  posee,  aunque  en  el  trasfondo  de  ese  uso,  muchos  no  saben  la  forma  en  que  trabaja  este  tipo  de  objetos  los  cuales  son  usados  día  a  día,  una  de  esas  formas  de  trabajo serían  las  reglas  inferenciales,  Estas  han  influido  mucho  en  distintas  creaciones  de  programas,  y  han  sido  de  utilidad  para  muchos  productos  creados  por  el  ser  humano.

Inferencia  significa  concluir  o  decidir  algo  a  partir  de  una  verdad,  Por  lo  tanto  Estás  reglas  de  inferencia  son  tautológicas.  Estas  reglas  inferenciales  son  usadas  mucho  en  la  parte  de  la  programación,  más  que  todo  en  pseudocódigos,  en  la  lógica,  al  igual  que  en  bases  de  datos,  lo que  ha  permitido  crear  múltiples  artefactos  tecnológicos  que  nos  ha servido  a  nosotros  como  beneficio,  ya  que  la  tecnología  busca  eso,  suplir  una  necesidad.

La  sociedad  hoy  en  día  no  sabe  que  estos  productos  tecnológicos  la  mayoría  son  hechos  a  base  de  este  tipo  de  reglas.  En  la  computación,  como ya  había  dicho, se  usan  más  que  todo  en  la  programación  y  más que  todo  en  los  pseudocódigos,  programas  como  Pseint y  Excel,  son programas  que  pueden  crear este  tipo  de  reglas.

Existen  tipos  de  reglas  de  inferencia,  entre  esas están:

• Modus Ponens
• Modus Tollens
• Silogismo Hipotético
• Silogismo Disyuntivo
• Conjunción
• Adición
• Dilema constructivo

En  resumidas  cuentas  se puede  concluir que la  tecnología  nos  ha  traído  muchas innovaciones  que  nos ha  ayudado  a  mejorar  nuestra  calidad  de  vida,  una  de  estas  tecnologías  es  la  computación sistematizada  ya  que  nos  permite  acceder  a  un  sinfín de  información  de  forma  instantánea  y  precisa  y  desarrollar  un  sinfín  de  software autónomos  para  la  solución  de  problemas  y  métodos  como  los  estudiados  en  este  trabajo,  nos  ayuda  a  entender  más  esa  lógica  computacional  para  llegar  a  ser  unos  excelentes  programadores.

SILOGISMO  HIPOTETICO  (SH)

[pic 1]

EJEMPLO:

*Si  hay  internet,  entonces  Luis  está  en  el  celular  y  si  Luis  está  en  el  celular,  Luis   está chateando,  entonces  si  hay  internet,  Luis  está  chateando.

*En  esta  Regla  de  Inferencia  se  deduce  que  si  P  entonces  Q  y  Q  entonces  R,  podemos  inferir  P  entonces   R.

*Esto  lo  que  quiere  decir  es  que  (P)  corresponde  a  “Si  hay  internet”,  y  (Q)  corresponde a “Luis  está  en  el  celular”,  y  (R)  corresponde a “Luis  está  chateando”

*Lo  que  concluye  que  si  Luis   tiene  Internet  Luis  estará  chateando

MODUS  TOLLENDO  TOLLENS (“MODO QUE NEGANDO NIEGA”)

[pic 2]

EJEMPLO:

*Si  Manuel  está  en  el  celular,  Entonces  Manuel  está  chateando.  Y  si  Manuel  no  está chateando,  entonces  Manuel  no   está  en  el  celular.

*En  esta  Regla  de  Inferencia  se  deduce  que  si  P  entonces  Q  y  negación  de  Q  entonces  negación  de  P

...