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

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

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,...

Constraints and Statical Determinacy

Constraints and Statical Determinacy

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

Criteria for Causality: Bradford Hill Criteria - II

Criteria for Causality: Bradford Hill Criteria - II

The Bradford Hill criteria serve as guidelines for establishing causative links in epidemiological research. Beyond Strength, Consistency, Specificity, and Temporality, key criteria also include Biological Gradient, Plausibility, Coherence, Experiment, and Analogy. These principles assist scientists in assessing the likelihood of causation in complex biological contexts. Below is a summary of these concepts:

Criteria for Causality: Bradford Hill Criteria - I

Criteria for Causality: Bradford Hill Criteria - I

The Bradford Hill criteria are a group of principles that provide a framework to determine a causal relationship between a specific factor and a disease. There are nine criteria that are pivotal in assessing causality in epidemiological studies. Here's a closer look at Strength, Consistency, Specificity, and Temporality criteria with definitions and examples:

You might also read

Related Articles

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

Sort by

Same journal

Predicting Individual Treatment Effects: Challenges and Opportunities for Machine Learning and Artificial Intelligence.

Kunstliche intelligenz·2025

Same journal

In Search of Basement Indicators from Street View Imagery Data: An Investigation of Data Sources and Analysis Strategies.

Kunstliche intelligenz·2023

Same journal

Generating Explanations for Conceptual Validation of Graph Neural Networks: An Investigation of Symbolic Predicates Learned on Relevance-Ranked Sub-Graphs.

Kunstliche intelligenz·2023

Same journal

A Framework for Learning Event Sequences and Explaining Detected Anomalies in a Smart Home Environment.

Kunstliche intelligenz·2022

Same journal

Some Thoughts on AI Stimulated by Michael Wooldridge's Book "The Road to Conscious Machines. The Story of AI".

Kunstliche intelligenz·2022

Same journal

Simplifying Programming for Non-technical Students: A Hermeneutic Approach.

Kunstliche intelligenz·2022

See all related articles

Search research articles

Related Experiment Video

Updated: Jun 8, 2025

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

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

Published on: October 13, 2018

Report on "Axiomatizing Conditional Normative Reasoning".

Xavier Parent¹

¹TU Wien, Favoritenstrasse 9, 1040 Wien, Austria.

Kunstliche Intelligenz

|November 4, 2024

Summary

This summary is machine-generated.

This project axiomatizes conditional normative reasoning, focusing on preference-based logic for conditional obligation to better handle exceptions and contrary-to-duty scenarios.

Keywords:

Automated reasoning Axiomatization Betterness Conditional obligation First-order reasoning

More Related Videos

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

Published on: June 12, 2020

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Published on: May 14, 2019

Related Experiment Videos

Last Updated: Jun 8, 2025

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

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

Published on: October 13, 2018

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients

Published on: June 12, 2020

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE

Published on: May 14, 2019

Area of Science:

Formal logic
Philosophy of law
Artificial intelligence

Background:

Conditional normative reasoning is crucial for understanding obligations and rules.
Existing logical frameworks struggle with exceptions and contrary-to-duty situations.

Purpose of the Study:

To provide an axiomatic study of conditional normative reasoning.
To deepen the understanding of preference-based logic for conditional obligation.
To explore both propositional and first-order levels of reasoning.

Main Methods:

Axiomatic formalization of conditional normative reasoning.
Investigation of preference-based logic for conditional obligation.
Meta-theoretical analysis of the proposed logical framework.

Main Results:

Development of an axiomatic system for conditional normative reasoning.
Enhanced treatment of contrary-to-duty reasoning and exceptions.
Exploration of the mechanization of the logic.

Conclusions:

The axiomatic approach offers a rigorous foundation for conditional normative reasoning.
Preference-based logic provides a powerful tool for handling complex normative scenarios.
Further research can explore the practical applications and computational aspects of this logic.