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

Null and Alternative Hypotheses

Null and Alternative Hypotheses

The actual hypothesis testing begins by considering two hypotheses. They are termed the null hypothesis and the alternative hypothesis. These hypotheses contain opposing viewpoints.
The null hypothesis, denoted by H0 is a statement of no difference between the variables—they are not related. This can often be considered the status quo. As a result if you cannot accept the null, it requires some action.
The alternative hypothesis, denoted by H1 or Ha, is a claim about the population that is...

Types of Hypothesis Testing

Types of Hypothesis Testing

There are three types of hypothesis tests: right-tailed, left-tailed, and two-tailed.
When the null and alternative hypotheses are stated, it is observed that the null hypothesis is a neutral statement against which the alternative hypothesis is tested. The alternative hypothesis is a claim that instead has a certain direction. If the null hypothesis claims that p = 0.5, the alternative hypothesis would be an opposing statement to this and can be put either p > 0.5, p < 0.5, or p ≠ 0.5.

Statistical Hypothesis Testing

Statistical Hypothesis Testing

Hypothesis testing is a critical statistical procedure facilitating informed, evidence-based decisions. It begins with a hypothesis, which is a tentative explanation, or a prediction about a population parameter. This hypothesis can be either a null hypothesis (H0), indicating no effect or difference, or an alternative hypothesis (Ha), suggesting an effect or difference.
Statistical significance measures the probability that an observed result occurred by chance. If this probability, known as...

Decision Making: Traditional Method

Decision Making: Traditional Method

The process of hypothesis testing based on the traditional method includes calculating the critical value, testing the value of the test statistic using the sample data, and interpreting these values.
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...

What is a Hypothesis?

What is a Hypothesis?

A hypothesis can be a simple sentence or statement about a property or any phenomenon observed or predicted for a population. It is usually a claim about a property of the population. It can be stated for any field observations or experiments. A hypothesis statement cannot be said to be right or wrong as it is merely a statement. It needs to be tested through an elaborate data collection process and an appropriate statistical test. A hypothesis should be a general but not a vague statement. It...

Trial and Error and Algorithm

Trial and Error and Algorithm

A problem-solving strategy is a plan of action used to find a solution. Different strategies have distinct action plans. Trial and error involves trying different solutions until one works. For instance, to fix a broken printer, you might check ink levels, ensure the paper tray isn't jammed, and verify the printer's connection to your laptop. This method can be time-consuming but is commonly used. Thomas Edison, for example, used trial and error to find a suitable filament for the light bulb,...

You might also read

Related Articles

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

Sort by

Same author

Comparative histological analysis of vertebrates reveals Triassic climate variability across southern Pangea.

Journal of anatomy·2026

Same author

Graph statistics theory of individualized quantitative genetics under haplotype-resolved genome assembly.

Proceedings of the National Academy of Sciences of the United States of America·2026

Same author

Intervention in Health Misinformation Using Large Language Models for Automated Detection, Thematic Analysis, and Inoculation: Case Study on COVID-19.

Journal of medical Internet research·2026

Same author

Patient Priorities in Age-Friendly 4Ms Care.

Journal of gerontological nursing·2025

Same author

Development of production methodologies for scFv-Fc conjugated critical reagents to support CAR-T clinical programs.

Bioanalysis·2025

Same author

High-order interaction modeling of tumor-microenvironment crosstalk for tumor growth.

Physics of life reviews·2025

Search research articles

Related Experiment Video

Updated: Jun 6, 2026

Barnes Maze Testing Strategies with Small and Large Rodent Models

Barnes Maze Testing Strategies with Small and Large Rodent Models

Published on: February 26, 2014

An algorithm for constructing and searching spaces of alternative hypotheses.

Christopher Griffin¹, Kelly Testa, Stephen Racunas

¹Communications, Information and Navigation Office, The Applied Research Laboratory, The Pennsylvania State University, University Park, PA 16802, USA. griffinch@ieee.org

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society

|December 15, 2010

Summary

This study introduces automated methods for exploring data contradictions using logic and mixed-integer linear programming (MILP). It identifies alternative hypotheses by minimizing contradictions in data and assertions.

More Related Videos

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

Published on: March 1, 2022

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

Related Experiment Videos

Last Updated: Jun 6, 2026

Barnes Maze Testing Strategies with Small and Large Rodent Models

Barnes Maze Testing Strategies with Small and Large Rodent Models

Published on: February 26, 2014

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

A Psychophysics Paradigm for the Collection and Analysis of Similarity Judgments

Published on: March 1, 2022

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

The Modular Design and Production of an Intelligent Robot Based on a Closed-Loop Control Strategy

Published on: October 14, 2017

Area of Science:

Computer Science
Artificial Intelligence
Logic

Background:

Handling contradictory data is a significant challenge in automated reasoning and data analysis.
Existing methods often assume data integrity, limiting their applicability to real-world datasets.

Purpose of the Study:

To develop techniques for automated hypothesis-space exploration in datasets with potential contradictions.
To establish an equivalence between first-order predicate logic with modal quantifiers and mixed-integer linear programming (MILP) for contradiction analysis.

Main Methods:

Formulating problems in first-order predicate logic with modal quantifiers under the finite-model hypothesis.
Translating these logical formulations into mixed-integer linear programming (MILP) problems.
Utilizing slack variables within MILP constraints to detect and quantify contradictions.

Main Results:

Demonstrated a novel correspondence between logical formulations and MILP problems for contradiction detection.
Developed an implicit enumeration algorithm to systematically explore alternative hypotheses and identify contradictions.
Showcased a method to minimize contradictions by finding alternative optimal solutions in MILP.

Conclusions:

The proposed approach enables robust hypothesis exploration even with conflicting data.
This framework offers a powerful tool for identifying and understanding inconsistencies in logical assertions and data.
The integration of logic and MILP provides a flexible and scalable solution for complex data analysis challenges.