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

Temporal knowledge representation and reasoning techniques using time Petri nets.

W T Jong1, Y S Shiau, Y J Horng

  • 1Dept. of Comput. & Inf. Sci., Nat. Chiao Tung Univ., Hsinchu.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|February 7, 2008
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

[Analysis of risk factors for early death in NPM1-mutated acute myeloid leukemia patients].

Zhonghua xue ye xue za zhi = Zhonghua xueyexue zazhi·2026
Same author

[Construction and validation of clinical prediction model of tongue base collapse under drug-induced sleep endoscopy in OSA patients].

Zhonghua er bi yan hou tou jing wai ke za zhi = Chinese journal of otorhinolaryngology head and neck surgery·2024
Same author

[Immune reconstitution and influencing factors in HIV infected men who have sex with men with access to antiviral therapy in Guangxi Zhuang Autonomous Region from 2005 to 2021].

Zhonghua liu xing bing xue za zhi = Zhonghua liuxingbingxue zazhi·2024
Same author

Evaluation of factors associated with high advanced HIV disease and mortality in Southwestern China: a retrospective cohort study, 2005-2020.

Public health·2024
Same author

[Analysis of HIV transmission hotspots and characteristics of cross-regional transmission in Guangxi Zhuang Autonomous Region based on molecular network].

Zhonghua liu xing bing xue za zhi = Zhonghua liuxingbingxue zazhi·2022
Same author

[Factors associated with death and attrition in HIV-infected children under initial antiretroviral therapy in Guangxi Zhuang Autonomous Region, 2004 - 2019].

Zhonghua liu xing bing xue za zhi = Zhonghua liuxingbingxue zazhi·2022
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

This study introduces temporal knowledge representation and reasoning with time Petri nets. A novel method enhances temporal knowledge consistency checking, improving upon prior techniques.

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Knowledge Representation

Background:

  • Temporal knowledge representation is crucial for dynamic systems.
  • Existing methods for temporal knowledge consistency checking have limitations.

Purpose of the Study:

  • To present novel temporal knowledge representation and reasoning techniques.
  • To propose an improved method for checking temporal knowledge consistency.

Main Methods:

  • Utilizing time Petri nets for temporal knowledge representation.
  • Developing a new algorithm for consistency checking.

Main Results:

  • The proposed method effectively represents and reasons with temporal knowledge.
  • The new consistency checking technique overcomes drawbacks of previous approaches.

Related Experiment Videos

Conclusions:

  • Time Petri nets offer a robust framework for temporal knowledge.
  • The developed method provides a valuable tool for ensuring temporal knowledge integrity.