Metatieto

Meta tieto on tietoa yhdestä tai useammasta tietoa.

Voimme erottaa erityisesti:

• tietoa kuvaava metatieto,
• metatieto tiedon käytöstä,
• metatieto tiedon löytämiseksi,
• metatieto tiedon luottamuksesta tai oikeellisuudesta,
• metatieto muiden tuntemisesta - tai para-tieto - ( esim. Pierre tietää, että Jacques ei tiedä hänen puhelinnumeroitaan ),
• jne.

Tietojenkäsittelytieteessä useimmissa asiantuntijajärjestelmissä tieto järjestelmän alueesta (esimerkiksi lääketieteellinen tieto diagnostiikkatukea varten) tarjotaan enemmän tai vähemmän deklaratiivisesti, kun taas metatieto (erityisesti tämän tiedon käyttämistä varten) on ohjelmoitu kovasti päättelykonetta . Joskus jotkut niistä ovat muodollisia ja konfiguroitavissa, esimerkiksi metareissa.

Esimerkkejä muodollisen loogisen tiedon käytön metatiedosta

• Modus ponens  : implikaatiosta A ⇒ B ja tosiasia A: sta päätellään tosiasia B.
• Modus tollens  : implikaatiosta A ⇒ B ja ei-B-tosiasiasta päätämme ei-A-tosiasian.

Katso myös

• Jacques Pitrat , metatieto, tekoälyn tulevaisuus , Hermès 1990
• Metaprogramming artikkeli
• Metamodel artikkeli