Log in

Relevant bibliographies by topics / The rules of logic / Dissertations / Theses

To see the other types of publications on this topic, follow the link: The rules of logic.

Dissertations / Theses on the topic 'The rules of logic'

Author: Grafiati

Published: 2 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'The rules of logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Plummer, David John. "Gazing : a technique for controlling the use of rewrite rules." Thesis, University of Edinburgh, 1988. http://hdl.handle.net/1842/19242.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ramirez, Ortiz Rolando. "Circuit design rules for mixed static and dynamic CMOS logic circuits." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp03/NQ37076.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ramirez, Ortiz Rolando Carleton University Dissertation Engineering Electronics. "Circuit design rules for mixed static and dynamics CMOS logic circuits." Ottawa, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Loomis, Eric John. "Meaning, generality, and rules : language and logic in the later Wittgenstein /." Digital version accessible at:, 1999. http://wwwlib.umi.com/cr/utexas/main.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Battell, Chelsea. "The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35264.

Full text

Abstract:

Hybrid is a two-level logical framework that supports higher-order abstract syntax (HOAS), where a specification logic (SL) extends the class of object logics (OLs) we can reason about. We develop a new Hybrid SL and formalize its metatheory, proving weakening, contraction, exchange, and cut admissibility; results that greatly simplify reasoning about OLs in systems providing HOAS. The SL is a sequent calculus defined as an inductive type in Coq and we prove properties by structural induction over SL sequents. We also present a generalized SL and metatheory statement, allowing us to prove ma

APA, Harvard, Vancouver, ISO, and other styles

6

Gomes, Ana Sofia. "Derivation methods for hybrid knowledge bases with rules and ontologies." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2563.

Full text

Abstract:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática<br>First of all, I would like to thank my advisor, José Júlio Alferes, for his incredible support. Right from the start, during the first semester of this work, when we were 2700 km apart and meeting regularly via Skype, until the end of this dissertation, he was always committed and available for discussions, even when he had lots of other urgent things to do. A really special thanks to Terrance Swift, whom acted as an advisor, helping me a lo

APA, Harvard, Vancouver, ISO, and other styles

7

Morak, Michael. "The impact of disjunction on reasoning under existential rules." Thesis, University of Oxford, 2014. https://ora.ox.ac.uk/objects/uuid:b8f012c4-0210-41f6-a0d3-a9d1ea5f8fac.

Full text

Abstract:

Ontological database management systems are a powerful tool that combine traditional database techniques with ontological reasoning methods. In this setting, a classical extensional database is enriched with an ontology, or a set of logical assertions, that describe how new, intensional knowledge can be derived from the extensional data. Conjunctive queries are therefore answered against this combined knowledge base of extensional and intensional data. Many languages that represent ontologies have been introduced in the literature. In this thesis we will focus on existential rules (also called

APA, Harvard, Vancouver, ISO, and other styles

8

Lagerqvist, Victor. "A comparison of SL- and unit-resolution search rules for stratified logic programs." Thesis, Linköping University, TCSLAB - Theoretical Computer Science Laboratory, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-57363.

Full text

Abstract:

<p>There are two symmetrical resolution rules applicable to logic programs - SL-resolution which yields a top-down refutation and unit-resolution which yields a bottom-up refutation. Both resolution principles need to be coupled with a search rule before they can be used in practice. The search rule determines in which order program clauses are used in the refutation and affects both performance, completeness and quality of solutions. The thesis surveys exhaustive and heuristic search rules for SL-resolution and transformation techniques for (general) logic programs that makes unit-resolution

APA, Harvard, Vancouver, ISO, and other styles

9

Mário, Oliveira Rodrigues Cleyton. "Component assembly and theorem proving in constraint handling rules." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1821.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:52:36Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Devido á grande demanda por softwares cada vez mais robustos, complexos e flexíveis, e, sobretudo, pelo curtíssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provém do uso de uma metodologia baseada em agentes que se comunicam e com isso, ao invés dos prog

APA, Harvard, Vancouver, ISO, and other styles

10

Matthews, Stephen. "Learning lost temporal fuzzy association rules." Thesis, De Montfort University, 2012. http://hdl.handle.net/2086/8257.

Full text

Abstract:

Fuzzy association rule mining discovers patterns in transactions, such as shopping baskets in a supermarket, or Web page accesses by a visitor to a Web site. Temporal patterns can be present in fuzzy association rules because the underlying process generating the data can be dynamic. However, existing solutions may not discover all interesting patterns because of a previously unrecognised problem that is revealed in this thesis. The contextual meaning of fuzzy association rules changes because of the dynamic feature of data. The static fuzzy representation and traditional search method are ina

APA, Harvard, Vancouver, ISO, and other styles

11

Roettenbacher, Christian Wolfgang. "A framework for specifying business rules based on logic with a syntax close to natural language." Thesis, De Montfort University, 2017. http://hdl.handle.net/2086/15326.

Full text

Abstract:

The systematic interaction of software developers with the business domain experts that are usually no software developers is crucial to software system maintenance and creation and has surfaced as the big challenge of modern software engineering. Existing frameworks promoting the typical programming languages with artificial syntax are suitable to be processed by computers but do not cater to domain experts, who are used to documents written in natural language as a means of interaction. Other frameworks that claim to be fully automated, such as those using natural language processing, are to

APA, Harvard, Vancouver, ISO, and other styles

12

Carral, Martinez David. "Enhancing Description Logics For Rules Coverage." Wright State University / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=wright1347109665.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Huang, Zhongdong. "RULES BASED MODELING OF DISCRETE EVENT SYSTEMS WITH FAULTS AND THEIR DIAGNOSIS." UKnowledge, 2003. http://uknowledge.uky.edu/gradschool_diss/340.

Full text

Abstract:

Failure diagnosis in large and complex systems is a critical task. In the realm of discrete event systems, Sampath et al. proposed a language based failure diagnosis approach. They introduced the diagnosability for discrete event systems and gave a method for testing the diagnosability by first constructing a diagnoser for the system. The complexity of this method of testing diagnosability is exponential in the number of states of the system and doubly exponential in the number of failure types. In this thesis, we give an algorithm for testing diagnosability that does not construct a diagnoser

APA, Harvard, Vancouver, ISO, and other styles

14

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Macián, Sorribes Héctor. "Design of optimal reservoir operating rules in large water resources systems combining stochastic programming, fuzzy logic and expert criteria." Doctoral thesis, Universitat Politècnica de València, 2017. http://hdl.handle.net/10251/82554.

Full text

Abstract:

Given the high degree of development of hydraulic infrastructure in the developed countries, and with the increasing opposition to constructing new facilities in developing countries, the focus of water resource system analysis has turned into defining adequate operation strategies. Better management is necessary to cope with the challenge of supplying increasing demands and conflicts on water allocation while facing climate change impacts. To do so, a large set of mathematical simulation and optimization tools have been developed. However, the real application of these techniques is still lim

APA, Harvard, Vancouver, ISO, and other styles

16

Calardo, Erica. "Inference Rules in some temporal multi-epistemic propositional logics." Thesis, Manchester Metropolitan University, 2008. http://e-space.mmu.ac.uk/323602/.

Full text

Abstract:

Multi-modal logics are among the best tools developed so far to analyse human reasoning and agents’ interactions. Recently multi-modal logics have found several applications in Artificial Intelligence (AI) and Computer Science (CS) in the attempt to formalise reasoning about the behavior of programs. Modal logics deal with sentences that are qualified by modalities. A modality is any word that could be added to a statement p to modify its mode of truth. Temporal logics are obtained by joining tense operators to the classical propositional calculus, giving rise to a language very effective to d

APA, Harvard, Vancouver, ISO, and other styles

17

Peldžius, Stasys. "Universalus pertvarkų įrankis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2009~D_20101125_190721-56089.

Full text

Abstract:

Vykstant nuolatiniam programų sistemų atnaujinimui, nuolatos reikia prižiūrėti, kad jos būtų kokybiškai projektuojamos ir programuojamos. Tačiau neišvengiamai atsiranda nekokybiško išeities teksto, arba atsiranda projektavimo trūkumų. Todėl yra svarbu mokėti ieškoti tokias problemas, ir jas ištaisyti. Šio darbo tikslas yra sukurti automatinio – universalaus įrankio modelį, kuris savarankiškai aptiktų pertvarkas, bei būtų nepriklausomas nuo konkrečios programavimo kalbos. Šiam tikslui pasiekti yra nagrinėjami mokslininkų siūlomi automatiškai aptinkantys pertvarkas metodai. Taip pat yra nagrinėj

APA, Harvard, Vancouver, ISO, and other styles

18

Drescher, Conrad [Verfasser], Michael [Akademischer Betreuer] Thielscher, and Thomas [Akademischer Betreuer] Meyer. "Action Logic Programs : How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules / Conrad Drescher. Gutachter: Michael Thielscher ; Thomas Meyer. Betreuer: Michael Thielscher." Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011. http://d-nb.info/1067188703/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Hassani, Sarah Dossey John A. "Calculus students' knowledge of the composition of functions and the chain rule." Normal, Ill. Illinois State University, 1998. http://wwwlib.umi.com/cr/ilstu/fullcit?p9835906.

Full text

Abstract:

Thesis (D.A.)--Illinois State University, 1998.<br>Title from title page screen, viewed July 3, 2006. Dissertation Committee: John A. Dossey (chair), Roger Day, Michael Marsali, Michael Plantholt. Includes bibliographical references (leaves 196-202) and abstract. Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

20

Rubinfeld, Rachel Emily. "Instituting trade : procedures, rules and negotiations under the GATT /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Persson, Madeleine. "Twitch vs YouTube - How Media Logic affects the production process. : A study about content creators’ usage of norms, methods, and rules to appeal to the target audience." Thesis, Malmö universitet, Fakulteten för teknik och samhälle (TS), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-46004.

Full text

Abstract:

This study examines how Media Logic of YouTube and Twitch affects individual creators who works with creating content on the two platforms. It touches upon the different structures of Media Logic that exists over social media platforms and a little bit on how they have changed over the years. Most importantly it examines what a content creators work process and structure looks like and how that is affected by the different Media Logic structures. This subject is original since there is not previously made another likewise study around this particular subject. This not only makes it an explorat

APA, Harvard, Vancouver, ISO, and other styles

22

Mahmoud, Abdallah Abdel-Rahman Hassan. "Identification of human gait using genetic algorithms tuned fuzzy logic." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2009. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Dongier, François. "ND, a rule-based implementation of natural deduction : design of the theorem-prover and tutoring system." Thesis, McGill University, 1988. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63952.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Joseph, Mathew. "Query Answering over Contextualized RDF/OWL Knowledge with Expressive Bridge Rules: Decidable classes." Doctoral thesis, Università degli studi di Trento, 2015. https://hdl.handle.net/11572/367648.

Full text

Abstract:

In this thesis, we study the problem of reasoning and query answering over contextualized knowledge in quad format augmented with expressive forall-existential bridge rules. Such bridge rules contain conjunctions, existentially quantified variables in the head, and are strictly more expressive than the bridge rules considered so far in similar setting. A set of quads together with forall-existential bridge rules is called a quad-system. We show that query answering over quad-systems in their unrestricted form is undecidable, in general. We propose various subclasses of quad-systems, for which

APA, Harvard, Vancouver, ISO, and other styles

25

Joseph, Mathew. "Query Answering over Contextualized RDF/OWL Knowledge with Expressive Bridge Rules: Decidable classes." Doctoral thesis, University of Trento, 2015. http://eprints-phd.biblio.unitn.it/1531/1/PhD-Thesis.pdf.

Full text

Abstract:

In this thesis, we study the problem of reasoning and query answering over contextualized knowledge in quad format augmented with expressive forall-existential bridge rules. Such bridge rules contain conjunctions, existentially quantified variables in the head, and are strictly more expressive than the bridge rules considered so far in similar setting. A set of quads together with forall-existential bridge rules is called a quad-system. We show that query answering over quad-systems in their unrestricted form is undecidable, in general. We propose various subclasses of quad-systems, for whic

APA, Harvard, Vancouver, ISO, and other styles

26

唐靜敏 and Ching-mun Tong. "Evolutionary design of fuzzy-logic controllers with minimal rule sets for manufacturing systems." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2002. http://hub.hku.hk/bib/B31243678.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Tong, Ching-mun. "Evolutionary design of fuzzy-logic controllers with minimal rule sets for manufacturing systems /." Hong Kong : University of Hong Kong, 2002. http://sunzi.lib.hku.hk/hkuto/record.jsp?B25100130.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

SENNI, VALERIO. "Transformation techniques for constraint logic programs with applications to protocol verification." Doctoral thesis, Università degli Studi di Roma "Tor Vergata", 2008. http://hdl.handle.net/2108/530.

Full text

Abstract:

Il contributo di questa tesi consiste nell'estensione delle tecniche per la trasformazione dei programmi logici con vincoli e lo sviluppo di metodi per l'applicazione di queste tecniche alla prova di proprietà temporali di protocolli parametrizzati. Per prima cosa viene proposto un metodo per la prova automatica della correttezza totale delle trasformazioni che usano regole di unfolding e folding basato sulla risoluzione di sistemi di equazioni e disequazioni sui numeri naturali. In secondo luogo viene proposto un metodo trasformazionale per la prova di proprietà del primo ordine di p

APA, Harvard, Vancouver, ISO, and other styles

29

Lee, Yong Cheol. "Rule logic and its validation framework of model view definitions for building information modeling." Diss., Georgia Institute of Technology, 2015. http://hdl.handle.net/1853/54430.

Full text

Abstract:

With the growing number of complex requirements for building and facility projects, diverse domain experts iteratively exchange building design and product data during the design, construction, and facility management phases. Such data exchanges, however, frequently involve unintended geometric transformations, inaccurate project requirements, and insufficient syntactic and semantic elements in building model data. To ensure the interoperability of building information models, this dissertation includes an examination of rules categorized from the Precast Concrete Institute model views and a

APA, Harvard, Vancouver, ISO, and other styles

30

Mooney, Carl Howard, and carl mooney@bigpond com. "The Discovery of Interacting Episodes and Temporal Rule Determination in Sequential Pattern Mining." Flinders University. Informatics and Engineering, 2007. http://catalogue.flinders.edu.au./local/adt/public/adt-SFU20070702.120306.

Full text

Abstract:

The reason for data mining is to generate rules that can be used as the basis for making decisions. One such area is sequence mining which, in terms of transactional datasets, can be stated as the discovery of inter-transaction associations or associations between different transactions. The data used for sequence mining is not limited to data stored in overtly temporal or longitudinally maintained datasets and in such domains data can be viewed as a series of events, or episodes, occurring at specific times. The problem thus becomes a search for collections of events that occur frequently tog

APA, Harvard, Vancouver, ISO, and other styles

31

Alexander, Cindy-Ann Patricia. "A Fuzzy Rule-Based Model for Predicting Precipitation in the Marion, Illinois Station Area." OpenSIUC, 2012. https://opensiuc.lib.siu.edu/theses/881.

Full text

Abstract:

The purpose of this paper is present the results of a developed, and implemented a Fuzzy rule based model to determine the probability of precipitation in the Marion Illinois area during the summer months. The model employs fuzzy logic and the results are compared to actual data to measure how reliable and viable this method is as an option in the precipitation prediction. Researchers, over the years, have been developing models for simulating, predicting and analyzing atmospheric phenomena, in order to accurately determine their immediate and long term effects on the environment and the qual

APA, Harvard, Vancouver, ISO, and other styles

32

Ralbovský, Martin. "Fuzzy GUHA." Doctoral thesis, Vysoká škola ekonomická v Praze, 2006. http://www.nusl.cz/ntk/nusl-77047.

Full text

Abstract:

The GUHA method is one of the oldest methods of exploratory data analysis, which is regarded as part of the data mining or knowledge discovery in databases (KDD) scienti_c area. Unlike many other methods of data mining, the GUHA method has firm theoretical foundations in logic and statistics. In scope of the method, finding interesting knowledge corresponds to finding special formulas in satisfactory rich logical calculus, which is called observational calculus. The main topic of the thesis is application of the "fuzzy paradigm" to the GUHA method By the term "fuzzy paradigm" we mean approache

APA, Harvard, Vancouver, ISO, and other styles

33

Yellanki, Sampath Kumar. "Kidney Compatibility Score Generation for a Donor - Recipient pair using Fuzzy Logic." University of Toledo / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1345153510.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Vitorino, dos Santos Filho Jairson. "CHROME: a model-driven component-based rule engine." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1638.

Full text

Abstract:

Made available in DSpace on 2014-06-12T15:51:39Z (GMT). No. of bitstreams: 2 arquivo2757_1.pdf: 5759741 bytes, checksum: 8075c58c36a6d409b242f2a7873fb02f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Vitorino dos Santos Filho, Jairson; Pierre Louis Robin, Jacques. CHROME: a model-driven component-based rule engine. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

APA, Harvard, Vancouver, ISO, and other styles

35

Moon, Myung Soo. "Rule-Based Approaches for Controlling on Mode Dynamic Systems." Diss., Virginia Tech, 1997. http://hdl.handle.net/10919/30684.

Full text

Abstract:

This dissertation presents new fuzzy logic techniques for designing control systems for a wide class of complex systems. The methods are developed in detail for a crane system which contains one rigid-body and one oscillation mode. The crane problem is to transfer the rigid body a given distance such that the pendulation of the oscillation mode is regulated at the final time using a single control input. The investigations include in-depth studies of the time-optimal crane control problem as an integral part of the work. The main contributions of this study are: (1) Development of rule-based

APA, Harvard, Vancouver, ISO, and other styles

36

Sousa, Rogério Pereira de. "Classificação linear de bovinos: criação de um modelo de decisão baseado na conformação de tipo “true type” como auxiliar a tomada de decisão na seleção de bovinos leiteiros." Universidade do Vale do Rio dos Sinos, 2016. http://www.repositorio.jesuita.org.br/handle/UNISINOS/5896.

Full text

Abstract:

Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2016-11-01T15:54:48Z No. of bitstreams: 1 Rogério Pereira de Sousa_.pdf: 946780 bytes, checksum: ceb6c981273e15ecc58fe661bd02a34a (MD5)<br>Made available in DSpace on 2016-11-01T15:54:48Z (GMT). No. of bitstreams: 1 Rogério Pereira de Sousa_.pdf: 946780 bytes, checksum: ceb6c981273e15ecc58fe661bd02a34a (MD5) Previous issue date: 2016-08-29<br>IFTO - Instituto Federal de Educação, Ciência e Tecnologia do Tocantins<br>A seleção de bovinos leiteiros, através da utilização do sistema de classificação com características lin

APA, Harvard, Vancouver, ISO, and other styles

37

Avendano, Diego de Souza. "O ocaso da noção de combinatória do Tractatus." Universidade Federal de Goiás, 2016. http://repositorio.bc.ufg.br/tede/handle/tede/6763.

Full text

Abstract:

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:20:09Z No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-01-19T10:21:18Z (GMT) No. of bitstreams: 2 Dissertação - Diego de Souza Avendano - 2016.pdf: 2770544 bytes, checksum: 621a0eef262e3cc91e4fab9e3a64f74a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5)<br>Made

APA, Harvard, Vancouver, ISO, and other styles

38

Delivorias, Efstathios. "Chase Variants & Boundedness." Thesis, Montpellier, 2019. http://www.theses.fr/2019MONTS039.

Full text

Abstract:

Le « chase » est une famille d'algorithmes conçus pour inférer des données en utilisant des connaissances ontologiques représentées par des règles existentielles, un sous-langage de la logique du premier ordre. Une littérature importante concerne son analyse, mais utilise des notations et des terminologies variées. On définit un cadre unificateur pour la spécification et l’étude des algorithmes du chase. On utilise ce cadre pour expliciter et comparer les propriétés des différentes variantes du chase. On se focalise particulièrement sur le problème de la "k-saturation-bornée" : k est-elle la t

APA, Harvard, Vancouver, ISO, and other styles

39

Natario, Romalho Maria Fernanda. "Application of an automatically designed fuzzy logic decision support system to connection admission control in ATM networks." Thesis, Queen Mary, University of London, 1996. http://qmro.qmul.ac.uk/xmlui/handle/123456789/3817.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Lakkaraju, Sai Kiran. "A SLDNF formalization for updates and abduction /." View thesis View thesis, 2001. http://library.uws.edu.au/adt-NUWS/public/adt-NUWS20030507.112018/index.html.

Full text

Abstract:

Thesis (M.Sc. (Hons.)) -- University of Western Sydney, 2001.<br>"A thesis submitted for the degree of Master of Science (Honours) - Computing and Information Technology at University of Western Sydney" Bibliography : leaves 93-98.

APA, Harvard, Vancouver, ISO, and other styles

41

Crawley, Karen. "Limited ink : interpreting and misinterpreting GÜdel's incompleteness theorem in legal theory." Thesis, McGill University, 2006. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=101814.

Full text

Abstract:

This thesis explores the significance of Godel's Theorem for an understanding of law as rules, and of legal adjudication as rule-following. It argues that Godel's Theorem, read through Wittgenstein's understanding of rules and language as a contextual activity, and through Derrida's account of 'undecidability,' offers an alternative account of the relationship of judging to justice. Instead of providing support for the 'indeterminacy' claim, Godel's Theorem illuminates the predicament of undecidability that structures any interpretation and every legal decision, and which constitutes the openi

APA, Harvard, Vancouver, ISO, and other styles

42

Gao, Xiaoxu. "Exploring declarative rule-based probabilistic frameworks for link prediction in Knowledge Graphs." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-210650.

Full text

Abstract:

En kunskapsgraf lagrar information från webben i form av relationer mellan olika entiteter. En kunskapsgrafs kvalité bestäms av hur komplett den är och dess noggrannhet. Dessvärre har många nuvarande kunskapsgrafer brister i form av saknad fakta och inkorrekt information. Nuvarande lösningar av länkförutsägelser mellan entiteter har problem med skalbarhet och hög arbetskostnad. Denna uppsats föreslår ett deklarativt regelbaserat probabilistiskt ramverk för att utföra länkförutsägelse. Systemet involverar en regelutvinnande modell till ett “hinge-loss Markov random fields” för att föreslå länka

APA, Harvard, Vancouver, ISO, and other styles

43

Di, Guardia Rémi. "Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic." Electronic Thesis or Diss., Lyon, École normale supérieure, 2024. http://www.theses.fr/2024ENSL0050.

Full text

Abstract:

Cette thèse s'intéresse à l'égalité des preuves et des formules en logique linéaire, avec des contributions en particulier dans le fragment multiplicatif-additif de cette logique. En logique linéaire, et dans de nombreuses autres logiques (telle que la logique intuitionniste), on dispose de deux transformations sur les preuves : l'élimination des coupures et l'expansion des axiomes. On souhaite très souvent identifier deux preuves reliées par ces transformations, étant donné qu'elles le sont sémantiquement (dans un modèle catégorique par exemple). Cette situation est similaire à celle du λ-cal

APA, Harvard, Vancouver, ISO, and other styles

44

Canoas, Ana Carolina Garcia. "Logica nebulosa e tecnica de otimização particle swarm aplicados ao controle de tensão e de potencia reativa." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260661.

Full text

Abstract:

Orientador: Carlos Alberto Favarin Murari<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-08-11T08:34:49Z (GMT). No. of bitstreams: 1 Canoas_AnaCarolinaGarcia_D.pdf: 790052 bytes, checksum: bdc65cd1e622b5ffa74f95691e03751e (MD5) Previous issue date: 2008<br>Resumo: Devido ao crescente aumento da demanda de energia elétrica e ao retardo de investimento na expansão dos sistemas e energia elétrica (SEE), a operação destes sistemas está cada vez mais próxima de seus limites operacionais, contribuindo pa

APA, Harvard, Vancouver, ISO, and other styles

45

Martins, Filipe Miguel Guerreiro. "eVentos 2 - Autonomous sailboat control." Master's thesis, Faculdade de Ciências e Tecnologia, 2013. http://hdl.handle.net/10362/11211.

Full text

Abstract:

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores<br>Sailboat navigation started as a way to explore the world. Even though performance is significantly lower than that of a motorboat, in terms of resources, these vessels still are the best low-cost solutions. On the past, navigation depended greatly on estimates or on the stars. Nowadays it depends on precise data provided by a variety of electronic devices, independent from the user’s location. Autonomous sailboats are vessels that use only the wind for propulsion and have the capacity to control

APA, Harvard, Vancouver, ISO, and other styles

46

Lakkaraju, Sai Kiran, University of Western Sydney, of Science Technology and Environment College, and School of Computing and Information Technology. "A SLDNF based formalization for updates and abduction." THESIS_CSTE_CIT_Lakkaraju_S.xml, 2001. http://handle.uws.edu.au:8081/1959.7/381.

Full text

Abstract:

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge b

APA, Harvard, Vancouver, ISO, and other styles

47

Piroozfar, Reza [Verfasser], and Klaus [Akademischer Betreuer] Zillich. "Fuzzy Logic: a Rule-Based Approach, in Search of a Justified Decision-Making Process in Urban Planning / Reza Piroozfar. Betreuer: Klaus Zillich." Berlin : Universitätsbibliothek der Technischen Universität Berlin, 2012. http://d-nb.info/1021219665/34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Gloaguen, Pauline. "Inférence automatique de modèles de voies de signalisation à partir de données expérimentales." Thesis, Tours, 2012. http://www.theses.fr/2012TOUR4034/document.

Full text

Abstract:

Les réseaux biologiques, notamment les réseaux de signalisation déclenchés par les hormones, sont extrêmement complexes. Les méthodes expérimentales à haut débit permettent d’aborder cette complexité, mais la prise en compte de l’ensemble des données générées requiert la mise au point de méthodes automatiques pour la construction des réseaux. Nous avons développé une nouvelle méthode d’inférence reposant sur la formalisation, sous forme de règles logiques, du raisonnement de l’expert sur les données expérimentales. Cela nécessite la constitution d’une base de connaissances, ensuite exploitée p

APA, Harvard, Vancouver, ISO, and other styles

49

Ahmed, Anwar. "COST AND ACCURACY COMPARISONS IN MEDICAL TESTING USING SEQUENTIAL TESTING STRATEGIES." VCU Scholars Compass, 2010. http://scholarscompass.vcu.edu/etd/103.

Full text

Abstract:

The practice of sequential testing is followed by the evaluation of accuracy, but often not by the evaluation of cost. This research described and compared three sequential testing strategies: believe the negative (BN), believe the positive (BP) and believe the extreme (BE), the latter being a less-examined strategy. All three strategies were used to combine results of two medical tests to diagnose a disease or medical condition. Descriptions of these strategies were provided in terms of accuracy (using the maximum receiver operating curve or MROC) and cost of testing (defined as the proportio

APA, Harvard, Vancouver, ISO, and other styles

50

Keneni, Blen M. Keneni. "Evolving Rule Based Explainable Artificial Intelligence for Decision Support System of Unmanned Aerial Vehicles." University of Toledo / OhioLINK, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1525094091882295.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!