Search results for "logiikka"
showing 10 items of 27 documents
An approach to linguistic pattern recognition using fuzzy systems
2003
Jouni Raitamäen väitöskirjan tarkoituksena on löytää menetelmiä sumeiden kielellisten JOS-NIIN -tyypisten sääntöjen tuottamiseen numeerisesta tiedosta. Apuna tässä käytetään sumeiden järjestelmien teoriaa.Menetelmien antamien tulosten tulee olla sekä ymmärrettäviä että tarkkoja. Kuitenkin vaatimus on yleensä ristiriitainen, sillä riittävän tarkan ratkaisun saavuttaminen vaatii usein monimutkaisempia menetelmiä ja malleja. Tämä ymmärrettävyyden ja tarkkuuden välinen tasapaino sumeissa järjestelmissä on keskeisellä sijalla väitöskirjan tarkasteluissa.Raitamäen tavoitteena on löytää sumea järjestelmä, joka on riittävän yleinen siten, että sitä voi soveltaa pienin modifikaatioin sekä regressio-…
Semanttiset verkot ja niiden web-sovellukset
2003
Semanttiset verkot ovat formalismeja tietämyksen esittämiseen. Semanttisia verkkoja on sovellettu asiantuntijajärjestelmissä, luonnollisen kielen käsittelyssä ja muissa tekoälyä hyödyntävissä sovelluksissa. Semanttinen web on joukko teknologioita, joiden tarkoitus on saada WWW:n sisältö ja merkitykset helpommin tietokoneen ymmärrettävään muotoon. Tutkielma selvittää semanttisen webin suhdetta olemassaoleviin tietämystekniikan sovelluksiin erityisesti semanttisten verkkojen näkökulmasta.
Digitaalisen musiikin markkinat jakuluttajakäyttäytyminen : Digital Content Marketing (DCM) -projektin loppuraportti
2011
Design and simulation of QCA-based 3-bit binary to gray and vice versa code converter in reversible and non-reversible mode
2022
The current Very Large-Scale Integration (VLSI) technology has reached its peak due to the fundamental physical limits of Complementary Metal-Oxide-Semiconductor (CMOS). Quantum-dot Cellular Automata (QCA) is considered a proper alternative to CMOS technology in digital circuit design. QCA has features like low power, small area, and high speed in nanoscale digital circuit design. A code converter is a circuit that converts a determined code to another one. Code converters such as Binary to Gray, Gray to Binary, and Binary to BCD converters have a crucial role in fast signal processing in digital systems. Also, code converters are used as a base unit for data transmission into the Arithmeti…
Churchin lause RA-kielelle
2007
Toward Quaternary QCA : Novel Majority and XOR Fuzzy Gates
2022
As an emerging nanotechnology, quantum-dot cellular automata (QCA) has been considered an alternative to CMOS technology that suffers from problems such as leakage current. Moreover, QCA is suitable for multi-valued logic due to the simplicity of implementing fuzzy logic in a way much easier than CMOS technology. In this paper, a quaternary cell is proposed with two isolated layers because of requiring three particles to design this quaternary cell. Moreover, due to the instability of the basic gates, the three particles cannot be placed in one layer. The first layer of the proposed two-layer cell includes a ternary cell and the second one includes a binary cell. It is assumed that the over…
Politiikan sietämätön keveys? : yksityiselämä ja sen poliittiset ulottuvuudet vuoden 2012 presidenttiehdokkaiden henkilökuvissa
2016
Politiikan henkilöitymistä on pidetty yhtenä merkittävimmistä kehityskuluista, joka muuttaa kehittyneiden teollisuusmaiden demokratioita. Henkilöitymisellä tarkoitetaan yksittäisten poliitikkojen roolin korostumista poliittisessa kulttuurissa puolueiden, aatteiden ja instituutioiden kustannuksella. Erityisesti henkilöitymisprosessin tietty puoli, politiikan yksityistyminen eli huomion siirtyminen poliitikkojen yksityiselämään, on herättänyt huolta politiikkaa käsittelevän journalismin pinnallistumisesta. Yksityistymisen on pelätty vievän huomiota politiikan painavilta asiakysymyksiltä ja siten heikentävän julkisen poliittisen keskustelun laatua. Tässä tutkielmassa pyritään avaamaan yksi näk…
Adapting Formal Logic for Everyday Mathematics
2022
Although logic is considered central to mathematics and computer science, there is evidence that teaching logic has not been a great success. We identify three issues where what is typically taught conflicts with what is needed by those who are supposed to apply logic. First, what is taught about the notion of implication often disagrees with human intuition. We argue that in some cases human intuition is wrong, and in some others teaching is to blame. Second, the formal concepts of logical consequence, logical equivalence and tautology are not the similar concepts that everyday mathematicians and computer scientists need. The difference is small enough to go unnoticed but big enough to cau…
Explainable Fuzzy AI Challenge 2022 : Winner’s Approach to a Computationally Efficient and Explainable Solution
2022
An explainable artificial intelligence (XAI) agent is an autonomous agent that uses a fundamental XAI model at its core to perceive its environment and suggests actions to be performed. One of the significant challenges for these XAI agents is performing their operation efficiently, which is governed by the underlying inference and optimization system. Along similar lines, an Explainable Fuzzy AI Challenge (XFC 2022) competition was launched, whose principal objective was to develop a fully autonomous and optimized XAI algorithm that could play the Python arcade game “Asteroid Smasher”. This research first investigates inference models to implement an efficient (XAI) agent using rule-based …