Preguntas etiquetadas con linear-temporal-logic

Es un hecho conocido que cada fórmula LTL puede expresarse mediante un autómata Büchi . Pero, aparentemente, los autómatas de Büchi son un modelo más potente y expresivo. He escuchado en alguna parte que los autómatas de Büchi son equivalentes a un cálculo μ de tiempo lineal (es decir, un …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Para encontrar la diferencia, me acabo de encontrar con las siguientes afirmaciones sobre la lógica temporal en Wikipedia : Otra variante de la lógica modal que comparte muchas características comunes con la lógica dinámica, difiere de todas las lógicas mencionadas anteriormente por ser lo que Pnueli ha caracterizado como una …

12 logic  linear-temporal-logic  temporal-logic 

La lógica temporal lineal y los autómatas deterministas de Büchi son incomparables: DBA no puede expresar y LTL no puede expresar "al menos cada letra impar es 'a'" . Pero a veces es interesante saber si el lenguaje de un DBA se puede expresar en LTL.FGaFGaFGa Necesito un algoritmo que …

10 logic  automata  linear-temporal-logic  buchi-automata 

Se sabe que las lógicas temporales LTL, CTL, CTL * se pueden traducir / incrustar en el cálculo . En otras palabras, el cálculo (modal) subsume estas lógicas (es decir, es más expresivo).μμ\muμμ\mu ¿Podría por favor explicarme / señalarme artículos / libros que detallen este asunto? En particular, ¿hay propiedades …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic