Se connecter

Bibliographies thématiques / Induction (Logic) / Thèses

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Induction (Logic).

Thèses sur le sujet « Induction (Logic) »

Auteur : Grafiati

Publié le 4 juin 2021

Mis à jour le 30 juillet 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleures thèses pour votre recherche sur le sujet « Induction (Logic) ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Parcourez les thèses sur diverses disciplines et organisez correctement votre bibliographie.

1

Wedin, Hanna. "Mathematical Induction." Thesis, Uppsala universitet, Algebra och geometri, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-414099.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

Hill, Alexandra. "Reasoning by analogy in inductive logic." Thesis, University of Manchester, 2013. https://www.research.manchester.ac.uk/portal/en/theses/reasoning-by-analogy-in-inductive-logic(039622d8-ab3f-418f-b46c-4d4e7a9eb6c1).html.

Texte intégral

Résumé :

This thesis investigates ways of incorporating reasoning by analogy into Pure (Unary) Inductive Logic. We start with an analysis of similarity as distance, noting that this is the conception that has received most attention in the literature so far. Chapter 4 looks in some detail at the consequences of adopting Hamming Distance as our measure of similarity, which proves to be a strong requirement. Chapter 5 then examines various adaptations of Hamming Distance and proposes a subtle modification, further-away-ness, that generates a much larger class of solutions.

Styles APA, Harvard, Vancouver, ISO, etc.

3

Lapointe, Stéphane. "Induction of recursive logic programs." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7467.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Rowan, Michael. "Hume, probability and induction." Title page, contents and abstract only, 1985. http://web4.library.adelaide.edu.au/theses/09PH/09phr877.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Caldon, Patrick Computer Science &amp Engineering Faculty of Engineering UNSW. "Limiting programs for induction in artificial intelligence." Awarded by:University of New South Wales, 2008. http://handle.unsw.edu.au/1959.4/37484.

Texte intégral

Résumé :

This thesis examines a novel induction-based framework for logic programming. Limiting programs are logic programs distinguished by two features, in general they contain an infinite data stream over which induction will be performed, and in general it is not possible for a system to know when a solution for any program is correct. These facts are characteristic of some problems involving induction in artificial intelligence, and several problems in knowledge representation and logic programming have exactly these properties. This thesis presents a specification language for problems with an in

Styles APA, Harvard, Vancouver, ISO, etc.

6

Tappert, Peter M. "Damage identification using inductive learning." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-05092009-040651/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Kimber, Timothy. "Learning definite and normal logic programs by induction on failure." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/9961.

Texte intégral

Résumé :

This thesis presents two novel inductive logic programming (ILP) approaches, based on the notion of a connected theory. A connected theory contains clauses that depend on one another, either directly or via clauses in the background knowledge. Generalisation of such a theory is proved to be a sound and complete method for learning definite ILP hypotheses. The Induction on Failure (IOF) proof procedure, based on the connected theory generalisation method, adds secondary examples into the hypothesis, and generates auxiliary clauses to explain them. These concepts, novel to IOF, address the issue

Styles APA, Harvard, Vancouver, ISO, etc.

8

Barnes, Valerie Elizabeth. "The quality of human judgment : an alternative perspective /." Thesis, Connect to this title online; UW restricted, 1985. http://hdl.handle.net/1773/9139.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Syed, Altaf Ahmad. "Applied Fuzzy Logic Controls for Improving Dynamic Response of Induction Machines." Connect to resource online, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=ysu1219671348.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Barker, Gillian Abernathy. "Abstraction, analogy and induction : toward a general account of ampliative inference /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 1997. http://wwwlib.umi.com/cr/ucsd/fullcit?p9820857.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Snyder, Thomas D. "The effects of variability on damage identification with inductive learning." Thesis, Virginia Tech, 1994. http://hdl.handle.net/10919/42160.

Texte intégral

Résumé :

This work discusses the effects of inherent variabilities on the damage identification problem. The goal of damage identification is to detect structural damage before it reaches a level which will detrimentally affect the structure’s performance. Inductive learning is one tool which has been proposed as an effective method to perform damage identification. There are many variabilities which are inherent in damage identification and can cause problems when attempting to detect damage. Temperature fluctuation and manufacturing variability are specifically addressed. Temperature is shown to be

Styles APA, Harvard, Vancouver, ISO, etc.

12

Silvestrini, Luiz Henrique da Cruz. "Tableaux e indução na lógica do plausível /." Marília : [s.n.], 2005. http://hdl.handle.net/11449/91404.

Texte intégral

Résumé :

Orientador: Hércules de Araújo Feitosa<br>Banca: Maria Cláudia Cabrini Grácio<br>Banca: Ítala Maria Loffredo DOttaviano<br>Resumo: Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formalização semântica é dada por um subconjunto do conjunto das partes do universo. Nesta particularização de lógica modulada, é incluído o quantificador do Plausível P, que engendra a formalização de um raciocíni

Styles APA, Harvard, Vancouver, ISO, etc.

13

Nurwati, Tri. "Contribution to fuzzy logic controller of six-phase induction generator for wind turbine application." Electronic Thesis or Diss., Amiens, 2019. http://www.theses.fr/2019AMIE0064.

Texte intégral

Résumé :

La génératrice à induction à cage d'écureuil joue un rôle important dans diverses applications éoliennes. Dans cette thèse, une génératrice à induction à six phases à cage d'écureuil présentant 24 pôles a été étudiée. Cette génératrice peut continuer de fonctionner même lorsque 1, 2 ou 3 phases statoriques ou bras d'onduleur sont défaillants. Un modèle de la génératrice à induction dit macroscopique est proposé basé sur les équations standard de tension de la machine et des équations générales du couple et de la vitesse rotorique dans le repère abcdef. Ses paramètres sont similaires à ceux des

Styles APA, Harvard, Vancouver, ISO, etc.

14

Chen, Youming. "The Problem of Induction, Ordinary Language Dissolution, and Evidence." Scholarship @ Claremont, 2017. http://scholarship.claremont.edu/scripps_theses/989.

Texte intégral

Résumé :

The problem of induction is most famously discussed by David Hume, though he himself has never resorted to the notion of “induction.” As part of Hume’s overall project of identifying the logical fallacy of causal relations, the problem of induction is identified as the problem of “the unobservable matters of fact.“ Hume argues that, as empirical beings, we can believe in two types of knowledge with confidence: relations of ideas and observable matters of facts. We can be certain about the relations of ideas, since by analyzing the relation itself we can come to necessarily true conclusions abo

Styles APA, Harvard, Vancouver, ISO, etc.

15

Olson, Charles. "Similarity, properties and concepts." Thesis, University of Oxford, 2004. http://ora.ox.ac.uk/objects/uuid:02e158df-0445-4380-9ef8-bf488d00a889.

Texte intégral

Résumé :

This thesis argues that one can fruitfully think of Nelson Goodman's New Riddle of Induction as a reductio ad absurdum of a certain set of views of the relationship between similarities, on the one hand, and properties, concepts, or predicates, on the other. It argues that any view which takes similarities between particulars to be most fundamentally explained by those objects' sharing a property, satisfying a concept, or falling under a predicate leaves itself without the resources to provide a satisfying answer to a Goodmanian sceptic who proposes that inductive inferences using "grue" are e

Styles APA, Harvard, Vancouver, ISO, etc.

16

Florez, Restrepo Jorge Alejandro. "CONNECTIONS BETWEEN THE PHILOSOPHIES OF ARISTOTLE AND PEIRCE WITH REGARD TO NON-DEDUCTIVE INFERENCES AND TO THEORY OF COGNITION." OpenSIUC, 2013. https://opensiuc.lib.siu.edu/dissertations/673.

Texte intégral

Résumé :

This dissertation inaugurates a study on the connections between the philosophies of Aristotle and Charles S. Peirce. It discusses, first, Peirce's reading of Aristotle's works and philosophy, with an emphasis on three studies by Peirce of a translation of Aristotle's Categories, a study on Aristotle's notion of priority, and a study on the current situation of the Corpus Aristotelicum. Secondly, this dissertation deals with logic, particularly induction, abduction, and analogy. In the case of induction, Peirce claimed that Aristotle stated perfectly the form of induction in Prior Analytics II

Styles APA, Harvard, Vancouver, ISO, etc.

17

Silvestrini, Luiz Henrique da Cruz [UNESP]. "Tableaux e indução na lógica do plausível." Universidade Estadual Paulista (UNESP), 2005. http://hdl.handle.net/11449/91404.

Texte intégral

Résumé :

Made available in DSpace on 2014-06-11T19:25:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-09-27Bitstream added on 2014-06-13T18:26:17Z : No. of bitstreams: 1 silvestrini_lhc_me_mar.pdf: 390849 bytes, checksum: 3e56bcae7fb7fbdc04cda1eb30e5f1ea (MD5)<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)<br>Em 1999, Grácio introduziu a Lógica do Plausível como uma particularização de uma família de sistemas lógicos, caracterizados pela inclusão de um quantificador generalizado na sintaxe da lógica clássica de predicados, a saber, as Lógicas Moduladas, cuja formaliz

Styles APA, Harvard, Vancouver, ISO, etc.

18

Zhao, Jibo. "An Efficient Wide-Speed Direct Torque Control Based on Fuzzy Logic Technique." University of Toledo / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1352922315.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Yonge, Katherine Chandler. "Criminal profile accuracy following training in inductive and deductive approaches." Master's thesis, Mississippi State : Mississippi State University, 2008. http://library.msstate.edu/etd/show.asp?etd=etd-03312008-194642.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

JÃnior, AntÃnio Barbosa de Souza. "Hybrid position controller for an field-oriented induction motor drive." Universidade Federal do CearÃ, 2014. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13468.

Texte intégral

Résumé :

CoordenaÃÃo de AperfeÃoamento de Pessoal de NÃvel Superior<br>This work describes the study and implementation of a hybrid control technique applied to the positioning of the rotor shaft in a three-phase induction motor (IM). The machine has been modeled using the field oriented control (FOC) strategy. In additional, it is used three controllers to obtain the design of the position loop, each one with different operating characteristics. Initially, two constant gain controllers are associated with the position loop diagram in the FOC technique in order to obtain a fastest response, with distur

Styles APA, Harvard, Vancouver, ISO, etc.

21

Pereira, Ricardo Gentil de Ara?jo. "Interpreta??o e an?lise do problema da indu??o sob uma vis?o fundamentada em teorias de conjuntos e teoria de probabilidades." Universidade Federal do Rio Grande do Norte, 2012. http://repositorio.ufrn.br:8080/jspui/handle/123456789/16503.

Texte intégral

Résumé :

Made available in DSpace on 2014-12-17T15:12:16Z (GMT). No. of bitstreams: 1 RicardoGAP_DISSERT.pdf: 757603 bytes, checksum: bfeae294ee68b7c0f314886fbbd624fb (MD5) Previous issue date: 2012-10-02<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in thes

Styles APA, Harvard, Vancouver, ISO, etc.

22

Karanayil, Baburaj Electrical Engineering &amp Telecommunications Faculty of Engineering UNSW. "Parameter identification for vector contolled induction motor drives using artificial neural networks and fuzzy principles." Awarded by:University of New South Wales. Electrical Engineering and Telecommunications, 2005. http://handle.unsw.edu.au/1959.4/21999.

Texte intégral

Résumé :

This thesis analyses, develops and implements a very fast on-line parameter identification algorithm for both rotor and stator resistances of a rotor flux oriented induction motor drive, with the best possible convergence results using artificial neural networks and fuzzy logic systems. The thesis focuses mainly on identifying the rotor resistance, which is the most critical parameter for RFOC. Limitations of PI and fuzzy logic based estimators were identified. Artificial neural network based estimators were found to track the rotor and stator resistances of the drive accurately and fast. The

Styles APA, Harvard, Vancouver, ISO, etc.

23

Bradley, William J. "Current Based Fault Detection and Diagnosis of Induction Motors. Adaptive Mixed-Residual Approach for Fault Detection and Diagnosis of Rotor, Stator, Bearing and Air-Gap Faults in Induction Motors Using a Fuzzy Logic Classifier with Voltage and Current Measurement only." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/7265.

Texte intégral

Résumé :

Induction motors (IM) find widespread use in modern industry and for this reason they have been subject to a significant amount of research interest in recent times. One particular aspect of this research is the fault detection and diagnosis (FDD) of induction motors for use in a condition based maintenance (CBM) strategy; by effectively tracking the condition of the motor, maintenance action need only be carried out when necessary. This type of maintenance strategy minimises maintenance costs and unplanned downtime. The benefits of an effective FDD for IM is clear and there have been numerous

Styles APA, Harvard, Vancouver, ISO, etc.

24

Bradley, William John. "Current based fault detection and diagnosis of induction motors : adaptive mixed-residual approach for fault detection and diagnosis of rotor, stator, bearing and air-gap faults in induction motors using a fuzzy logic classifier with voltage and current measurement only." Thesis, University of Bradford, 2013. http://hdl.handle.net/10454/7265.

Texte intégral

Résumé :

Induction motors (IM) find widespread use in modern industry and for this reason they have been subject to a significant amount of research interest in recent times. One particular aspect of this research is the fault detection and diagnosis (FDD) of induction motors for use in a condition based maintenance (CBM) strategy; by effectively tracking the condition of the motor, maintenance action need only be carried out when necessary. This type of maintenance strategy minimises maintenance costs and unplanned downtime. The benefits of an effective FDD for IM is clear and there have been numerous

Styles APA, Harvard, Vancouver, ISO, etc.

25

Fisher, Anna Valeryevna. "Inductive generalization underlying mechanisms and developmental course /." Connect to resource, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1117039741.

Texte intégral

Résumé :

Thesis (Ph.D.)--Ohio State University, 2005.<br>Title from first page of PDF file. Document formatted into pages; contains xii, 110 p.; also includes graphics. Includes bibliographical references (p. 103-110). Available online via OhioLINK's ETD Center

Styles APA, Harvard, Vancouver, ISO, etc.

26

Ventura, Pedro Paulo Ramos. "A racionalidade indutiva: em que consiste?" Universidade do Vale do Rio dos Sinos, 2015. http://www.repositorio.jesuita.org.br/handle/UNISINOS/4959.

Texte intégral

Résumé :

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-11-24T11:08:18Z No. of bitstreams: 1 Pedro Paulo Ramos Ventura_.pdf: 550481 bytes, checksum: 6aef3b27d08345e9e4d1968a0d4eee14 (MD5)<br>Made available in DSpace on 2015-11-24T11:08:18Z (GMT). No. of bitstreams: 1 Pedro Paulo Ramos Ventura_.pdf: 550481 bytes, checksum: 6aef3b27d08345e9e4d1968a0d4eee14 (MD5) Previous issue date: 2015-09-29<br>CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>O objeto geral dessa dissertação consiste em investigar a natureza dos raciocínios indutivos partindo da an

Styles APA, Harvard, Vancouver, ISO, etc.

27

Baker, Carolyn Denise. "The use of Ned Flanders' interaction analysis to shape an inductive teaching model for a Native American classroom." Theological Research Exchange Network (TREN), 1995. http://www.tren.com.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Menna, Sergio Hugo. "Máquinas, gênios e homens na construção do conhecimento = uma interpretação heurística do método indutivo de Francis Bacon." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280455.

Texte intégral

Résumé :

Orientador: José Carlos Pinto de Oliveira<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas<br>Made available in DSpace on 2018-08-18T06:04:22Z (GMT). No. of bitstreams: 1 Menna_SergioHugo_D.pdf: 2716382 bytes, checksum: 6142783b3c83d2ad782502cfe287dbb6 (MD5) Previous issue date: 2011<br>Resumo: A historiografia contemporânea da metodologia herdou vários 'enigmas' a serem resolvidos sobre as ideias e contribuições de Francis Bacon. Qual é a estrutura do seu método de indução, qual é a natureza de sua 'lógica da descoberta', qual o valor que el

Styles APA, Harvard, Vancouver, ISO, etc.

29

Motta, Carlos Jacinto Nascimento. "Francis Bacon e a nova indução: reforma do entendimento e restauração do homem." Pontifícia Universidade Católica de São Paulo, 2015. https://tede2.pucsp.br/handle/handle/11694.

Texte intégral

Résumé :

Made available in DSpace on 2016-04-27T17:27:12Z (GMT). No. of bitstreams: 1 Carlos Jacinto Nascimento Motta.pdf: 1413752 bytes, checksum: 466d45d754b40761f382c04cc0cb65a4 (MD5) Previous issue date: 2015-10-23<br>The PhD. thesis here offered has as its aim the presentation of the Baconian conception of induction, understood as an essential element for the realization of Francis Bacon s project of a Restauration of by means of a reform of learning and sciences. In his most important and influente work, the Instauratio Magna, Bacon highlights the need for a wide survey of both the knowledge an

Styles APA, Harvard, Vancouver, ISO, etc.

30

Azcue, Puma José Luis 1981. "Estratégias de controle direto de torque para motores de indução trifásicos usando controladores fuzzy tipo Takagi-Sugeno e controladores por modos deslizantes." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260745.

Texte intégral

Résumé :

Orientador: Ernesto Ruppert Filho, Alfeu Joãozinho Sguarezi Filho<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-22T11:09:49Z (GMT). No. of bitstreams: 1 AzcuePuma_JoseLuis_D.pdf: 5829554 bytes, checksum: 6f4467c529a778cc79e42550a272a6b3 (MD5) Previous issue date: 2013<br>Resumo: Na presente tese de doutorado propõe estratégias de controle por orientação direta de campo (FOC direto) e de controle direto de torque (CDT) com emprego de controladores fuzzy do tipo Takagi-Sugeno (fuzzy T-S). Propõe-

Styles APA, Harvard, Vancouver, ISO, etc.

31

Azcue, Puma José Luis 1981. "Controle direto de torque do motor de indução trifásico usando controlador Fuzzy tipo PI autoajustável." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/258996.

Texte intégral

Résumé :

Orientador: Ernesto Ruppert Filho<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação<br>Made available in DSpace on 2018-08-16T21:19:34Z (GMT). No. of bitstreams: 1 AzcuePuma_JoseLuis_M.pdf: 8979349 bytes, checksum: a4b6502489a503823c332031a587452b (MD5) Previous issue date: 2010<br>Resumo: Neste trabalho apresenta-se o desempenho de um controlador fuzzy tipo PI autoajustável (FPIA) para o uso no esquema de controle direto de torque com modulação por vetores espaciais apresentado por J. Rodriguez e outros em 2004. Apresenta-se tamb

Styles APA, Harvard, Vancouver, ISO, etc.

32

Cruz, Amanda Guerra de Araújo. "Sistema híbrido para diagnóstico de falhas em motores de indução trifásicos com base no método vibracional, corrente de armadura e lógica fuzzy." Universidade Federal da Paraíba, 2015. http://tede.biblioteca.ufpb.br:8080/handle/tede/8962.

Texte intégral

Résumé :

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-05-24T12:51:24Z No. of bitstreams: 1 arquivototal.pdf: 2705219 bytes, checksum: cb06011410866630871a99b2788703f1 (MD5)<br>Made available in DSpace on 2017-05-24T12:51:24Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2705219 bytes, checksum: cb06011410866630871a99b2788703f1 (MD5) Previous issue date: 2015-10-26<br>The three-phase induction motors are the most important way for electromechanical conversion, being present in almost every industrial process. Because of their importance, it is crucial that these devices have a proper p

Styles APA, Harvard, Vancouver, ISO, etc.

33

Aleman, Anca. "Recherches sur la pensée musicale de Glenn Gould : l’empreinte de l’héritage schoenbergien." Thesis, Paris 4, 2011. http://www.theses.fr/2011PA040123.

Texte intégral

Résumé :

Cette thèse se propose de démontrer que, au-delà de son image d’interprète de la musique de Jean-Sébastien Bach, le pianiste Glenn Gould a développé, à travers ses nombreux écrits, une véritable pensée musicologique, qui surprend par sa cohérence et dont les racines sont à chercher en réalité du côté d’Arnold Schoenberg, le compositeur qui l’aura le plus influencé. Nous nous attachons donc ici à l’observation et à l’analyse de cette pensée à travers les écrits du musicien canadien, l’objectif étant la mise en évidence du rapport existant avec la pensée de Schoenberg. L’analyse comparative mené

Styles APA, Harvard, Vancouver, ISO, etc.

34

Lima, Fábio. "Estimador neuro-fuzzy de velocidade aplicado ao controle vetorial sem sensores de motores de indução trifásicos." Universidade de São Paulo, 2010. http://www.teses.usp.br/teses/disponiveis/3/3143/tde-20092011-150232/.

Texte intégral

Résumé :

Este trabalho apresenta uma alternativa ao controle vetorial de motores de indução, sem a utilização de sensores para realimentação da velocidade mecânica do motor. Ao longo do tempo, diversas técnicas de controle vetorial têm sido propostas na literatura. Dentre elas está a técnica de controle por orientação de campo (FOC), muito utilizada na indústria e presente também neste trabalho. A principal desvantagem do FOC é a sua grande sensibilidade às variações paramétricas da máquina, as quais podem invalidar o modelo e as ações de controle. Nesse sentido, uma estimativa correta dos parâmetros d

Styles APA, Harvard, Vancouver, ISO, etc.

35

Groves, Teddy. "Let's reappraise Carnapian inductive logic!" Thesis, University of Kent, 2015. https://kar.kent.ac.uk/54023/.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Chen, Guiming. "Fuzzy FOIL: A fuzzy logic based inductive logic programming system." Thesis, University of Ottawa (Canada), 1996. http://hdl.handle.net/10393/9621.

Texte intégral

Résumé :

In many domains, characterizations of a given attribute are imprecise, uncertain and incomplete in the available learning examples. The definitions of classes may be vague. Learning systems are frequently forced to deal with such uncertainty. Traditional learning systems are designed to work in the domains where imprecision and uncertainty in the data are absent. Those learning systems are limited because of their impossibility to cope with uncertainty--a typical feature of real-world data. In this thesis, we developed a fuzzy learning system which combines inductive learning with a fuzzy appr

Styles APA, Harvard, Vancouver, ISO, etc.

37

Bordon, Mario Eduardo. "Controlador nebuloso de arquitetura simplificada estudo de caso : acionamento de motor de indução trifasico." [s.n.], 2004. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260291.

Texte intégral

Résumé :

Orientador: Oseas Valente de Avilez Filho<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-04T00:32:30Z (GMT). No. of bitstreams: 1 Bordon_MarioEduardo_D.pdf: 1470672 bytes, checksum: e05feebeca9a1ab481716d9a42b1a8f5 (MD5) Previous issue date: 2004<br>Resumo: O objetivo deste trabalho foi o desenvolvimento de um controlador digital simples e eficiente, utilizando conceitos de lógica nebulosa, aplicado no acionamento de um motor de indução trifásico. Trata-se de um trabalho de engenharia aplicada,

Styles APA, Harvard, Vancouver, ISO, etc.

38

Pinheiro, H?lio Henrique Cunha. "Sistema para detec??o e diagn?stico de falhas em motores el?tricos de indu??o utilizando l?gica fuzzy." Universidade Federal do Rio Grande do Norte, 2011. http://repositorio.ufrn.br:8080/jspui/handle/123456789/15388.

Texte intégral

Résumé :

Made available in DSpace on 2014-12-17T14:55:56Z (GMT). No. of bitstreams: 1 HelioHCP_DISSERT.pdf: 2649090 bytes, checksum: 4af294fb0fbf94f5f1ce08428f01d668 (MD5) Previous issue date: 2011-12-22<br>Induction motors are one of the most important equipment of modern industry. However, in many situations, are subject to inadequate conditions as high temperatures and pressures, load variations and constant vibrations, for example. Such conditions, leaving them more susceptible to failures, either external or internal in nature, unwanted in the industrial process. In this context, predictive main

Styles APA, Harvard, Vancouver, ISO, etc.

39

Sazonau, Viachaslau. "General terminology induction in description logics." Thesis, University of Manchester, 2017. https://www.research.manchester.ac.uk/portal/en/theses/general-terminology-induction-in-description-logics(63142865-d610-4041-84fa-764af1759554).html.

Texte intégral

Résumé :

In computer science, an ontology is a machine-processable representation of knowledge about some domain. Ontologies are encoded in ontology languages, such as the Web Ontology Language (OWL) based on Description Logics (DLs). An ontology is a set of logical statements, called axioms. Some axioms make universal statements, e.g. all fathers are men, while others record data, i.e. facts about specific individuals, e.g. Bob is a father. A set of universal statements is called TBox, as it encodes terminology, i.e. schema-level conceptual relationships, and a set of facts is called ABox, as it encod

Styles APA, Harvard, Vancouver, ISO, etc.

40

Wang, Yu. "Parallel inductive logic in data mining." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0019/MQ54492.pdf.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Hill, Carla. "Mass assignments for inductive logic programming." Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.325748.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Ronel, Tahel. "Symmetry principles in polyadic inductive logic." Thesis, University of Manchester, 2016. https://www.research.manchester.ac.uk/portal/en/theses/symmetry-principles-in-polyadic-inductive-logic(6bd9665b-b236-435c-9aad-7edb3cfc399e).html.

Texte intégral

Résumé :

We investigate principles of rationality based on symmetry in Polyadic Pure Inductive Logic. The aim of Pure Inductive Logic (PIL) is to determine how to assign probabilities to sentences of a language being true in some structure on the basis of rational considerations. This thesis centres on principles arising from instances of symmetry for sentences of first-order polyadic languages. We begin with the recently introduced Permutation Invariance Principle (PIP), and find that it is determined by a finite number of permutations on a finite set of formulae. We test the consistency of PIP with e

Styles APA, Harvard, Vancouver, ISO, etc.

43

Lin, Dianhuan. "Logic programs as declarative and procedural bias in inductive logic programming." Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24553.

Texte intégral

Résumé :

Machine Learning is necessary for the development of Artificial Intelligence, as pointed out by Turing in his 1950 article ``Computing Machinery and Intelligence''. It is in the same article that Turing suggested the use of computational logic and background knowledge for learning. This thesis follows a logic-based machine learning approach called Inductive Logic Programming (ILP), which is advantageous over other machine learning approaches in terms of relational learning and utilising background knowledge. ILP uses logic programs as a uniform representation for hypothesis, background knowled

Styles APA, Harvard, Vancouver, ISO, etc.

44

Athakravi, Duangtida. "Inductive logic programming using bounded hypothesis space." Thesis, Imperial College London, 2015. http://hdl.handle.net/10044/1/33798.

Texte intégral

Résumé :

Inductive Logic Programming (ILP) systems apply inductive learning to an inductive learning task by deriving a hypothesis which explains the given examples. Applying ILP systems to real applications poses many challenges as they require large search space, noise is present in the learning task, and in domains such as software engineering hypotheses are required to satisfy domain specific syntactic constraints. ILP systems use language biases to define the hypothesis space, and learning can be seen as a search within the defined hypothesis space. Past systems apply search heuristics to traverse

Styles APA, Harvard, Vancouver, ISO, etc.

45

Howarth, Elizabeth. "New rationality principles in pure inductive logic." Thesis, University of Manchester, 2015. https://www.research.manchester.ac.uk/portal/en/theses/new-rationality-principles-in-pure-inductive-logic(e23d028f-c3e9-47b1-a5a0-289027f4d97f).html.

Texte intégral

Résumé :

We propose and investigate several new principles of rational reasoning within the framework of Pure Inductive Logic, PIL, where probability functions defined on the sentences of a first-order language are used to model an agent's beliefs. The Elephant Principle is concerned with how learning, modelled by conditioning, may be uniquely `remembered'. The Perspective Principle requires that, from a given prior, conditioning on statistically similar experiences should result in similar assignments, and is found to be a necessary condition for Reichenbach's Axiom to hold. The Abductive Inference Pr

Styles APA, Harvard, Vancouver, ISO, etc.

46

Corapi, Domenico. "Nonmonotonic inductive logic programming as abductive search." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/9814.

Texte intégral

Résumé :

Inductive Logic Programming (ILP) is a machine learning technique that relies on logic programs as a representation language. Most of the effort in the field of ILP has concentrated on a restricted class of problems, providing solutions that do not fully support negation. On the other hand, integration of negation and nonmonotonic reasoning in logic programming is common and important for a number of problems. This thesis presents an approach to nonmonotonic ILP that is based on a transformation of the original problem to a problem that can be solved by employing abductive reasoning. In partic

Styles APA, Harvard, Vancouver, ISO, etc.

47

Lukac, Martin. "Quantum Inductive Learning and Quantum Logic Synthesis." PDXScholar, 2009. https://pdxscholar.library.pdx.edu/open_access_etds/2319.

Texte intégral

Résumé :

Since Quantum Computer is almost realizable on large scale and Quantum Technology is one of the main solutions to the Moore Limit, Quantum Logic Synthesis (QLS) has become a required theory and tool for designing Quantum Logic Circuits. However, despite its growth, there is no any unified aproach to QLS as Quantum Computing is still being discovered and novel applications are being identified. The intent of this study is to experimentally explore principles of Quantum Logic Synthesis and its applications to Inductive Machine Learning. Based on algorithmic approach, I first design a Genetic Alg

Styles APA, Harvard, Vancouver, ISO, etc.

48

Lamim, Filho Paulo Cezar Monteiro. "Monitoramento permanente de motores de indução trifasicos." [s.n.], 2007. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265206.

Texte intégral

Résumé :

Orientador: Robson Pederiva<br>Tese (doutorado) - Universidade Estadual de Campinas. Faculdade de Engenharia Mecanica<br>Made available in DSpace on 2018-08-09T22:58:42Z (GMT). No. of bitstreams: 1 LamimFilho_PauloCezarMonteiro_D.pdf: 3058410 bytes, checksum: b3139213ab7f18f3ff80772b9e063ab3 (MD5) Previous issue date: 2007<br>Resumo: Um programa de manutenção preditiva deve englobar várias técnicas de monitoramento a condição do motor elétrico. Dentre elas, pode-se citar como clássicas, a análise de corrente elétrica e análise de vibrações. Entretanto, existe um grande número de dificuldades

Styles APA, Harvard, Vancouver, ISO, etc.

49

Landes, Juergen. "The principle of spectrum exchangeability within inductive logic." Thesis, University of Manchester, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.496260.

Texte intégral

Résumé :

We investigate the consequences of the principle of Spectrum Exchangeability m inductive logic over the polyadic fragment of first order logic. This principle roughly states that the probability of a possible world should only depend on how the inhabitants of this world behave with respect to indistinguishability. This principle is a natural generahzation of exchangeability principles that have long been investigated over the monadic predicate fragment of first order logic. It is grounded in our deep conviction that in the state of total ignorance all possible worlds that can be obtained from

Styles APA, Harvard, Vancouver, ISO, etc.

50

NGUEMBANG, FADJA Arnaud. "Scalable Probabilistic Inductive Logic Programming for Big Data." Doctoral thesis, Università degli studi di Ferrara, 2020. http://hdl.handle.net/11392/2487879.

Texte intégral

Résumé :

The size of the data available on the Internet and in various fields is constantly increasing. This lead to the phenomenon called big data. Since these data come from different sources and are heterogeneous, they are intrinsically characterized by incompleteness and/or uncertainty. In order to manage such data, systems have to be not only able to represent uncertainty but also scalable enough to deal with ever-increasing data. Systems based on logic provide powerful tools for representing, reasoning and learning from data characterized by uncertainty. The Distributions Semantics (DS) is a well

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!