Fuzzy Branching Temporal Logic

S. Moon, K.H. Lee, D. Lee
<span title="">2004</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vtq6nmuchnak5n57l33lid22rq" style="color: black;">IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics)</a> </i> &nbsp;
Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae. Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. However, many
more &raquo; ... s are best represented by branching time models in which each state can have more than one possible future path. In this paper, fuzzy branching temporal logic (FBTL) is proposed to address this problem. FBTL adopts and generalizes concurrent tree logic (CTL*), which is a classical branching temporal logic. The temporal model of FBTL is capable of representing fuzzy temporal events and fuzzy temporal states, and the order relation among them is represented as a directed graph. The utility of FBTL is demonstrated using a fuzzy job shop scheduling problem as an example. Index Terms-Branching temporal logic, CTL*, fuzzy logic, temporal logic.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tsmcb.2003.819485">doi:10.1109/tsmcb.2003.819485</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/15376850">pmid:15376850</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bvbgu7ztdfgltpoqxkgchrknh4">fatcat:bvbgu7ztdfgltpoqxkgchrknh4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20050904232309/http://biosoft.kaist.ac.kr:80/~dhlee/pubs/simoon.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b4/da/b4da5054c524b5f2bd55a02253e2bfefa01f84f5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tsmcb.2003.819485"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>