Results 271 to 280 of about 41,039 (314)
Some of the next articles are maybe not open access.
On generation of inductive hypotheses
International Journal of Man-Machine Studies, 1977A logic of discovery developed as a theoretical background of certain methods of mechanized formation of inductive hypotheses is surveyed. In the first part a logic of induction is developed, based on formal notions of observational and theoretical calculi and inductive inference rules.
Petr Hájek 0001, Tomás Havránek
openaire +2 more sources
Feature Selection for Inductive Generalization
Cognitive Science, 2010AbstractJudging similarities among objects, events, and experiences is one of the most basic cognitive abilities, allowing us to make predictions and generalizations. The main assumption in similarity judgment is that people selectively attend to salient features of stimuli and judge their similarities on the basis of the common and distinct features ...
Na-Yung Yu +4 more
openaire +2 more sources
A proof of generalized induction
ACM SIGACT News, 1987The purpose of the paper is to expose the means by which the theorem of generalized induction (introduced as an axiom in the author's earlier paper in Z. Math. Logik Grundlagen Math. 26, 115-122 (1980; Zbl 0436.04003]) rests on the descending chain condition, DCC, for the system EP.
openaire +2 more sources
Brushless induction synchronous generator
2016 IEEE 25th International Symposium on Industrial Electronics (ISIE), 2016In present scenario of renewable energy generation systems, brush-less and magnet-less generators are becoming more popular due to merits such as high reliability, robustness, fault tolerant capability and almost maintenance free operation, etc. This paper deals with a brushless induction synchronous generator (BInSyG), where an induction and a ...
Yalla Tirumala Rao +3 more
openaire +1 more source
1993
We summarize a number of new results concerning inductive-theorem proving in the area of design specifications using Horn logic with equality. Induction is explicit here because induction orderings must be integrated into the specification. However, the proofs need less guidance if the specification is ground confluent and strongly terminating. Calculi
openaire +1 more source
We summarize a number of new results concerning inductive-theorem proving in the area of design specifications using Horn logic with equality. Induction is explicit here because induction orderings must be integrated into the specification. However, the proofs need less guidance if the specification is ground confluent and strongly terminating. Calculi
openaire +1 more source
Capacitive Excitation for Induction Generators
Transactions of the American Institute of Electrical Engineers, 1935Up to the present, applications of induction generators have been limited, mainly because they must be paralleled with an existing synchronous system to determine their frequency and voltage and to obtain their necessary excitation. The tests described in this paper show that an induction machine may be operated as an independent or isolated generator ...
E. D. Bassett, F. M. Potter
openaire +1 more source
Inductively Generating the Spherical Harmonics
SIAM Journal on Mathematical Analysis, 1991Summary: The spherical harmonics of degree less than or equal to \(k\) in \(\mathbb{R}^{n-1}\) are used to generate the spherical harmonics of degree \(k\) in \(\mathbb{R}^n\).
openaire +2 more sources
Inductive rule generation and interpretation
Journal of Experimental & Theoretical Artificial Intelligence, 1991Abstract The problem of knowledge acquisition has been recognized as the major bottleneck in the development of knowledge-based systems. An encouraging approach to alleviate this problem is inductive learning. Inductive learning systems accept, as input, a set of data that represent instances of the problem domain and produce, as output, the rules of ...
G. Kalkanis, Gerard V. Conroy
openaire +1 more source