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 Concept Videos

Inductive Reasoning00:59

Inductive Reasoning

68.7K
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...
68.7K
Reasoning01:30

Reasoning

472
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,...
472
Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

1.0K
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
1.0K
Reason and Intuition01:37

Reason and Intuition

7.6K
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...
7.6K
Deductive Reasoning01:16

Deductive Reasoning

70.6K
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 as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
70.6K
Woodward–Hoffmann Selection Rules and Microscopic Reversibility01:34

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

4.1K
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...
4.1K

You might also read

Related Articles

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

Sort by
Same author

Engineering artificial biosynthetic pathway enables simultaneous production and in-situ bio-dyeing of indigoids for textiles.

Nature communications·2025
Same author

Valorizing Lignin to Bioactive Natural Compounds.

ChemSusChem·2025
Same author

Spatial accessibility evaluation and clustering analysis of primary healthcare within 15 min circles in a northern Chinese megacity.

Scientific reports·2025
Same author

Biosynthesis of lactones from diols mediated by an artificial flavin.

Bioresources and bioprocessing·2024
Same author

Relation-Aware Heterogeneous Graph Network for Learning Intermodal Semantics in Textbook Question Answering.

IEEE transactions on neural networks and learning systems·2024
Same author

Synthesis of 3-Phenylserine by a Two-enzyme Cascade System with PLP Cofactor.

Chemistry (Weinheim an der Bergstrasse, Germany)·2023
Same journal

Epidemiological characteristics of amebiasis in Japan from 2001 to 2022.

PloS one·2026
Same journal

Longitudinal associations of academic stress with eating related patterns, nutrition, somatic indicators, and depressive symptoms in university students: A study protocol.

PloS one·2026
Same journal

Pollution removal efficiency enhancement by agricultural biomass additions in constructed wetlands: A framework integrating meta-analysis with explainable machine learning.

PloS one·2026
Same journal

Insulation failure mapping on power transformer bushing using FRA and electrostatic simulation.

PloS one·2026
Same journal

Enhancing medical Q&A systems with multimodal knowledge graphs and dual-layer attention mechanisms.

PloS one·2026
Same journal

UAMP: Consistent video object segmentation with uncertainty-aware memory propagation.

PloS one·2026
See all related articles

Related Experiment Video

Updated: Feb 25, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

1.0K

Minimally inconsistent reasoning in Semantic Web.

Xiaowang Zhang1,2,3

  • 1School of Computer Science and Technology, Tianjin University, Tianjin, China.

Plos One
|July 28, 2017
PubMed
Summary
This summary is machine-generated.

This study introduces minimally inconsistent reasoning for Semantic Web, minimizing tolerated inconsistencies to infer more conclusions from imperfect data. This approach balances non-monotonic and paraconsistent reasoning, enhancing data analysis capabilities.

More Related Videos

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
09:27

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

10.8K

Related Experiment Videos

Last Updated: Feb 25, 2026

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task
06:08

Exploring the Role of Deontic Reasoning and World Knowledge in Wason´s Selection Task

Published on: July 22, 2025

1.0K
Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
09:27

Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language

Published on: October 13, 2018

10.8K

Area of Science:

  • Artificial Intelligence
  • Knowledge Representation and Reasoning

Background:

  • Semantic Web applications often encounter imperfect information, necessitating robust reasoning mechanisms.
  • Existing paraconsistent approaches for Description Logic (DL) knowledge bases can be overly skeptical, limiting inferential capabilities.

Purpose of the Study:

  • To present a novel non-monotonic paraconsistent reasoning approach for Description Logics, termed minimally inconsistent reasoning.
  • To address the skepticism of existing paraconsistent methods by minimizing tolerated inconsistencies.

Main Methods:

  • Development of a non-monotonic paraconsistent version of Description Logic reasoning.
  • Design of a complete and sound multi-valued tableaux algorithm to capture minimally inconsistent reasoning.
  • Investigation of desirable properties to demonstrate the integration of non-monotonic and paraconsistent reasoning advantages.

Main Results:

  • Minimally inconsistent reasoning allows for more reasonable conclusions by tolerating fewer inconsistencies.
  • The multi-valued tableaux algorithm serves as a flexible framework for various paraconsistent semantics.
  • The computational complexity of minimally inconsistent DL reasoning matches that of classical DL reasoning.

Conclusions:

  • Minimally inconsistent reasoning offers a more expressive and less skeptical alternative for handling inconsistencies in Semantic Web.
  • The developed tableau algorithm provides an efficient mechanism for implementing this new reasoning paradigm.
  • This approach enhances the practical applicability of Description Logics in real-world scenarios with imperfect data.