- Tytuł:
-
The set of PrAl+valid in a finite structure is undecidable
Zbiór formuł logiki PrAl+ prawdziwych w skończonej strukturze jest nierozstrzygalny - Autorzy:
- Borowska, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/88418.pdf
- Data publikacji:
- 2013
- Wydawca:
- Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
- Tematy:
-
Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
egzystencjalny kwantyfikator iteracji - Opis:
-
We consider a probabilistic logic of programs. In it is proved that the set of formulas of the logic PrAL, valid in a finite structure, is decidable with respect to the diagram of the structure. We add to the language LP of PrAL a sign S and a functor lg. Next we justify that the set of formulas of extended logic, valid in a finite at least 2-element structure (for LP+) is undecidable.
Rozważamy probabilistyczną logikę algorytmiczną. W pracy znajduje się uzasadnienie, że zbiór formuł logiki PrAL, prawdziwych w skończonej strukturze, jest rozstrzygalny ze względu na diagram struktury. Dodajemy do języka LP logiki PrAL znak S i funktor lg. Następnie uzasadniamy, ze zbiór formuł rozszerzonej logiki, prawdziwych w skończonej co najmniej 2-elementowej strukturze (dla L P+), nie jest już rozstrzygalny. - Źródło:
-
Advances in Computer Science Research; 2013, 10; 5-18
2300-715X - Pojawia się w:
- Advances in Computer Science Research
- Dostawca treści:
- Biblioteka Nauki
Artykuł