Results 81 to 90 of about 24,485 (301)
Semantic analysis of inductive reasoning
Theoretical Computer Science, 1986 A semantic model of inductive reasoning is presented. The starting point is a general schema: ''given background knowledge K and an observational statement S, a sentence H is an inductive hypothesis for S with respect to K iff H is a generalization of S, and H is consistent with K''.
openaire +3 more sources
Probing Near‐Field EM Fluctuations in Superparamagnetic CoFeB With NV Quantum Dephasometry
Advanced Optical Materials, EarlyView.We non‐invasively investigate the superparamagnetic spin dynamics of a 1.1 nm CoFeB layer by probing its near‐field EM fluctuations using NV centers‐based quantum dephasometry. Our findings are further supported by theoretical modeling and SQUID‐based magnetization characterization. These results provide critical insight into the magnetization dynamics
Shoaib Mahmud +5 more
wiley +1 more source
Inductive reasoning in superposition [PDF]
In this thesis, we focus on extending automated reasoning for formal verification with induction. Theories of inductively defined data types, such as natural numbers or lists, and the theory of integer arithmetic are commonly used in the development of ...
Hozzová, Petra; orcid:
core +1 more source
Inductive Reasoning About Unawareness [PDF]
, 2017 We develop a model of games with awareness that allows for differential levels of awareness. We show that, for the standard modal logical interpretations of belief and awareness, a player cannot believe there exist propositions of which he is unaware ...
Quiggin, John, Grant, Simon
core +1 more source
Reasoning with Inductive Argument Test: A Study of Validity and Reliability
Bilişsel Davranışçı Psikoterapi ve Araştırmalar Dergisi, 2013 Reasoning with Inductive Argument Test:A Study of Validity and Reliability Objective: The aim of our study is to research reliability and validity and to evaluate the usability of Turkish version of Reasoning with Inductive Argument Test (RIAT) in ...
Mehmet Emrah Karadere +6 more
doaj +1 more source
The Potential of Prospect Theory under Inductive Reasoning
Foundations of Computing and Decision SciencesThe TODIM method was the first Multiple Criteria Decision Making (MCDM) approach to incorporate the advances of judgment and decision theory based on the findings of prospect theory.
Leoneti Alexandre Bevilacqua +1 more
doaj +1 more source
On–Off Switchable Micromotors for Use in Steerable Microvehicles
Advanced Robotics Research, EarlyView.Electrically controllable micromotors and microvehicles are developed by tuning the diffusion of the fuel. Self‐propelled micromotors using bubble propulsion show great promise for miniaturized devices with multiuse purposes such as cargo delivery and sensing. However, there is currently no method to electrically switch the micromotors on or off. Here,
Hugo Severinsson +3 more
wiley +1 more source
Dynamics of Inductive Inference in a Unified Framework [PDF]
We present a model of inductive inference that includes, as special cases, Bayesian reasoning, case-based reasoning, and rule-based reasoning. This unified framework allows us to examine, positively or normatively, how the various modes of inductive ...
Itzhak Gilboa +2 more
core
DEVELOPING INDUCTIVE THINKING KIT TO IMPROVE REPRESENTATION DATA AND SCIENTIFIC REASONING SKILLS
Jurnal Kependidikan: Penelitian Inovasi Pembelajaran, 2018 This study was aimed at producing and examining the effectiveness of physics learning kit of inductive thinking model which is reasonably to increase students’ data representations and scientific reasoning skills.
Yudi Guntara, Insih Wilujeng
doaj +1 more source
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source