Perguntas com a marcação «linear-temporal-logic»

É um fato conhecido que toda fórmula LTL pode ser expressa por um autômato Büchi . Mas, aparentemente, os autômatos Büchi são um modelo mais poderoso e expressivo. Ouvi em algum lugar que os autômatos Büchi são equivalentes a μ- cálculo de tempo linear (ou seja, μ- cálculo com pontos …

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

Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma …

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 descobrir a diferença, acabei de encontrar afirmações abaixo sobre lógica temporal na Wikipedia : outra variante da lógica modal, que compartilha muitas características comuns da lógica dinâmica, difere de todas as lógicas acima mencionadas por ser o que Pnueli caracterizou como lógica "endógena", sendo as outras lógicas "exógenas". Com …

12 logic  linear-temporal-logic  temporal-logic 

A lógica temporal linear e os autômatos determinísticos de Büchi são incomparáveis: o DBA não pode expressar e LTL não pode expressar "pelo menos cada letra ímpar é 'a'" . Mas, às vezes, é interessante saber se a linguagem de um DBA pode ser expressa em LTL.FG aFGumaFGa Eu preciso …

10 logic  automata  linear-temporal-logic  buchi-automata 

Sabe-se que as lógicas temporais LTL, CTL, CTL * podem ser traduzidas / incorporadas no μμ\mu-cálculo. Em outras palavras, o (modal)μμ\mu-calculus inclui essas lógicas (ou seja, é mais expressivo). Você poderia, por favor, me explicar / apontar para papéis / livros que elaboram esse assunto? Em particular, existem propriedades concretas …

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