RISC RISC Research Institute for Symbolic Computation  
  • @inproceedings{RISC5470,
    author = {Manfred Droste and Temur Kutsia and George Rahonis and Wolfgang Schreiner},
    title = {{MK-fuzzy Automata and MSO Logics}},
    booktitle = {{8th Symposium on Games, Automata, Logics and Formal Verification (GandALF’17)}},
    language = {english},
    abstract = {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 investigate closure properties of the class of recognizable MK-fuzzy languages accepted by MK-fuzzy automata as well as of deterministically recognizable MK-fuzzy languages accepted by their deterministic counterparts. Moreover, we establish a Nivat-like result for recognizable MK-fuzzy languages. We introduce an MK-fuzzy MSO logic and show the expressive equivalence of a fragment of this logic with MK-fuzzy automata, i.e., a B¨uchi type theorem},
    series = { Electronic Proceedings in Theoretical Computer Science (EPTCS)},
    volume = {256},
    pages = {106--120},
    address = {Rome, Italy, September 22-27},
    isbn_issn = {ISSN 2075-2180},
    year = {2017},
    month = {September},
    editor = {P. Bouyer and A. Orlandini and P. San Pietro},
    refereed = {yes},
    keywords = {Many-valued logic, fuzzy logic, MSO logic, runtime monitoring.},
    sponsor = {The project “LogicGuard II: The Optimized Checking of Time-Quantified Logic Formulas with Applications in Computer Security” is sponsored by the FFG BRIDGE program, project No. 846003.},
    length = {15}