Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Fuzzy branching temporal logic.

Seong-ick Moon1, Kwang H Lee, Doheon Lee

  • 1Department of Biosystems, Korea Advanced Institute of Science and Technology, Daejeon 305-701, Korea.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|September 21, 2004
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Lycopene pathway rewiring by combinatorial co-expression of constituent enzymes in a cell-free protein synthesis system.

New biotechnology·2026
Same author

Vascular RhoJ Is an Effective and Selective Target for Tumor Angiogenesis and Vascular Disruption.

Cancer cell·2026
Same author

Hierarchical ceria nanoarchitecture enabling accelerated lattice oxygen activation for efficient redox reactions.

Nature communications·2026
Same author

De novo identification of potent ingredients for proteasome activation in MT101-5 using an AI-driven approach.

Biomedicine & pharmacotherapy = Biomedecine & pharmacotherapie·2026
Same author

SOCAR: Network-Based Computational Framework to Overcome Acquired Tamoxifen Resistance of MCF7 Cells.

IEEE transactions on computational biology and bioinformatics·2025
Same author

1,4-Naphthoquinone improves depressive-like behaviors by modulating neuronal factors and neuroinflammatory mediators.

Pharmacology, biochemistry, and behavior·2025
Same journal

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2015
Same journal

Meta-Analysis of the First Facial Expression Recognition Challenge.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Adjustable model-based fusion method for multispectral and panchromatic images.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Face Feature Weighted Fusion Based on Fuzzy Membership Degree for Video Face Recognition.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

A New Adaptive Fast Cellular Automaton Neighborhood Detection and Rule Identification Algorithm.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Human-arm-and-hand-dynamic model with variability analyses for a stylus-based haptic interface.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
See all related articles

Intelligent systems need a new logic for uncertain branching time. Fuzzy Branching Temporal Logic (FBTL) extends fuzzy linear temporal logic to handle complex systems with multiple futures, demonstrated with job shop scheduling.

Area of Science:

  • Artificial Intelligence
  • Logic
  • Computer Science

Background:

  • Intelligent systems require robust methods for handling temporal information with uncertainty.
  • Existing fuzzy linear temporal logic (FLTL) is limited to linear time models.
  • Many real-world systems are better represented by branching time models.

Purpose of the Study:

  • To propose Fuzzy Branching Temporal Logic (FBTL) for representing and handling uncertain temporal information in branching time models.
  • To generalize classical branching temporal logic (CTL*) for fuzzy temporal states and events.
  • To provide a logical framework for systems with multiple possible future paths.

Main Methods:

  • FBTL is proposed, generalizing concurrent tree logic (CTL*).
  • The temporal model represents fuzzy temporal events and states using directed graphs.

Related Experiment Videos

  • FBTL is applied to a fuzzy job shop scheduling problem.

    • Main Results:

    • FBTL effectively models fuzzy temporal information in branching time structures.
    • The framework successfully addresses the limitations of linear temporal logic for uncertain branching systems.
    • Demonstrated utility in a complex scheduling scenario.

    Conclusions:

    • FBTL offers a powerful new framework for uncertain temporal reasoning in branching time models.
    • This logic is crucial for developing more sophisticated intelligent systems.
    • FBTL provides a foundation for future research in uncertain temporal logic.