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

A sound and complete fuzzy temporal constraint logic.

M A Cárdenas-Viedma

    IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
    |February 14, 2006
    PubMed
    Summary

    This study introduces extended fuzzy temporal constraint logic (EFTCL) for handling fuzzy temporal constraints between events. A resolution principle is proposed and proven sound and complete for EFTCL, enhancing temporal reasoning capabilities.

    Related Concept Videos

    You might also read

    Related Articles

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

    Sort by
    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

    Area of Science:

    • Artificial Intelligence
    • Computer Science
    • Logic

    Background:

    • Traditional temporal reasoning often struggles with imprecise or uncertain temporal information.
    • Fuzzy logic and possibilistic logic offer frameworks for handling uncertainty.
    • Existing fuzzy temporal constraint logic (FTCL) lacks completeness in its inference mechanisms.

    Purpose of the Study:

    • To define an extended fuzzy temporal constraint logic (EFTCL) that integrates possibilistic logic.
    • To enable the expression of interrelated events using fuzzy temporal constraints.
    • To develop and prove a sound and complete resolution principle for EFTCL.

    Main Methods:

    • Definition of the syntax and semantics for EFTCL.
    • Extension of deduction and refutation theorems from FTCL to EFTCL.

    Related Experiment Videos

  • Development of a resolution principle tailored for EFTCL's fuzzy temporal constraints.

    • Main Results:

    • EFTCL is established, allowing for the representation of fuzzy temporal relationships between events.
    • A resolution principle for EFTCL is proposed and formally defined.
    • The soundness and completeness of the refutation by resolution in EFTCL are mathematically proven.

    Conclusions:

    • EFTCL provides a robust framework for temporal reasoning with fuzzy constraints.
    • The proposed resolution principle enhances the inferential power of EFTCL.
    • This work contributes to more sophisticated temporal reasoning models in AI and computer science.