Search results for " logic"

showing 10 items of 1720 documents

Design of temperature control system using conventional PID and Intelligent Fuzzy Logic controller

2015

In this paper, we present the design of temperature control for industrial heat treating furnace by using Intelligent Fuzzy Logic and PID controllers. Temperature control is important in heating processes as it can disqualify materials in terms of their physical properties when not well performed. Obviously PID temperature controller is the most used in industries to control non-linear processes. Consequently, it has been found that the output response from Fuzzy Logic is very accurate in terms of overshoot and steady state error when compared to that of PID. Moreover, both temperature controllers are modeled and simulated using MATLAB software.

Temperature controlController; Furnace; Fuzzy Logic; PID; Temperature; Artificial Intelligence; Control and Optimization; Discrete Mathematics and CombinatoricsControl and OptimizationComputer sciencePIDTemperaturePID controllerFurnaceControl engineeringFuzzy control systemFuzzy logicControllerFuzzy LogicControl theoryArtificial IntelligenceControl systemOvershoot (signal)Process controlDiscrete Mathematics and Combinatorics
researchProduct

PER UNA TEORIA DEL SIGNIFICATO REALISTA RICERCHE PER UNA DIA-LOGICA DEI GIOCHI

Teoria del significato teoria dei Giochi Logica filo-indipendente Hintikka Dummett logiche non classiche semantica Realismo/antirealismo.
researchProduct

Logica dei quantificatori dipendenti e indipendenti. Saggio critico-introduttivo alla logica filo-indipendente di Hintikka

2009

A differenza della logica tradizionale, in questa prima monografia italiana sulla logica filo-indipendente di Jaakko Hintikka, la verità logica non è la conclusione di una dimostrazione affidata a regole deduttive, ma è piuttosto il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). In tal modo Hintikka sviluppa un linguaggio logico con una semantica basata sulla teoria dei giochi di von Neumann e Morgenstern che è in grado di descrivere, attraverso un ‘dialogo’ tra un proponente ed un opponente, l’ontologia del mondo. Che cos’è allora la verità? È forse la capacità di possedere una strategia vincente contro un opponente secondo l’attività di socr…

Teoria semantica dei giochi informazione perfetta e imperfetta Quantificatori definizione di verità Dummett significato e costanti logiche.
researchProduct

Movie Script Similarity Using Multilayer Network Portrait Divergence

2020

International audience; This paper addresses the question of movie similarity through multilayer graph similarity measures. Recent work has shown how to construct multilayer networks using movie scripts, and how they capture different aspects of the stories. Based on this modeling, we propose to rely on the multilayer structure and compute different similarities, so we may compare movies, not from their visual content, summary, or actors, but actually from their own storyboard. We propose to do so using “portrait divergence”, which has been recently introduced to compute graph distances from summarizing graph characteristics. We illustrate our approach on the series of six Star Wars movies.

Theoretical computer scienceComputer science02 engineering and technologyStar (graph theory)[INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]computer.software_genre01 natural sciences010305 fluids & plasmas[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]Similarity (network science)[INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]0103 physical sciences0202 electrical engineering electronic engineering information engineering[INFO]Computer Science [cs]StoryboardDivergence (statistics)Structure (mathematical logic)Network portraitMoviesMultilayer networksNetwork similarity[INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM]Construct (python library)Scripting languageGraph (abstract data type)020201 artificial intelligence & image processingcomputer[SPI.SIGNAL]Engineering Sciences [physics]/Signal and Image processing
researchProduct

Probabilistic versus deterministic memory limited learning

1995

Theoretical computer scienceComputer scienceDeterministic memoryTerm memoryProbabilistic logicRecursive functionsShort-term memoryString representation
researchProduct

Statistically validated networks in bipartite complex systems.

2011

Many complex systems present an intrinsic bipartite nature and are often described and modeled in terms of networks [1-5]. Examples include movies and actors [1, 2, 4], authors and scientific papers [6-9], email accounts and emails [10], plants and animals that pollinate them [11, 12]. Bipartite networks are often very heterogeneous in the number of relationships that the elements of one set establish with the elements of the other set. When one constructs a projected network with nodes from only one set, the system heterogeneity makes it very difficult to identify preferential links between the elements. Here we introduce an unsupervised method to statistically validate each link of the pr…

Theoretical computer scienceComputer sciencelcsh:MedicineNetwork theorySocial and Behavioral SciencesBioinformaticsQuantitative Biology - Quantitative MethodsSociologyProtein Interaction Mappinglcsh:ScienceQuantitative Methods (q-bio.QM)MultidisciplinarySystems BiologyApplied MathematicsPhysicsStatisticsComplex SystemsGenomicsLink (geometry)Social NetworksSpecialization (logic)Interdisciplinary PhysicsBipartite graphProbability distributionResearch ArticleNetwork analysisPhysics - Physics and SocietyComplex systemFOS: Physical sciencesPhysics and Society (physics.soc-ph)Type (model theory)BiologyModels BiologicalNetwork theory Statistical PhysicsStatistical MechanicsSet (abstract data type)Statistical MethodsBiologyStructure (mathematical logic)Statistical Physicslcsh:RComputational BiologyModels TheoreticalComparative GenomicsSettore FIS/07 - Fisica Applicata(Beni Culturali Ambientali Biol.e Medicin)FOS: Biological sciencesNetwork theorylcsh:QNull hypothesisMathematicsPLoS ONE
researchProduct

Rough Sets and Vague Sets

2007

The subject-matter of the consideration touches the problem of vagueness. The notion of the rough set, originated by Zdzislaw Pawlak, was constructed under the influence of vague information and methods of shaping systems of notions leading to conceptualization and representation of vague knowledge, so also systems of their scopes as some vague sets. This paper outlines some direction of searching for a solution to this problem. In the paper, in connection to the notion of the rough set, the notion of a vague set is introduced. Some operations on these sets and their properties are discussed. The considerations intend to take into account a classical approach to reasoning, based on vague pr…

Theoretical computer scienceConceptualizationClassical logicComputingMilieux_LEGALASPECTSOFCOMPUTINGVaguenessRepresentation (arts)Rough setVague setAlgorithmConnection (mathematics)Mathematics
researchProduct

Communication complexity in a 3-computer model

1996

It is proved that the probabilistic communication complexity of the identity function in a 3-computer model isO(√n).

Theoretical computer scienceGeneral Computer ScienceComputer scienceApplied MathematicsDivergence-from-randomness modelProbabilistic logicComputer Science ApplicationsProbabilistic CTLWorst-case complexityIdentity functionProbabilistic analysis of algorithmsPhysics::Chemical PhysicsCommunication complexityDecision tree modelAlgorithmica
researchProduct

On the Influence of Technology on Learning Processes

2014

Probabilistic computations and frequency computations were invented for the same purpose, namely, to study possible advantages of technology involving random choices. Recently several authors have discovered close relationships of these generalizations of deterministic computations to computations taking advice. Various forms of computation taking advice were studied by Karp and Lipton [1], Damm and Holzer [2], and Freivalds [3]. In the present paper, we apply the nonconstructive, probabilistic, and frequency methods to an inductive inference paradigm originally due to Gold [4] and investigate their impact on the resulting learning models. Several trade-offs with respect to the resulting l…

Theoretical computer scienceHardware and ArchitectureComputer scienceLearnabilityComputationProbabilistic logicLearning modelsInductive reasoningAdvice (complexity)SoftwareTheoretical Computer ScienceParallel Processing Letters
researchProduct

On t-Conorm Based Fuzzy (Pseudo)metrics

2020

We present an alternative approach to the concept of a fuzzy (pseudo)metric using t-conorms instead of t-norms and call them t-conorm based fuzzy (pseudo)metrics or just CB-fuzzy (pseudo)metrics. We develop the basics of the theory of CB-fuzzy (pseudo)metrics and compare them with “classic” fuzzy (pseudo)metrics. A method for construction CB-fuzzy (pseudo)metrics from ordinary metrics is elaborated and topology induced by CB-fuzzy (pseudo)metrics is studied. We establish interrelations between CB-fuzzy metrics and modulars, and in the process of this study, a particular role of Hamacher t-(co)norm in the theory of (CB)-fuzzy metrics is revealed. Finally, an intuitionistic version of a CB-fu…

Theoretical computer scienceLogicComputer scienceMathematics::General MathematicsCB-fuzzy (pseudo)metric02 engineering and technology01 natural sciencesFuzzy logic0202 electrical engineering electronic engineering information engineeringCB-fuzzy (pseudo)metric; archimedian t-(co)norms; hamacher t-(co)norm; modular; modular metric; intuinionistic fuzzy metricsmodular0101 mathematicsMathematical PhysicsAlgebra and Number Theoryintuinionistic fuzzy metricslcsh:Mathematicslcsh:QA1-939010101 applied mathematicsNorm (mathematics)hamacher t-(co)normmodular metric020201 artificial intelligence & image processingGeometry and TopologyComputingMethodologies_GENERALarchimedian t-(co)normsAnalysisAxioms
researchProduct