Jove
Visualize
Contact Us

Related Concept Videos

Deductive Reasoning01:16

Deductive Reasoning

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

Inductive Reasoning

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

Reasoning

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

Constraints and Statical Determinacy

580
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...
580
Criteria for Causality: Bradford Hill Criteria - II01:28

Criteria for Causality: Bradford Hill Criteria - II

208
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:
208
Criteria for Causality: Bradford Hill Criteria - I01:30

Criteria for Causality: Bradford Hill Criteria - I

213
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:
213

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
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 Experiment Video

Updated: Jun 8, 2025

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

9.9K

Report on "Axiomatizing Conditional Normative Reasoning".

Xavier Parent1

  • 1TU Wien, Favoritenstrasse 9, 1040 Wien, Austria.

Kunstliche Intelligenz
|November 4, 2024
PubMed
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 reasoningAxiomatizationBetternessConditional obligationFirst-order reasoning

More Related Videos

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

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

Published on: June 12, 2020

5.7K
Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE
06:57

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

Published on: May 14, 2019

10.4K

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
09:27

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

Published on: October 13, 2018

9.9K
The Adventures of Fundi Intervention Based on the Cognitive and Emotional Processing in Attention Deficit Hyperactive Disorder Patients
05:48

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

Published on: June 12, 2020

5.7K
Modeling Verbal Behavior Deficits with the Stimulus Control Ratio Equation, SCoRE
06:57

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

Published on: May 14, 2019

10.4K

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.