Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Deductive Reasoning

Deductive Reasoning

Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction from inductive reasoning. It uses a general principle or law to predict specific results. From these general principles, a scientist can predict specific results that remain valid as long as the general principles are correct.For example, a researcher can make specific predictions from the hypothesis "butterflies are attracted...

Reasoning

Reasoning

Reasoning is the action of thinking about something in a logical, sensible way. It is integral to problem-solving, decision-making, and critical thinking. Reasoning can be inductive or deductive. Reasoning involves transforming information into conclusions, which is essential for problem-solving, decision-making, and critical thinking.
Inductive reasoning involves deriving generalizations from specific observations. This type of reasoning helps form beliefs about the world. For example,...

Reason and Intuition

Reason and Intuition

The human brain processes information for decision-making using one of two routes: an intuitive system and a rational system (Epstein, 1994; popularized by Kahneman, 2011 as System 1 and System 2, respectively). The intuitive system is quick, impulsive, and operates with minimal effort, relying on emotions or habits to provide cues for what to do next, while the rational system is logical, analytical, deliberate, and methodical. Research in neuropsychology suggests that the brain can only use...

Inductive Reasoning

Inductive Reasoning

Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...

Mechanistic Models: Overview of Compartment Models

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

You might also read

Related Articles

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

Sort by

Same author

Test of CP Symmetry in the Neutral Decays of Λ via J/ψ→ΛΛ[over ¯].

Physical review letters·2026

Same author

Precise Measurement of the Chromoelectric Dipole Moment of the Charm Quark.

Physical review letters·2026

Same author

Precise Measurement of Matter-Antimatter Asymmetry with Entangled Hyperon-Antihyperon Pairs.

Physical review letters·2026

Same author

Observation of Λ[over ¯]p→K^{+}π^{+}π^{-}π^{0} and Λ[over ¯]p→K^{+}π^{+}π^{-}2π^{0}.

Physical review letters·2026

Same author

First Measurement of the D_{s}^{+}→K^{0}μ^{+}ν_{μ} Decay.

Physical review letters·2026

Same author

Observation of the Electromagnetic Radiative Decays of the Λ(1520) and Λ(1690) to γΣ^{0}.

Physical review letters·2026

Search research articles

Related Experiment Video

Updated: Jul 7, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

Comments on "A Petri net model for temporal knowledge representation and reasoning".

S M Chen¹, W T Jong

¹Dept. 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

|January 1, 1997

Summary

This summary is machine-generated.

This paper corrects errors in Yao's 1994 unified time Petri net model (TPN) for temporal knowledge representation and reasoning. The corrections clarify the model's concepts for better understanding.

Related Experiment Videos

Last Updated: Jul 7, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

Area of Science:

Computer Science
Artificial Intelligence

Background:

Yao (1994) introduced a unified time Petri net model (TPN) for temporal knowledge representation and reasoning.
The TPN model offers significant contributions to temporal knowledge representation and reasoning.

Purpose of the Study:

To identify and correct errors within Yao's (1994) unified time Petri net model.
To enhance the clarity and understanding of the TPN model for researchers and practitioners.

Main Methods:

Detailed analysis of the original TPN model presented by Yao (1994).
Identification of specific inaccuracies and inconsistencies within the model's formulation.
Development of precise corrections to address the identified errors.

Main Results:

A comprehensive list of identified errors in the unified time Petri net model.
Proposed corrections that rectify the inaccuracies in the TPN model.
Improved understanding of temporal knowledge representation and reasoning using the corrected TPN model.

Conclusions:

The corrected TPN model provides a more robust framework for temporal knowledge representation and reasoning.
Addressing the identified errors enhances the practical applicability and theoretical soundness of the TPN model.
This work facilitates a clearer grasp of the TPN model's innovative concepts.