OH - Pasión al código

Para está entrada mi ejercicio es el siguiente: La cual trata de convertirla a CTL, en caso de que sea imposible explicar el porque. Para que sea mas fácil su construcción, primero definiremos su sintaxis... pero antes que nada definamos los operadores: Resaltando las palabars claves de nuestro enunciado: p es verdadera en el estado actual y alguna ruta y en  algun  tiempo futuro tendra q   verdadera. Lo cual se puede interpretar de la siguiente forma: p  E U   q entonces su contrucción quedaria(los puntos celestes es donde se cumplen la condiccioón para "p" y los puntos rojos en para "q"): Representando la misma expresión con la estrucura de Kripke tendremos: Estrucura general de Kripke Estructura de Kripke para " p  EU q " Referencias : http://en.wikipedia.org/wiki/Computation_tree_logic A good document on Computation Tree Logic . http://elisa.dyndns-web.com/~elisa/teaching/sys/valid/ctl.pdf

La tarea de esta semana consiste en: "Inventen una expresión ω-regular con por lo menos dos símbolos y por lo menos dos operadores. Dibujen el NBA que le corresponde." Que son las expresiones Regulares ?           Una  expresión regular , a menudo llamada también  patrón , es una expresión que describe un           conjunto de cadenas sin enumerar sus elementos. Construcción de expresiones regulares          Un cuantificador tras un carácter especifica la frecuencia con la que éste puede ocurrir. Los          cuantificadores más comunes son + ,  ? y * :           + =>   El signo más indica que el carácter que le precede debe aparecer al menos una vez. Por           ejemplo, "ho+la" describe el conjunto infinito  hola ,  hoola ,  hooola ,  hoooola , etcétera.     ...

Para esta entrada, haremos un sistema de transiciones para x sistema. Me enfocare a realizarlo para un clima. Componentes del sistema  Los botones => Encendido, apagado, subir o bajar temperatura, apagado automático. EL Clima => El esclavo, hace lo que se le ordena. La Persona => El líder, ordena que es lo que pasara. Estados ( Componente ) => Transiciones   Esperando ( Persona ) => Activar/desactivar el clima .   Apagado ( Clima ) => El clima esta apagado y esperando.   Encendido ( Clima ) => El clima empieza a funcionar en su temperatura inicial.   Inicial ( Botón ) => Botón ON presionado.   Checar ( Clima ) => Checar tiempo de apagado automático.   Subir ( Botón ) => Aumentar temperatura.   Bajar ( Botón ) => Disminuir la temperatura.   Tiempo ( Botón ) => Aumenta o Reinicia el contador de Apagado automático.

Para esta entrada leí el como estaba relacionada la lógica predicativa con los grafos, y una de sus principales funciones es la fácil compresión de textos. Esto con mapas conceptuales donde cada "nodo" tiene una "etiqueta" que en cualquier caso serian las palabras claves y sus aristas para "de apoyo" que servirían para relacionar el texto. Veamos esto con un ejemplo. Mapa conceptual sobre los animales. Si se designa con S al mapa conceptual, cuyo concepto mas general e inclusico es "animal" y M, O, T, A, V, C, etc. a cada uno de los conceptos incluidos detro de él, entonces el que el concepto M pertenezca al conjuno S se reprenta por: En este caso la pertenecía de un concepto al mapa conceptual depende no solo de que sea un elemento que pertenza a una clase(perro, gato, vaca) o de que sea un atributo a categoría relevante, sino que además sea a una atribución significativa relacionada, se diría de forma verdadera, con otros conceptos ...

Para esta semana tenemos que escoger un problema ( de aqui) y resolverlo. Mi problema es el siguiente: When a formula is false in a graph, we may want to change that graph in a minimal manner to make the formula true after all. Think of an engineer changing a blueprint to meet a given specification. Consider the following graph: The formula ∃x∀yRxy is false in the graph if R is interpreted as the → relation. Make the formula true by adding a single → link to the graph. Explicación:  La parte teórica de este pdf no dice que  "Rxy" es una expresión con 2 objetos(nodos) que están unidos con una arista(en realidad una flecha) del primer objeto al segundo objeto. y cualquiera de las siguiente formulas es verdadera para representarlo:   También nos menciona que esto: es lo mismo que esto: y su formula para representarlo es: ∀x∀y(Rxy → Ryx) y no solo para este ejemplo, si no que también para cualquier grafo no dirigido. Ahora que ya te...

Tarea 4

Lógica Proposicional La tarea de esta semana consiste en investigar y documentar una aplicación de la lógica proposicional. Para empezar que es la lógica proposicional? La lógica Proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos básicos de transmisión de conocimiento humano. De manera informal, una proposición se define como una frase que puede ser considerada Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas. Para relacionar las distintas proposiciones se utilizan las siguientes conectivas: Técnicas Semánticas de Estudio de Validez Proposicional Existen varios formas para resolver estas proposiciones como tablas de verdad, arboles semánticos, demostraciones por contradiccion, resolución proposicional. Tablas de Verdad Una tabla de verdad es una representación en forma de árbol del valor de una fórmula en todas las posibles interpretaciones. Por ejemplo, para calcula...

Como entrada de esta semana tenemos que ser una tautología de 3 variables. Primero que nada que es una tautología? = Una tautología es un caso especial de proposiciones lógicas caracterizadas por tener exclusivamente el valor verdadero en la columna final de su tabla de verdad, independientemente del valor de las demás proposiciones. Las tautologías son muy importantes en lógica porque son leyes en las que nos podemos apoyar para demostraciones matemáticas.  Entonces creamos la tabla de verdad que cumpla con esta definición.   Lo siguiente es sacar la expresión booleana de la tabla de verdad. Yo lo hice con Miniterminos (suma de productos): Los "0" (de las variables) se convierten a "1". Cabe destacar que aun haciéndolo con Maxiterminos llegamos al MISMO resultado. NOTA:  (abc) => (a AND b AND c) => (a & b & c) (ab + bc) => (a AND b OR b AND c) => (a & b | b & c) Ahora sacamos la función de la forma disyunt...

Las   pruebas de validación   en la   ingeniería de software   son el proceso de revisión que el sistema de   software   producido cumple con las especificaciones y que cumple su cometido. Es normalmente una parte del proceso de   pruebas de software   de un proyecto, que también utiliza técnicas tales como evaluaciones, inspecciones, y   tutoriales . La validación es el proceso de comprobar lo que se ha especificado es lo que el   usuario   realmente quería. Tipos:  Pruebas de aceptación: desarrolladas por el cliente. Pruebas   alfa   realizadas por el usuario con el desarrollador como observador en un entorno controlado (simulación de un entorno de producción). Pruebas   beta: realizadas por el usuario en su   entorno de trabajo   y sin observadores. El objetivo último del proceso de verificación y validación es comprobar que el sistema está hecho para un propósito. Esto significa que el sistema...