Tieto erityisenä tiedon muotona. Tiedon ja tiedon ero. Tiedon ja tiedon ero
Data ja tiedot rinnastetaan usein, mutta näiden kahden termin välillä on merkittävä ero:
● Tiedot- tieto ihmisaivojen käsitteistä ja objekteista (faktoja, tapahtumia, asioita, prosesseja, ideoita);
● Data- siirrettäväksi, tulkittavaksi tai prosessoitavaksi sopivan käsitellyn tiedon esittäminen ( tietokoneen tiedostot, paperiasiakirjoja, tallentaa tietojärjestelmään).
Tiedon ja datan ero on seuraava:
1) data on tietyille tietovälineille tallennettua kiinteää tietoa tapahtumista ja ilmiöistä ja tieto tulee näkyviin tietojen käsittelyn tuloksena päätöksiä tehtäessä erityisiä tehtäviä.
Esimerkiksi tietokantoihin tallennetaan erilaisia tietoja, joista tietokannan hallintajärjestelmä toimittaa tietyn pyynnöstä tarvittavat tiedot.
2) tiedot ovat tiedon välittäjiä, eivät tieto itse.
3) Data muuttuu tiedoksi vasta, kun henkilö alkaa kiinnostua siitä. Henkilö poimii tiedoista tietoa, arvioi, analysoi sitä ja tekee analyysin tulosten perusteella yhden tai toisen päätöksen.
Data muuttuu tiedoksi useilla tavoilla:
Kontekstualisointi: tiedämme, mitä varten data on tarkoitettu;
Laskeminen: Käsittelemme tietoja matemaattisesti;
Korjaus: korjaamme virheet ja poistamme puutteet;
Pakkaus: Pakkaamme, keskitämme ja kokoamme tietoja.
Näin ollen, jos dataa voidaan käyttää vähentämään aihetta koskevan tiedon epävarmuutta, data muuttuu informaatioksi. Siksi voidaan väittää, että tieto on käytettyä dataa.
4) Tietoa voidaan mitata. Tiedon sisällön mittausmitta liittyy muutokseen vastaanottajan tietämättömyyden asteessa ja perustuu informaatioteorian menetelmiin.
2. Aihealue- tämä on osa todellista maailmaa, tiedot, joita haluamme heijastaa tietokannassa. Aihealue on ääretön ja sisältää sekä olennaisesti tärkeitä käsitteitä ja dataa että merkityksettömiä tai ei-merkittäviä tietoja. Näin ollen tietojen tärkeys riippuu valinnasta aihealue.
Verkkotunnuksen malli. Verkkotunnusmalli on tietomme toimialueesta. Tieto voi olla joko epävirallisen tiedon muodossa asiantuntijan aivoissa tai ilmaistuna muodollisesti jollain tavalla. Kokemus sen osoittaa tekstimenetelmä toimialuemallin esittäminen on erittäin tehotonta. Paljon informatiivisempia ja hyödyllisempiä tietokantoja kehitettäessä ovat aihealueen kuvaukset, jotka on tehty erityisillä graafisilla merkinnöillä. Saatavilla suuri määrä menetelmät aihealueen kuvaamiseen. Tunnetuimpia ovat SADT-rakenneanalyysitekniikka ja siihen perustuva IDEF0, Gein-Sarson-tietovuokaaviot, UML-olioanalyysitekniikka jne. Toimialuemalli kuvaa pikemminkin aihealueella tapahtuvia prosesseja ja käytettyä dataa. näillä prosesseilla. Sovellusten jatkokehityksen onnistuminen riippuu siitä, kuinka oikein aihealue mallinnetaan.
3. Tietokanta- joukko itsenäisiä materiaaleja, jotka on esitetty objektiivisessa muodossa (artikkelit, laskelmat, määräykset, oikeuden päätökset ja muut vastaavat materiaalit), systematisoitu siten, että nämä materiaalit ovat löydettävissä ja käsiteltävissä sähköisesti tietokone(TIETOKONE).
Monet asiantuntijat huomauttavat yleisen virheen, joka on väärä käyttö termi "tietokanta" termin "tietokannan hallintajärjestelmä" sijaan ja osoittavat tarpeen erottaa nämä käsitteet toisistaan.
Tietoa ja tietoa. Perusmääritelmät.
Tieto, jota tietokoneet käsittelevät, on jaettu menettelyllisiin ja deklaratiivisiin. Proseduuritiedot sisältyvät ohjelmiin, jotka suoritetaan ongelmien ratkaisuprosessissa, deklaratiivinen tieto sisältyy tietoihin, joiden kanssa nämä ohjelmat toimivat.
Tietojen esittämisen standardimuoto tietokoneessa on konesana, joka koostuu tietylle tietokonetyypille määritetyistä binäärinumeroista - biteistä. Konesanalla tietojen esittämiseksi ja konesanalla ohjelman muodostavien käskyjen esittämiseksi voi olla sama tai eri numero päästöt. Sama bittimäärä tietokonesanoissa komentoja ja tietoja varten mahdollistaa niiden katsomisen tietokoneessa identtisiksi informaatioyksiköiksi ja operaatioiden suorittamisen komennoille kuin datalle. Muistin sisältö muodostaa tietokannan. Konesana on tärkein ominaisuus tietokanta, koska sen pituus on sellainen, että jokainen konesana on tallennettu yhteen vakiomuistisoluun, joka on varustettu yksilöllisellä nimellä - solun osoitteella. Tämän nimen avulla tietoyksiköt poimitaan tietokoneen muistista ja kirjoitetaan siihen. Ohjelmointikielillä korkeatasoinen Käytetään abstrakteja tietotyyppejä, joiden rakenteen ohjelmoija määrittelee.
Tietokantojen (DB:t) syntyminen merkitsi jälleen askelta kohti deklaratiivista tietoa koskevan työn organisointia. Tietokannat voivat tallentaa samanaikaisesti suuria määriä tietoa ja erityisiä keinoja muodostavat tietokannan hallintajärjestelmän (DBMS), joiden avulla voit käsitellä tietoja tehokkaasti, tarvittaessa purkaa ne tietokannasta ja kirjoittaa ne oikeassa järjestyksessä tietokantaan.
IS-alan tutkimuksen kehittyessä syntyi tiedon käsite, joka yhdisti monia proseduaalisen ja ilmoittava tieto. Tietokoneessa tieto, kuten data, näytetään symbolisessa muodossa - kaavoina, tekstinä, tiedostoina, tietotaulukoina jne. Siksi voidaan sanoa, että tieto on erityisellä tavalla järjestettyä dataa. Tekoälyjärjestelmissä tieto on muodostumisen, käsittelyn ja tutkimuksen pääkohde. Tietopohja, yhdessä tietokannan kanssa, on välttämätön komponentti ohjelmistopaketti AI. Tekoälyalgoritmeja toteuttavia koneita kutsutaan tietopohjaisiksi koneiksi, ja asiantuntijajärjestelmien rakentamiseen liittyvää tekoälyteorian alaosaa kutsutaan tietotekniikaksi.
Tiedon ja tiedon erot:
1. tiedon sisäinen tulkittavuus (esim. data - 243849..., tieto - luonnollisen kielen lauseet).
2. tietotoiminta. Jos tietoa on, niin uuden tiedon syntyminen voi johtaa muutoksiin vanhassa tiedossa ja uuden syntymiseen.
3. tiedon johdonmukaisuus. Tieto ei ole kiinnostavaa sinänsä, se on kiinnostavaa kokonaisuudessaan (tietojärjestelmä).
4. tieto on dynaamista, mutta data on yleensä staattista.
Intensionaalinen tieto määritellään korkeamman tason konseptin kautta, joka osoittaa tiettyjä ominaisuuksia. Laajentuva tieto määritellään käsitteiden kautta enemmän matala taso, yleensä heidän yksinkertainen luettelointi. Pääsääntöisesti laajennukset tallennetaan tietokantoihin ja intensiteetit tietokantoihin. Esitystavan perusteella tieto jaetaan deklaratiiviseen (informaatio kuvataan) ja proseduaaliseen (tallennettu algoritmiin). Pääasiallinen liikkeen suunta tiedon edustamisen alalla on suurempaa käyttöä deklaratiivinen tieto.
Tiedon luokitukset ja niiden mallit
On monia tapoja luokitella tietoa. Tarkastellaanpa luokittelua tiedon kantajan mukaan. Tieto jakautuu:
1. Virallistettu
· viiteoppaat,
· tietosanakirjat,
· yritystietojärjestelmien tuntemus
2. Henkilökohtainen
käsityöhön liittyvät taidot,
· urheilutaidot,
· ajattelutapoja, analysointia,
· työn suoritustavat
Virallinen tieto on yleensä jo julkaistu materiaalimedia- kirjat, esitteet, Internet/intranet-sivustot, tiedostot, yritystietojärjestelmä (ERP). Nämä tiedon organisointitavat ovat erittäin hyviä ja aikaa testattuja. Emme todennäköisesti pysty parantamaan niitä tarpeeksi merkittävästi vaikuttaaksemme organisaatiosi tuottavuuteen tai muihin taloudellisiin indikaattoreihin.
Henkilökohtainen tieto päinvastoin sisältyy yleensä vain sen haltijan mieliin. Jotta siitä tulisi organisaation omaisuutta, on välttämätöntä, että tietoa siirretään aktiivisesti työntekijöiden välillä. Tätä tarkoitusta varten mentorointi- ja sisäiset koulutusjärjestelmät ovat olleet olemassa jo pitkään.
Suuri osa henkilökohtaisesta tiedosta voidaan muotoilla. Tämä koskee ennen kaikkea organisaatiossasi hyväksyttyjä ja optimaalisia työntekomenetelmiä ja -menetelmiä. Organisaation kehitysvaiheesta riippuen työntekomenetelmät kehittyvät työpaikalla yrityksen ja erehdyksen avulla syntyneistä luovista. parhaat käytännöt toimialalla, kirjattu liiketoimintaprosessien dokumentaatioon, ERP-järjestelmiin ja organisaatiopolitiikkaan.
Kehyksen määritelmät. Kehys on sekä luettelo ominaisuuksista että verkko. Kiinteistöjen hierarkia ja periytyminen
Kehys on tietty tiedon esittämisrakenne, joka sopivilla arvoilla täytettynä muuttuu tietyn tekijän, tapahtuman tai tilanteen kuvaukseksi. Kehys on minimi mahdollinen kuvaus minkä tahansa ilmiön, tapahtuman, tilanteen, prosessin tai esineen olemus. Minimaalisuus tarkoittaa, että kuvausta yksinkertaistettaessa sen täydellisyys menetetään, se lakkaa määrittelemästä tiedon yksikköä, jolle se on tarkoitettu. Kehyksessä on erityinen rakenne, joka koostuu monista elementeistä - raoista. Jokaista aikaväliä puolestaan edustaa tietty tietorakenne, proseduuri tai se voidaan liittää toiseen kehykseen. Kehyksen rakenne voidaan esittää seuraavasti:
FRAME NAME: (1. paikan nimi: 1. paikan arvo), (2. paikan nimi: 2. paikan arvo), ... (N. paikan nimi: N. paikan arvo).
Esitämme saman tietueen taulukon muodossa lisäämällä kaksi saraketta.
Slot-arvo voi olla toisen kehyksen nimi; Näin muodostuu kehysten verkostoja, jotka koostuvat valituista pisteistä ja yhteyksistä. Huipputaso frame edustaa vastaavia käsitteitä, ja seuraavat tasot ovat päätevälit, jotka sisältävät tietyt arvot. Kohteiden hierarkia toteutetaan ominaisuustutkimuksen laitteiston kautta, kun tietyn tason kohdeluokat perivät korkeamman tason kehysluokkien rakenteen. Jos esine, kissa. Tietyn kehysryhmän kuvaama on käsitteellisesti yhteydessä kehysten ylemmän ja alemman tason kanssa, vastaavasti. hänen kehyksensä on rakennettu ottaen huomioon hierarkkiset suhteet ja samalla toteutuu ominaisuuksien periytyminen. samannimisen aukkojen tai kehysten kautta.
5.1. Tiedon ja datan erot
Tyypillinen ominaisuus älykkäitä järjestelmiä on tietyn aihealueen ongelmien ratkaisemiseen tarvittavan tiedon saatavuus. Tämä herättää luonnollisen kysymyksen: mitä on tieto ja miten se eroaa tavallisesta tietokoneen käsittelemästä tiedosta?
Data on faktaluonteista tietoa, joka kuvaa aihealueen esineitä, prosesseja ja ilmiöitä sekä niiden ominaisuuksia. Tietokoneen käsittelyprosesseissa data käy läpi seuraavat muunnosvaiheet:
Tietojen olemassaolon alkuperäinen muoto (havaintojen ja mittausten tulokset, taulukot, hakuteokset, kaaviot, kaaviot jne.);
Alkutietojen tietokoneeseen syöttämiseen ja käsittelyyn tarkoitettujen tietojen kuvauksen esittäminen erityiskielillä;
Tietokannat tietokoneen tallennusvälineillä.
Tieto on dataan verrattuna monimutkaisempi tiedon luokka. Tieto ei kuvaa vain yksittäisiä tosiasioita, vaan myös niiden välisiä suhteita, minkä vuoksi tietoa kutsutaan joskus strukturoiduksi dataksi. Tietoa voidaan saada empiirisen tiedon käsittelyn perusteella. Ne ovat tulosta ihmisen henkisestä toiminnasta, jonka tarkoituksena on yleistää hänen käytännön toiminnan tuloksena saatu kokemus.
Jotta IIS:lle voidaan antaa tietoa, se on esitettävä tietty muoto. Tiedon välittämiseen on kaksi päätapaa ohjelmistojärjestelmät. Ensimmäinen on laittaa tietoa tavallisella ohjelmointikielellä kirjoitettuun ohjelmaan. Tällainen järjestelmä edustaa yhtä ohjelmakoodi, jossa tietoa ei sijoiteta erilliseen luokkaan. Huolimatta siitä, että pääongelma ratkaistaan, tässä tapauksessa on vaikea arvioida tiedon roolia ja ymmärtää, kuinka sitä käytetään ongelmien ratkaisuprosessissa. Tällaisten ohjelmien muokkaaminen ja ylläpito ei ole helppo tehtävä, ja tiedon päivittämisen ongelmasta voi tulla ratkaisematon.
Toinen menetelmä perustuu tietokantojen käsitteeseen ja koostuu tiedon sijoittamisesta erilliseen kategoriaan, ts. tieto on edustettuna tietty muoto ja ne sijoitetaan tietokantaan. Tietopohjaa on helppo päivittää ja muokata. Se on älykkään järjestelmän autonominen osa, vaikka loogisessa lohkossa toteutettu looginen päättelymekanismi sekä dialogin välineet asettavat tiettyjä rajoituksia tietokannan rakenteelle ja sen kanssa toimiville toimille. Tämä menetelmä on otettu käyttöön nykyaikaisessa IIS:ssä.
On huomattava, että tiedon sijoittamiseksi tietokoneeseen on se esitettävä tietyillä tietorakenteilla, jotka vastaavat valittua ympäristöä älykkään järjestelmän kehittämiseksi. Näin ollen tietotietojärjestelmää kehitettäessä ensin kerätään ja esitetään tietoa, ja tässä vaiheessa tarvitaan ihmisen osallistumista, minkä jälkeen tietoa edustavat tietyt tietorakenteet, jotka ovat käteviä tallentaa ja käsitellä tietokoneessa. MIS-tieto on olemassa seuraavat lomakkeet:
Alkutieto (käytännön kokemuksesta johdetut säännöt, matemaattiset ja empiiriset riippuvuudet, jotka heijastavat tosiasioiden keskinäisiä yhteyksiä; kuviot ja trendit, jotka kuvaavat tosiasioiden muutoksia ajan mittaan; funktiot, kaaviot, kaaviot jne.);
Alkutiedon kuvaus valitun tiedon esitysmallin avulla (useita loogisia kaavoja tai tuotantosääntöjä, semanttinen verkko, kehykset jne.);
Tiedon esittäminen tietorakenteilla, jotka on tarkoitettu tallennettavaksi ja prosessoitavaksi tietokoneella;
Tietopohjat tietokoneen tallennusvälineistä.
Mitä on tieto? Annetaan muutama määritelmä.
From selittävä sanakirja S.I. Ozhegova: 1) "Tieto - tietoisuuden, tieteen todellisuuden ymmärtäminen"; 2) "Tieto on tiedon kokonaisuus, tietämys millä tahansa alueella."
Käsitteen "tieto" määritelmä sisältää enimmäkseen filosofisia elementtejä. Esimerkiksi tieto on käytännössä testattu tulos todellisuuden tiedosta, sen oikea heijastus ihmismielessä.
Tieto on tulos, joka saadaan ymmärtämällä ympäröivää maailmaa ja sen esineitä. Yksinkertaisimmissa tilanteissa tietoa pidetään tosiasioiden lausumana ja niiden kuvauksena.
Tekoälytutkijat tarjoavat tarkempia määritelmiä tiedosta.
"Tieto on aihealueen lakeja (periaatteet, yhteydet, lait), jotka on saatu käytännön toiminnan ja ammatillisen kokemuksen tuloksena ja joiden avulla asiantuntijat voivat asettaa ja ratkaista tämän alan ongelmia."
"Tieto on hyvin jäsenneltyä dataa, dataa datasta tai metadataa."
"Tieto on formalisoitua tietoa, johon viitataan tai jota käytetään loogisen päättelyn prosessissa."
Tekoälyjärjestelmien ja tietotekniikan alalla tiedon määritelmä liittyy loogiseen päättelyyn: tieto on tietoa, jonka pohjalta loogisen päättelyn prosessi toteutetaan, ts. Näiden tietojen perusteella voidaan tehdä erilaisia johtopäätöksiä järjestelmässä olevista tiedoista loogisen päättelyn avulla. Päättelymekanismin avulla voit linkittää yksittäisiä fragmentteja yhteen ja tehdä sitten johtopäätöksen tämän toisiinsa liittyvien fragmenttien sekvenssin perusteella.
Tieto on formalisoitua tietoa, johon viitataan tai jota käytetään loogisen päättelyn prosessissa (kuva 5.1.).
Riisi. 5.1. Päättelyprosessi IS:ssä
Tiedolla tarkoitamme joukkoa tosiasioita ja sääntöjä. Tiedon osaa edustavan säännön käsitteellä on muoto:
Jos<условие>Että<действие>.
Tämä määritelmä on erikoistapaus edellisestä määritelmästä.
Kuitenkin tunnustetaan, että tiedon erottuva laadullinen piirre johtuu suurten mahdollisuuksien olemassaolosta rakenneyksiköiden strukturoinnin ja keskinäisen kytkeytymisen, niiden tulkittavuuden, mittareiden olemassaolon, toiminnallisen eheyden ja aktiivisuuden suhteen.
Tiedolla on monia luokituksia. Pääsääntöisesti luokitusten avulla järjestelmällistetään tiettyjen aihealueiden tuntemus. Abstraktilla pohdinnan tasolla voimme puhua ominaisuuksista, joilla tieto jaetaan, emme luokitteluista. Luonteeltaan tieto voidaan jakaa deklaratiiviseen ja menettelylliseen.
Deklaratiivinen tieto on kuvaus tosiseikoista ja ilmiöistä, kirjaa tällaisten tosiasioiden olemassaolon tai puuttumisen, ja sisältää myös kuvaukset perusyhteyksistä ja kuvioista, joihin nämä tosiasiat ja ilmiöt sisältyvät.
Proseduuritieto on kuvaus toimista, jotka ovat mahdollisia manipuloitaessa tosiasioita ja ilmiöitä aiottujen tavoitteiden saavuttamiseksi.
Kuvaamaan tietoa abstraktilla tasolla, kehitetty erikoiskieliä- kielet tiedon kuvausta varten. Nämä kielet on myös jaettu menettelyllisiin ja deklaratiivisiin kieliin. Kaikki perinteisten von Neumannin arkkitehtuuritietokoneiden käyttöön suuntautuneet tiedonkuvauskielet ovat proseduurikieliä. Sellaisten deklaratiivisten kielten kehittäminen, jotka sopivat tiedon esittämiseen, on nykyään kiireellinen ongelma.
Tiedon hankintamenetelmän mukaan se voidaan jakaa tosiasioihin ja heuristiikkaan (säännöt, joiden avulla voit tehdä valinnan tarkan teoreettisen perustelun puuttuessa). Ensimmäinen tietoluokka ilmaisee yleensä tietyn aihealueen hyvin tunnettuja olosuhteita. Toinen tiedon luokka perustuu oma kokemus tietyllä alalla työskentelevä asiantuntija, joka on kertynyt useiden vuosien harjoittelun tuloksena.
Esityksen tyypin perusteella tieto jaetaan tosiasioihin ja sääntöihin. Faktat ovat "A on A" -tyyppistä tietoa verkkomalleista. Säännöt tai tuotteet ovat tyypin "JOS A, NIIN B" tuntemusta.
Faktojen ja sääntöjen lisäksi on olemassa myös metatietoa - tietoa tiedosta. Ne ovat välttämättömiä tiedonhallinnan ja loogisten päättelymenettelyjen tehokkaan organisoinnin kannalta.
Tiedon esitysmuodolla on merkittävä vaikutus tietotietojärjestelmien ominaisuuksiin. Tietopohjat ovat malleja ihmisten tiedosta. Kaikkea tietoa, jota henkilö käyttää monimutkaisten ongelmien ratkaisemisessa, ei kuitenkaan voida mallintaa. Siksi älykkäissä järjestelmissä tieto on tarpeen erottaa selkeästi tietokoneella prosessoitavaksi tarkoitettuun tietoon ja ihmisten käyttämään tietoon. On selvää, että monimutkaisten ongelmien ratkaisemiseksi tietokannan on oltava riittävän suuri, ja siksi tällaisen tietokannan hallintaongelmia syntyy väistämättä. Siksi tiedon esitysmallia valittaessa tulee ottaa huomioon sellaiset tekijät kuin esityksen yhtenäisyys ja ymmärtämisen helppous. Esityksen homogeenisuus johtaa tiedonhallintamekanismin yksinkertaistamiseen. Ymmärrettävyys on tärkeää älykkäiden järjestelmien käyttäjille ja asiantuntijoille, joiden tieto on upotettu tietojärjestelmään. Jos tiedon esityksen muoto on vaikea ymmärtää, tiedon hankinta- ja tulkintaprosessit monimutkaistuvat. On huomattava, että näitä vaatimuksia on melko vaikea täyttää samanaikaisesti, varsinkin suuria järjestelmiä, jossa tiedon strukturoinnista ja modulaarisesta esittämisestä tulee väistämätöntä.
Tietoteknisten ongelmien ratkaiseminen asettaa ongelmaksi asiantuntijoilta saatujen faktojen ja niiden käyttöä koskevien sääntöjen muodossa olevan tiedon muuntamisen muotoon, joka voidaan tehokkaasti toteuttaa näiden tietojen koneellisesti prosessoimalla. Tätä tarkoitusta varten on luotu erilaisia tiedon esitysmalleja, joita on käytetty olemassa olevissa järjestelmissä.
TO klassisia malleja tietoesitykset sisältävät loogisia, tuotanto-, kehys- ja semanttisia verkkomalleja.
Jokaisella mallilla on oma tiedon esityskieli. Käytännössä tietojärjestelmää kehitettäessä on kuitenkin harvoin mahdollista hallita yhden mallin puitteissa yksinkertaisimpia tapauksia lukuun ottamatta, joten tiedon esittäminen osoittautuu monimutkaiseksi. Eri malleja käyttävän yhdistetyn esityksen lisäksi käytetään yleensä erikoistyökaluja, jotka kuvastavat tietyn aihealueen tietämyksen piirteitä sekä eri tavoilla tiedon epämääräisyyden ja epätäydellisyyden poistaminen ja huomioon ottaminen.
Tietoa ja tietoa
Tiedot
Data
Menettelyllinen deklaratiivinen
Aihealue
Tietoa
Looginen päätelmä
tosiasiat Heuristiikka
lähtömekanismi, looginen johtopäätös tai ulostulokone.
käyttöliittymä
Tietopohja,
Lähtömekanismi
Käyttöliittymä.
Muodollisen järjestelmän käsite
Loogisten mallien perustana on neljän määrittelemän muodollisen järjestelmän käsite M = (T, P, A, F).
Joukko T on olemassa monia peruselementtejä luonteeltaan erilaisia, esimerkiksi sanoja jostain rajoitetusta sanastosta. Oletetaan, että on olemassa proseduuri P( T) tarkistaa, kuuluuko mielivaltainen elementti joukkoon T.
Joukko P syntaksisääntöjä on monia. Heidän avullaan elementeistä T muodostavat syntaktisesti oikeita ilmaisuja, esimerkiksi syntaktisesti oikeita ilmaisuja rakennetaan rajoitetun sanaston sanoista. Täytyy olla menettely P( R), jonka avulla voit määrittää, onko
jokin ilmaisu on syntaktisesti oikein.
Ylenmäärin R osajoukko on allokoitu A a priori tosilausekkeet (aksioomit). Täytyy olla menettely P( A) tarkistaa, kuuluuko jokin syntaktisesti oikea lauseke joukkoon A.
Joukko F on olemassa monia semanttiset säännöt ulostulo. Niiden soveltaminen elementteihin A, voit saada uusia syntaktisesti oikeita lausekkeita, joihin voit jälleen soveltaa sääntöjä F. Näin se muodostuu ulostulosarja tietyssä muodollisessa ilmaisujärjestelmässä. Jos on menettely P( F), jonka avulla on mahdollista määrittää mille tahansa syntaktisesti oikealle lausekkeelle, onko se pääteltävissä, niin vastaavaa muodollista järjestelmää kutsutaan ns. päätettävissä.
Tietokantaan sisältyvän tiedon osalta voimme olettaa, että joukko A muodostavat kaikki tietokantaan syötetyt tietoyksiköt ja niistä johdetaan päättelysääntöjä käyttäen uusia johdettua tietoa. Toisin sanoen muodollinen järjestelmä on uuden tiedon generaattori, joka muodostaa joukon ulostulo tässä järjestelmässä tietoa.
Tämä malli on monien rakentamisen taustalla deduktiivinen IIS. Tällaisissa järjestelmissä tietopohja kuvataan teorian väitteiden ja aksioomien muodossa, ja päättelymekanismi toteuttaa säännöt uusien väitteiden rakentamiseksi tietokannassa olevista. Järjestelmäsyöte vastaanottaa ongelman kuvauksen tämän teorian kielellä pyynnön (lauseen, lauseen) muodossa, jota ei ole eksplisiittisesti esitelty tietokannassa. Päättelymekanismin prosessia kutsutaan kyselyn todistamiseksi (lause).
Logiikkaa käyttämällä erilaisia tyyppejä syntaktisia ja semanttisia sääntöjä luotaessa logiikkamalleja erilaisia tyyppejä.
Propositiolaskenta
Propositiolaskenta tutkii väitteitä, jotka voivat olla joko tosi tai epätosi. Jokainen lause ei ole lausunto. Esimerkiksi kyselylauseiden totuudesta ei ole mitään järkeä puhua. Lauseet, joista ei ole yksimielisyyttä siitä, ovatko nämä lauseet tosia vai vääriä, eivät ole väitteitä. Ilmeisesti kaikki eivät ole samaa mieltä väitteestä "matemaattinen logiikka on kiehtova aihe".
Lause "Satoi lunta" ei myöskään ole lausunto, koska sen totuuden arvioimiseksi tarvitaan lisäinformaatio siitä, milloin ja missä satoi lunta.
Lauseiden yhdistäminen konnektiivien avulla, kuten "Ja", "tai","jos sitten...", voit muodostaa uusia lauseita.
Propositiolaskenta käyttää viittä loogista konnektiivia: negaatio, konjunktio, disjunktio, implikaatio ja ekvivalenssi.
Konjunktio (looginen JA) on totta vain, jos molemmat sen osalausekkeet ovat tosia.
Disjunktio (looginen TAI) on epätosi vain, jos sen molemmat osalausekkeet ovat vääriä.
implikaatio (vastaa yhdistävää " Jos sitten..."") ensimmäistä operandia kutsutaan oletukseksi ja toista johtopäätökseksi. Implikaatio on väärä vain, jos sen oletus on tosi ja sen johtopäätös on väärä.
Looginen toiminta vastaavuus vastaa yhdistävää " silloin ja vain silloin" Sen tulos on totta, jos molemmat väitteet ovat joko samanaikaisesti tosi tai epätosi.
Boolean kieltäminen suoritettu yhdellä lauseella. Väitteellä ja sen kieltämisellä on aina vastakkaiset totuusarvot.
Lausuntoja edustavia symboleja kutsutaan atomeja.
Hyvin muodostetut kaavat lauselogiikassa määritellään rekursiivisesti seuraavasti:
1) atomi on kaava;
2) jos A Ja B– kaavat, niin kaavat ovat
ja Ø A, A Ù B, A Ú B, A ® B, A « B.
Tässä linkit on merkitty symboleilla:
Ú - loogista TAI(disjunktio);
Ù - loogista JA(konjunktio);
® - looginen PITÄISI(seuraamus);
"- loogista VASTAAVAA(vastaavuus);
Ø - looginen negaatio.
Tulkinta kaava on totuusarvon määrittäminen jokaiselle kaavan sisältämälle atomille ( totta tai valehdella).
Kaava, joka koostuu n eri atomeja, on 2 n erilaisia tulkintoja.
Kaava, joka on totta kaikissa tulkinnoissa, kutsutaan yleispätevä(Esimerkiksi, A Ú Ø A).
Kaavaa, joka on väärä kaikissa tulkinnoissa, kutsutaan kiistanalainen(Esimerkiksi, A ÙØ A).
Kaava, jolle on olemassa ainakin yksi tulkinta, jonka mukaan se on totta, kutsutaan mahdollinen.
Vastaava kutsutaan kaavoiksi, joiden totuusarvot ovat samat kaikissa tulkinnoissa. Vastaavia korvauksia käyttämällä kaavat voidaan muuntaa muodosta toiseen.
Propositiolaskentakaavojen muuntamiseen käytetään seuraavia ekvivalensseja:
1) A Ú Ø A = totta(totta);
A Ù Ø A = väärä(valehdella);
2) kaksinkertainen negatiivinen sääntö
Ø (Ø A) = A;
3) A ® B = Ø A Ú B;
4) A « B = (A ® B) Ù ( B ® A);
5) kommutatiivisuuden lait
A Ú B = B Ú A, A Ù B = B Ù A;
6) assosiatiivisuuden lait
(A Ú B) Ú C =A Ú ( B Ú C), (A Ù B) Ù C = A Ù ( B Ù C);
7) distributiivisuuden lait
A Ú ( B Ù C) = (A Ú B) Ù ( A Ú C), A Ù ( B Ú C) = (A Ù B) Ú ( A Ù C);
8) De Morganin lait
Ø( A Ú B) = Ø A Ù Ø B, Ø( A Ù B) = Ø A Ú Ø B;
9) A ® B = Ø B ® Ø A.
Predikaattilaskenta
Propositiolaskennan laitteisto ei monissa tapauksissa mahdollista aihealueen tyydyttävää kuvaamista. Merkittävä osa aihealueista voidaan kuvata ensimmäisen asteen predikaattilaskennan avulla. Tätä varten seuraavat asiat otetaan huomioon:
a) vakioita, jotka ilmaisevat yksittäistä objektia tai käsitettä;
b) muuttujat, jotka ovat eri aika voi edustaa erilaisia esineitä;
c) termit, joista yksinkertaisimmat ovat vakiot ja muuttujat ja enemmän yleinen tapaus edustaa ilmaisuja tyyppiä , jossa on toiminnallinen symboli, ja ovat termejä;
d) predikaatit, joita käytetään edustamaan objektien välisiä suhteita tietyllä aihealueella;
e) kvantitaattorit – keino määritellä aihealueen määrälliset ominaisuudet.
Predikaatti- Tämä looginen toiminto ottamalla vain totuusarvot" totta"tai" valehdella».
Predikaatti koostuu predikaattisymbolista ja vastaavasta järjestetystä termien joukosta, jotka ovat sen argumentteja. Predikaattisymboli P käytetään nimeämään objektien välisiä suhteita. Jos hänellä on n argumentteja kutsutaan n-paikallinen predikaattisymboli.
Merkintä , joka on yksinkertaisin (atomi)kaava, tarkoittaa, että väite on tosi: objektit liittyvät suhteeseen P.
Käyttäen samoja loogisia konnekiiveja kuin lauselaskussa ( JA, TAI, EI, PITÄÄ, VASTAAVAA), voit rakentaa monimutkaisempia kaavoja.
Kaavoissa olevien muuttujien laajuuden määrittämiseksi käytetään kvantoreita (universaalisuus) ja (olemassaolo). Kvantifioijien avulla voit rakentaa lauseita objektijoukosta ja muotoilla lauseita, jotka ovat tosia tälle joukolle.
Predikaattilaskennan kaavat (PPF - hyvin muodostetut kaavat) määritellään rekursiivisesti seuraavasti:
1. atomi on kaava;
2. jos A Ja B ovat kaavoja, niin kaavat ovat ja
Ø A, A Ù B, A Ú B, A ® B, A « B;
3. jos - on kaava, niin kaavat ovat ja ja .
Kaavojen tulkinta predikaattilaskennassa on arvoalueiden määrittäminen kaikille vakioille, funktionaalisille ja predikaattisymboleille. Kaava tulkittu alueella D, ottaa arvot totta tai valehdella seuraavien sääntöjen mukaan:
a) jos kaavaarvot on annettu A Ja B, sitten kaavojen totuusarvot Ø A, A Ù B, A Ú B, A ® B, A « B saadaan lauseiden laskemiseen soveltuvista totuustaulukoista;
b) kaava saa arvon totta, jos jokaiselle D on merkitys totta, muuten sen arvo on valehdella.
c) kaava saa arvon totta, jos ainakin yhdelle D on merkitys totta, muuten sen arvo on väärä.
Kaava A On looginen seuraus kaavat , jos ja vain jos mihin tahansa tulkintaan, jossa kaava 
totta, kaava A on myös totta.
Lauselaskunnassa annettujen ekvivalenttien muunnoskaavojen lisäksi predikaattilaskennassa pätevät seuraavat:
Ø($ ) = () (Ø );
Ø() = () (Ø ).
Kehystyypit
Koulutustarkoituksiin Kehyksiä on kahdenlaisia: prototyyppikehys ja esimerkkikehys. Runko - prototyyppi heijastaa tietoa abstrakteista stereotyyppisistä käsitteistä, jotka ovat tiettyjen objektien luokkia. Prototyyppikehykset heijastavat intensiivinen tieto, ts. yleistä tietoa tarkasteltavana olevan esineluokan luontaisista malleista. Kehykset - esimerkkejä heijastaa tietoa aiheesta erityisiä faktoja aihealue tai ns laajeneva tietoa. Siirtyminen prototyyppikehyksestä ilmentymäkehykseen suoritetaan prototyyppikehyksen nimeämisproseduurin aikana loogisen päättelymekanismin toiminnan aikana.
Harkitse esimerkkinä yksinkertaistettua kehyksen kaaviota - DATE-konseptin prototyyppiä:
<ДАТА> (<МЕСЯЦ><имя>)(<ДЕНЬ><целые числа {1,2,…, 31}>)
(<ГОД><функция>)(<ДЕНЬ НЕДЕЛИ><перечень {ПНД,ВТР,…,ВСК}>
<функция>)
Prototyyppikehyksen nimi on DATE. KUUKAUSI-paikkaan kirjoitetaan NIMI arvon tilalle, ts. paikan arvo voi olla mikä tahansa kirjaimellinen lauseke. PÄIVÄ-paikan arvot ovat kokonaislukuja, ja luettelo niistä on annettu korttipaikassa. YEAR-paikka määrittää toiminnon, joka voidaan toteuttaa seuraavat toimet. Jos vuosi on määritetty syöttölauseessa, se syötetään esimerkkikehyksen paikka-arvokenttään; jos vuotta ei ole määritelty, puuttuva arvo täytetään kuluvalla vuodella. Tällaisia toimintoja kutsutaan oletusfunktioiksi.
VIIKON PÄIVÄ -paikka määrittää myös toiminnon, joka syöttöviestiä käsitellessään kutsuu automaattisesti tarkistamaan vian varalta.
epäjohdonmukaisuus viikonpäivän merkityksessä, käyttäjän määrittelemä tai cal-
Tämä arvo poistetaan, jos käyttäjä ei ole määrittänyt sitä.
Tietty kehys – esimerkki DATE-kehyksestä voi näyttää tältä:
<ON DATE>(<МЕСЯЦ><ИЮНЬ>)(<ДЕНЬ><5>)
Label ON osoittaa, että tämä kehys on esimerkkikehys. Vain 2 paikkaa on täytetty täällä. Loput arvot voidaan laskea sopivilla menetelmillä.
Paikkaan sisältyvät menettelyt on jaettu kahteen tyyppiin: daemon-menettelyt ja
menettelyt ovat palvelijoita.
Menettelyt ovat demoneita aktivoituvat automaattisesti aina, kun tietoja tulee vastaavaan kehykseen tai poistetaan siitä - esimerkki. Siten DAY OF WEEK -väliin rakennettu proseduuri edellä kuvatussa esimerkissä on edustava proseduuri - demoni. Tämän tyyppisten menettelyjen avulla kaikki rutiinitoiminnot liittyvät tietokantojen ja tiedon ylläpitoon.
Menettelyt - palvelijat aktivoituu vain pyynnöstä. Esimerkki tällaisesta menettelystä on DATE-prototyyppikehyksen YEAR-paikkaan sisäänrakennettu funktio, jota kutsutaan vain, jos käyttäjä ei ole määrittänyt vuotta.
Riisi. 4.6 Kehysverkko
lapsikehykseen. Tykkäys-paikan periminen lapsikehyksestä.
Kysymys 2. Minkä ikäisiä opiskelijat ovat?
Vastaus: 6-17 – "ikä"-paikan arvo on otettu opiskelijakehyksestä. Lapsikehyksen arvoa ei oteta, koska merkitys ilmaistaan eksplisiittisesti itse "opiskelija"-kehyksessä, jota koskeva kysymys esitetään.
Tekijä: toiminnallinen tarkoitus Seuraavat kehystyypit erotetaan:
Kehykset – objektit (esimerkki yllä);
Kehykset – toiminnot (esimerkiksi kehys "korjauslaitteiden synteesiprosessi", paikat: malli, laskentaalgoritmi, parametrit jne.);
Kehykset - tilanteet (esimerkiksi kehys "Analogisen anturin hätätila", paikat: jännite, virta jne.);
Kehykset – skenaariot (esimerkiksi kehys "Palonsammutus", paikat: palon sijainti, sammutusvälineet jne.).
Tiedon esityksen kehysmallia käytetään kielissä FRL(Kehyksen esityskieli) ,KRL(Tiedon esityskieli) jne.
Loogisen päättelyn ominaisuudet
Kehyskielissä päätoiminto on haku mallin mukaan. Esimerkki on kehys, jossa eivät kaikki rakenneyksiköitä, mutta vain ne, joiden avulla tarvittavat kehykset löytyvät järjestelmämuistiin tallennettujen kehysten joukosta. Malli voi sisältää esimerkiksi kehyksen nimen sekä jonkin kehyksessä olevan välin nimen, joka ilmaisee välin arvon. Tällainen malli tarkistaa, onko järjestelmämuistissa kehys, jolla on annettu nimi ja tietty aikavälin arvo, joka on määritetty kuviossa. Esimerkki saattaa ilmoittaa jonkin paikan nimen ja sen arvon. Sitten kuviohaun on varmistettava, että kaikki kehykset, jotka sisältävät paikan, jolla on sama nimi ja väliarvo kuin kuviolla, haetaan. Lopuksi voidaan määrittää jokin looginen funktio kehyksen nimestä, joistakin paikkojen nimistä ja paikkojen arvoista. Siten päättely kehysverkossa perustuu sovitusoperaatioon.
Muita kehyskielille ominaisia proseduureja ovat välien täyttäminen datalla sekä menettelyt uusien prototyyppikehysten (eli uuden tiedon) tuomiseksi järjestelmään ja uusien yhteyksien tuomiseksi niiden välille.
Tarkastellaanpa fragmenttia kuvauksesta "lohkojen maailmasta" (kuva 4.7) kehysten muodossa FRL-kielellä.
Riisi. 4.7 "Block World"
(kehys (nimi (Kuutio)) (pituus (TYHJÄ)) (leveys (JOS-OLETUS (käytä pituutta))) (korkeus (JOS-OLETUS (käytä pituutta)))) (f rame (nimi (B 1)) (AKO (Kuutio)) (väri (punainen)) (pituus(80))) (f rame (nimi (B 2)) (AKO (Kuutio)) (väri (vihreä)) (pituus (65))))
Aukko AKO osoittaa, että esineitä B 1 ja B 2 ovat objektin alatyyppi Kuutio ja perii sen ominaisuudet, nimittäin pituus = leveys = korkeus. Menettelytapa on demoni JOS-OLETUS täyttää oletusarvot.
Oletetaan, että robotille annetaan käsky "Ota keltainen esine, joka tukee pyramidia." Tiedonesityskielellä kysymys kirjoitetaan näin:
(objekti X (väri (keltainen)) (pidä Y (tyyppi (pyramidi))))
Mallin täsmäytysohjelma löytää kuvauksen kohteista tietokannasta:
(kehys (nimi (B 3)) (tyyppi (lohko)) (väri (keltainen)) (koko (20 20 20)) (koordinoida (20 50 0)) (pidä (P 2)))
(kehys (nimi(P 2)) (tyyppi (pyramidi)) ...)
Vastaus saatu: X = B 3, Y = P 2, ja robotille annetaan komento ota(kohde B 3).
Kehysten etuja tiedon esittämisen mallina ovat kyky jäsentää tietopohjaa hierarkian ja periytymisen ominaisuuksien ansiosta. Haittapuolena on loogisen päättelyn järjestämisen monimutkaisuus.
Luento. Tuotejärjestelmän rakentamisen perusteet
Metasääntöjen soveltaminen
Joskus aktivoitavan säännön päättämiseksi on toivottavaa käyttää tiettyä tietoa sen noudattamisen sijaan yleinen strategia konfliktien ratkaiseminen. Tätä tarkoitusta varten jotkut sääntötulkit sisältävät työkaluja, joiden avulla ohjelmoija voi muotoilla ja syöttää ohjelmaan metasääntöjä. Metasäännöt määrittelevät säännöt, joiden mukaan hakemusluettelosta valitaan ne säännöt, jotka on ensin otettava huomioon tai joita on lisäksi noudatettava.
Metarulien avulla voit merkittävästi kaventaa ehdokassääntöjen valikoimaa jonkin kriteerin perusteella tai muuttaa sääntöjen prioriteettien järjestystä. Metarules käyttää usein toimialuekohtaista tietoa. Esimerkki on seuraava järjestelmään liittyvä meta-sääntö:
aiheena lääketieteellinen diagnostiikka MYCIN.
METARULI 001
JOS (1) infektio kuuluu luokkaan lantio-absessi, Ja
(2) on olemassa sääntöjä, joiden tiloissa mainitaan
enterobakteerit, Ja
(3) on olemassa sääntöjä, joiden tiloissa mainitaan
grampositiivinen värjäys,
SITTEN ensimmäiselle luetelluista säännöistä tulee antaa etusija luottavaisesti 0,4.
Luento. Peruskäsitteet tekoälyn alalla
"Tekoälyksi kutsuttu" tieteenala pyrkii tunnistamaan ihmisen toiminnan taustalla olevat perusmekanismit, jotta niitä voidaan soveltaa tiettyjen tieteellisten ja teknisten ongelmien ratkaisemiseen. "Älykkäät" järjestelmät on luotu toimimaan ympäristöissä, joissa ihmisen läsnäolo on mahdotonta tai hengenvaarallista. Näiden laitteiden on toimittava monenlaisissa ympäristöissä. mahdolliset tilanteet. On mahdotonta kuvata näitä tilanteita etukäteen niin yksityiskohtaisesti ja yksiselitteisesti, että voimme rakentaa luotava järjestelmä kovakoodatut käyttäytymisalgoritmit. Siksi tekoälyllä aseistetuissa järjestelmissä tulee olla sopeutumismekanismeja, joiden avulla ne pystyisivät rakentamaan tarkoituksenmukaisia toimintaohjelmia niille annettujen tehtävien ratkaisemiseksi maailmassa vallitsevan erityistilanteen perusteella. Tämä hetki heidän ympäristössään.
Tämä ongelman muotoilu asettaa tutkijoille erityistehtäviä, joita ei ole aiemmin noussut esiin teknisten järjestelmien suunnittelussa. Tällaisia tehtäviä ovat: rikkaan kuvaaminen ulkoinen ympäristö ja sen heijastus järjestelmän sisällä (tätä tehtävää kutsutaan tiedon esittämisen tehtäväksi); tietopankin hallinta, sen täydentäminen, ristiriitojen ja tiedon puutteen havaitseminen; ulkoisen ympäristön havainnointi erityyppisten reseptorien avulla (visuaalinen, tunto, kuulo jne.); luonnollisen kielen ymmärtäminen, joka toimii universaalina viestintävälineenä ihmisille; painetun tekstin ja suullisen puheen havaitseminen ja viesteihin sisältyvän tiedon muuntaminen tiedon esitysmuodoksi; toiminnan suunnittelu on tehtävä, jonka ratkaisun avulla järjestelmä voi muotoilla suunnitelmia tavoitteen saavuttamiseksi käytettävissään olevin keinoin; sopeutuminen ja oppiminen kertyneen kokemuksen perusteella.
Tämä on tekoälyjärjestelmien asiantuntijoiden toiminta-ala. Se sijaitsee useiden eri tieteenalojen risteyksessä: ohjelmointi ja psykologia, tekniikka ja kielitiede, matematiikka ja fysiologia.
Tekoälyn teoria on siis tiedettä tiedosta, kuinka sitä puretaan, esitellään keinotekoisissa järjestelmissä, prosessoidaan järjestelmässä ja miten sitä käytetään käytännön ongelmien ratkaisemiseen. Toisin sanoen tekoälyn puitteissa tutkitut ja tämän tieteen mukaisesti luodut järjestelmät ovat järjestelmiä, joiden työ perustuu tietoon, joka heijastaa sen semantiikkaa ja pragmatiikkaa. ulkopuolinen maailma, joissa älykkäät järjestelmät toimivat.
Näin ollen tekoälyn pääongelmat ovat tiedon esittäminen ja käsittely. Ratkaisu näihin ongelmiin on sekä tehokkaiden tiedon esittämismallien, uuden tiedon hankkimismenetelmien kehittäminen että näitä malleja ja menetelmiä toteuttavien ohjelmien ja laitteiden luominen.
Tekoälyn elementtejä käytetään laajasti älykkäiden luomiseen ohjelmisto TIETOKONE, automatisoidut järjestelmät ohjausjärjestelmät (ACS), suunnitteluautomaatiojärjestelmät (CAD), tiedonhakujärjestelmät (IRS), tietokannan hallintajärjestelmät (DBMS), asiantuntijajärjestelmät (ES), päätöksenteon tukijärjestelmät (DSS), ts. voit lisätä luotujen tietojärjestelmien älykkyyttä.
Tekoälyn alalla saavutettua edistystä käytetään teollisuudessa (kaivostutkimukset ja -kehitys, astronautiikka, autoteollisuus, kemia jne.), taloustieteessä (rahoitus, vakuutus jne.), ei-teollisella alalla (liikenne, lääketiede, viestintä) jne.), maataloudessa.
Tekoälytyökalujen avulla on mahdollista kehittää malleja ja ohjelmia sellaisten ongelmien ratkaisemiseen, joihin ei tunneta suoria ja luotettavia ratkaisumenetelmiä. Tällaiset tehtävät kuuluvat alueelle luovaa toimintaa henkilö. Asiantuntijat sisään tekoäly aiheuttaa tieteellisiä ongelmia, kuten matemaattisten lauseiden todistamista, sairauksien diagnosointia tai laitteiden toimintahäiriöitä, taloudellinen analyysi liiketoimintakokonaisuudet, ohjelmien synteesi spesifikaatioiden perusteella, tekstin ymmärtäminen luonnollisella kielellä, kuva-analyysi ja sen sisällön tunnistaminen, robotin ohjaus jne.
Tietoa ja tietoa
Tehdään määritelmät tutkittavan tieteenalan peruskäsitteistä ja pohditaan käsitteiden "data" ja "tieto" eroja.
Tiedot– ympäristöstä havaittu, ympäristöön päästetty tai sisäisesti tallennettu tietojoukko tietojärjestelmä(ON).
Data– spesifisessä muodossa esitettyä tietoa aihealueen kohteista, niiden ominaisuuksista ja suhteista, jotka kuvastavat tämän alueen tapahtumia ja tilanteita.
Tiedot esitetään muodossa, joka mahdollistaa niiden keräämisen, tallennuksen ja jatkokäsittelyn automatisoinnin. Tieto on tietue tiedoista sopivassa muodossa, joka soveltuu tallentamiseen, siirtämiseen, käsittelyyn ja uuden tiedon hankkimiseen.
Tieto, jota tietokone käsittelee, on jaettu menettelyllisiin ja deklaratiivisiin.
Menettelyllinen tietoa edustavat ohjelmat, jotka suoritetaan ongelmien ratkaisuprosessissa, ja deklaratiivinen– näiden ohjelmien käsittelemät tiedot.
Kaikki älyllinen toiminta perustuu tietoon siitä aihealueesta, jolla ongelmia asetetaan ja ratkaistaan.
Aihealue kutsua joukko toisiinsa liittyviä tietoja, jotka ovat välttämättömiä ja riittäviä ratkaisemaan tiettyjä ongelmia. Aihealueen tuntemus sisältää kuvaukset esineistä, ilmiöistä, tosiasioista sekä niiden välisistä suhteista.
Tietoa– tämä on yleistettyä ja formalisoitua tietoa aihealueen ominaisuuksista ja laeista, jonka avulla toteutetaan ongelmien ratkaisuprosessit, tiedon ja tiedon muuntaminen itse ja jota käytetään loogisen päättelyn prosessissa.
Looginen päätelmä on uusien väitteiden (tuomioiden) generointia, jotka perustuvat alkuperäisiin tosiasioihin, aksioomiin ja päättelysääntöihin.
Tietyn aihealueen ratkaistavien ongelmien näkökulmasta tieto on jaettu kahteen suureen kategoriaan - faktoihin ja heuristiikkaan. Alla tosiasiat yleensä ymmärtää totuuksia ja olosuhteita, jotka ovat yleisesti tiedossa tietyllä aihealueella. Heuristiikka– nämä ovat epävirallisiin näkemyksiin perustuvia empiirisiä algoritmeja, jotka rajoittavat ratkaisuvaihtoehtojen määrää ja varmistavat päätösjärjestelmän tavoitteellisen toiminnan takaamatta kuitenkaan paras ratkaisu. Tällainen tieto perustuu tietyn aihealueen asiantuntijan (asiantuntijan) kokemukseen.
Käsite menettelystä ratkaisujen löytämiseksi ongelmiin (tiedonkäsittelystrategia) liittyy tietotaikinaan. IIS:ssä tätä menettelyä kutsutaan nimellä lähtömekanismi, looginen johtopäätös tai ulostulokone.
Tieto, jonka kanssa järjestelmä toimii, on tallennettu tietokantaan (KB).
Vuorovaikutuksen järjestämiseksi IIS:n kanssa sillä on oltava viestintävälineet käyttäjän kanssa, ts. käyttöliittymä. Käyttöliittymä tarjoaa työtä tietokannan ja tulosmekanismin kanssa melko korkeatasoisella kielellä, lähellä ammattikieltä IIS:n aihealueen asiantuntijoita. Lisäksi käyttöliittymätoiminnot sisältävät tuen käyttäjädialogille järjestelmän kanssa, jolloin käyttäjä voi saada selityksiä järjestelmän toiminnasta, osallistua ratkaisun etsimiseen ongelmaan sekä lisätä ja muokata tietopohjaa. Siten IIS:n pääosat ovat:
Tietopohja,
Lähtömekanismi
Käyttöliittymä.
Tiedon piirteet, jotka erottavat sen tiedosta
Esimerkki. Anna perhesuhteiden toimia aihealueena. Tämän aihealueen kohteita ovat käsitteet, kuten äiti,
isä, tytär, mies, nainen jne.
Olkoon tosiasiat tiedossa:
Victor on Tanjan isä.
Vladimir on Victorin isä.
Prologissa nämä tosiasiat kuvataan seuraavasti:
isä (Victor, Tanya).
isä (Vladimir, Victor).
Tässä "isä" on relaationimi tai predikaatti, ja "Victor", "Tanya" ja "Vladimir" ovat vakioita.
Antaa X, Y, Z– muuttujat. Muuttujien käyttö X Ja Z, voimme yleensä kirjoittaa muistiin suhteen " X on isä Z» Prologissa:
isä ( X, Z).
Predikaatti "isä" ja muuttujat X, Y, Z, muotoillaan uusi suhde "isoisä", nimittäin:
Jos X on isä Z Ja
Z on isä Y
Että X on isoisä Y.
Tätä suhteen tallennusmuotoa kutsutaan nimellä "Jos...Sitten". tuotantosääntö, tuotteita tai vain sääntö.
Prologissa suhde "isoisä" kirjoitetaan seuraavasti:
isoisä ( X, Y): - isä ( X, Z), isä ( Z, Y).
Symboli ": –" tulkitaan "jos".
Käyttäen esimerkkiä suhteesta "isoisä" muotoillaan yleinen malli "isoisän" käsitteen määrittelemisestä "isän" käsitteen kautta. Nimi "Vladimir" suhteesta riippumatta ei osoita mitään. Ehkä se on henkilön nimi tai kaupungin nimi. Numeerisia tai muita tietoja, esimerkiksi tiedostossa, käsitellään samalla tavalla. Annettu yhdessä suhteen kanssa määrittää jonkin merkityksen ja muodostaa siten tiedon.
Tarkastellaanpa tiedon ominaisuuksia, jotka erottavat sen tiedosta.
1. Tulkittavuus. Tietokoneen muistiin tallennettuja tietoja voi tulkita vain asianmukainen ohjelma. Tiedolla ilman ohjelmaa ei ole informaatiota, kun taas tiedolla on tulkinta, koska se sisältää samanaikaisesti dataa ja sitä vastaavat nimet, kuvaukset, suhteet, ts. esitetään tietojen mukana tietorakenteet, jotka antavat paitsi tallentaa tietoa myös käyttää sitä.
Moduuli 1 (1,5 op): Johdatus talousinformatiikkaan
Aihe 1.1: Talousinformatiikan teoreettiset perusteet
Aihe 1.2: Tiedonkäsittelyn tekniset keinot
Aihe 1.3: Järjestelmäohjelmisto
Aihe 1.4: Palveluohjelmistot ja algoritmien perusteet
Talousinformatiikka ja informaatio
1.1. Talousinformatiikan teoreettiset perusteet
1.1.2. Dataa, tietoa ja tietoa
Peruskäsitteet tiedosta, tiedosta, tiedosta.
TO peruskonseptit Talousinformatiikassa käytettyjä ovat: data, informaatio ja tieto. Näitä käsitteitä käytetään usein vaihtokelpoisina, mutta näiden käsitteiden välillä on perustavanlaatuisia eroja.
Termi data tulee sanasta data - fakta, ja informaatio (informatio) tarkoittaa selitystä, esitystä, ts. tiedot tai viesti.
Data on tietylle välineelle tallennettujen tietojen kokoelma pysyvään säilytykseen, siirtoon ja käsittelyyn sopivassa muodossa. Tietojen muuntaminen ja käsittely mahdollistaa tiedon hankkimisen.
Tiedot on tulos tietojen muuntamisesta ja analysoinnista. Tiedon ja datan ero on siinä, että data on tietyille tietovälineille tallennettua kiinteää tietoa tapahtumista ja ilmiöistä ja tieto tulee esiin tietojen käsittelyn tuloksena tiettyjä ongelmia ratkaistaessa. Esimerkiksi tietokantoihin tallennetaan erilaisia tietoja, joista tietokannan hallintajärjestelmä toimittaa tietyn pyynnöstä tarvittavat tiedot.
Tiedolla on muitakin määritelmiä, esimerkiksi tieto on tietoa ympäristön esineistä ja ilmiöistä, niiden parametreista, ominaisuuksista ja tilasta, jotka vähentävät epävarmuuden astetta ja epätäydellistä tietoa niistä.
Tietoa– tämä on tallennettua ja käytännössä testattua käsiteltyä tietoa, jota on käytetty ja voidaan käyttää toistuvasti päätöksenteossa.
Tieto on eräänlainen tieto, joka on tallennettu tietokantaan ja heijastaa tietyn aihealueen asiantuntijan tietämystä. Tieto on henkistä pääomaa.
Muodollinen tieto voi olla päätöksentekoa säätelevien asiakirjojen (standardien, määräysten) tai oppikirjojen, ongelmien ratkaisua kuvaavien ohjeiden muodossa.
Epävirallinen tieto on tietyn aihealueen asiantuntijoiden tietoa ja kokemusta.
On huomattava, että näille käsitteille (tiedot, tiedot, tieto) ei ole universaaleja määritelmiä, niitä tulkitaan eri tavalla.
Päätökset tehdään saatujen tietojen ja olemassa olevan tiedon perusteella.
Tehdä päätöksiä- tämä on tietyssä mielessä parhaan ratkaisuvaihtoehdon valinta hyväksyttävien joukosta saatavilla olevan tiedon perusteella.
Tiedon, tiedon ja tiedon suhde päätöksentekoprosessissa on esitetty kuvassa.
Riisi. 1.
Ongelman ratkaisemiseksi käsitellään kiinteää dataa olemassa olevan tiedon perusteella, minkä jälkeen vastaanotettu tieto analysoidaan olemassa olevan tiedon perusteella. Analyysin perusteella ehdotetaan kaikki mahdolliset ratkaisut ja valinnan tuloksena tehdään yksi jossain mielessä paras päätös. Ratkaisun tulokset lisäävät tietoa.
Käyttöalueesta riippuen tiedot voivat olla erilaisia: tieteellisiä, teknisiä, hallinnollisia, taloudellisia jne. Talousinformatiikan kannalta taloustieto kiinnostaa.
