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

The Representativeness Heuristic02:13

The Representativeness Heuristic

16.4K
The representative heuristic describes a biased way of thinking, in which you unintentionally stereotype someone or something. For example, you may assume that your professors spend their free time reading books and engaging in intellectual conversation, because the idea of them spending their time playing volleyball or visiting an amusement park does not fit in with your stereotypes of professors.
16.4K
Position Vectors01:29

Position Vectors

1.4K
A position vector is a fundamental concept in mathematics that helps determine the position of one point with respect to another point in space. It is a vector that describes the direction and distance between two points. Position vectors are highly useful in the field of math and science, as they help represent spatial relationships and make calculations easier.
For instance, we want to locate a point P(x, y, z) relative to the origin of coordinates O. In that case, we can define a position...
1.4K
Deductive Reasoning01:16

Deductive Reasoning

62.3K
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...
62.3K
Inductive Reasoning00:59

Inductive Reasoning

63.5K
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...
63.5K
Propagation of Action Potentials01:23

Propagation of Action Potentials

7.6K
The propagation of an action potential refers to the process by which a nerve impulse, or "action potential," travels along a neuron.
Neurons (nerve cells) have a resting membrane potential, with a slightly negative charge inside compared to outside. This is maintained by ion channels, such as sodium (Na+) and potassium (K+) channels, which control the flow of ions. When a stimulus, like a touch or a signal from another neuron, triggers the neuron, sodium channels open, allowing sodium ions to...
7.6K
Probability Distributions01:32

Probability Distributions

10.0K
 The probability of a random variable x  is the likelihood of its occurrence. A probability distribution represents the probabilities of a random variable using a formula, graph, or table. There are two types of probability distribution– discrete probability distribution and continuous probability distribution.
A discrete probability distribution is a probability distribution of discrete random variables. It can be categorized into binomial probability distribution and Poisson...
10.0K

You might also read

Related Articles

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

Sort by
Same author

RadiomiX for Radiomics Analysis: Automated Approaches to Overcome Challenges in Replicability.

Diagnostics (Basel, Switzerland)·2025
Same author

A Novel Boolean Kernels Family for Categorical Data.

Entropy (Basel, Switzerland)·2020
Same journal

Research on a Regional Availability Evaluation Model for Road-Area High-Entropy Energy Based on Synergy Factors.

Entropy (Basel, Switzerland)·2026
Same journal

Atmospheric Turbulence Channel Modeling and Performance Analysis of a CO-ZP-OFDM Coherent Optical Communication System for UAV Air-to-Ground Scenarios.

Entropy (Basel, Switzerland)·2026
Same journal

Information Geometry and Asymptotic Theory for SMML Estimators.

Entropy (Basel, Switzerland)·2026
Same journal

Correlation Entropy and Power-Law Kinetics.

Entropy (Basel, Switzerland)·2026
Same journal

Research on the Contagion of Systemic Financial Risk Under the Impact of Climate Risks-From the Perspective of Complex Networks and Machine Learning.

Entropy (Basel, Switzerland)·2026
Same journal

The Statistical-Mechanical Meaning of the Wave Function of Quantum Mechanics.

Entropy (Basel, Switzerland)·2026
See all related articles

Related Experiment Video

Updated: Oct 22, 2025

Quantification of Fungal Colonization, Sporogenesis, and Production of Mycotoxins Using Kernel Bioassays
10:01

Quantification of Fungal Colonization, Sporogenesis, and Production of Mycotoxins Using Kernel Bioassays

Published on: April 23, 2012

18.3K

Propositional Kernels.

Mirko Polato1, Fabio Aiolli1

  • 1Department of Mathematics, University of Padova, 35143 Padova, Italy.

Entropy (Basel, Switzerland)
|August 27, 2021
PubMed
Summary
This summary is machine-generated.

Researchers developed new Propositional kernels for explainable artificial intelligence (AI). These kernels create interpretable feature spaces using logical propositions, enhancing AI transparency and performance on categorical data.

Keywords:
boolean kernelscategorical datakernel methodspropositional kernelspropositional logic

More Related Videos

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues
07:08

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues

Published on: July 14, 2015

7.4K
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.3K

Related Experiment Videos

Last Updated: Oct 22, 2025

Quantification of Fungal Colonization, Sporogenesis, and Production of Mycotoxins Using Kernel Bioassays
10:01

Quantification of Fungal Colonization, Sporogenesis, and Production of Mycotoxins Using Kernel Bioassays

Published on: April 23, 2012

18.3K
Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues
07:08

Optimization of Synthetic Proteins: Identification of Interpositional Dependencies Indicating Structurally and/or Functionally Linked Residues

Published on: July 14, 2015

7.4K
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.3K

Area of Science:

  • Artificial Intelligence
  • Machine Learning
  • Computer Science

Background:

  • The increasing prevalence of artificial intelligence (AI) necessitates explainable AI (XAI) methods.
  • Logic has historically been employed to interpret AI system decision-making processes.
  • Existing methods like Boolean kernels offer limited expressiveness in feature space construction.

Purpose of the Study:

  • Introduce a novel family of Propositional kernels for enhanced AI interpretability.
  • Develop more expressive kernels compared to existing Boolean kernels.
  • Provide an efficient algorithm and source code for constructing Propositional kernels.

Main Methods:

  • Definition of Propositional kernel functions operating in a feature space of logical propositions.
  • Development of an efficient algorithm for constructing these kernels.
  • Empirical evaluation on artificial and benchmark categorical datasets.

Main Results:

  • Propositional kernels construct highly interpretable feature spaces.
  • The proposed kernels demonstrate greater expressiveness than previous Boolean kernels.
  • Experimental results confirm the effectiveness of Propositional kernels on various datasets.

Conclusions:

  • Propositional kernels represent a significant advancement in explainable AI.
  • The developed framework offers a more interpretable and expressive approach to kernel methods.
  • The findings have implications for improving transparency and performance in AI systems dealing with categorical data.