MK-fuzzy Automata and MSO Logics
We introduce MK-fuzzy automata over a bimonoid K which is related to the fuzzification of the McCarthy-Kleene logic. Our automata are inspired by, and intend to contribute to, practical applications being in development in a project on runtime network monitoring based on predicate logic. We investi...
-д хадгалсан:
| Үндсэн зохиолчид: | , , , |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Open Publishing Association
2017-09-01
|
| Цуврал: | Electronic Proceedings in Theoretical Computer Science |
| Онлайн хандалт: | http://arxiv.org/pdf/1709.02098v1 |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|