Meta bilgisi

Bir meta bilgi , bir veya daha fazla bilgi hakkındaki bilgidir.

Özellikle şunları ayırt edebiliriz:

• bilgiyi tanımlayan meta bilgi,
• bilginin kullanımına ilişkin meta bilgi,
• bilgiyi keşfetmek için meta bilgi,
• bir bilginin güvenilirliği veya doğruluğu hakkında meta bilgi,
• Başkalarını tanımakla ilgili meta bilgi - veya para bilgisi - ( örneğin Pierre, Jacques'ın telefon numarasını bilmediğini bilir ),
• vb.

Bilgisayar biliminde, çoğu uzman sistemde , sistemin alanı hakkında bilgi (örneğin, teşhis yardımı için tıbbi bilgi) az ya da çok bildirimsel olarak sağlanırken, meta-bilgi (özellikle bu bilgiyi kullanmak için) çıkarsama motoru . Bazen bunlardan bazıları, örneğin metarüllerde resmileştirilir ve yapılandırılabilir.

Biçimsel mantık bilgisinin kullanımına ilişkin meta bilgi örnekleri

• Modus ponens  : A ⇒ B çıkarımından ve A olgusundan B gerçeğini çıkarıyoruz .
• Modus gişeleri  : A ⇒ B'nin çıkarımından ve B olmayan gerçeğinden, A olmayan gerçeği çıkarıyoruz .

Ayrıca görün

• Jacques Pitrat , Meta-bilgi, yapay zekanın geleceği , Hermès 1990
• Metaprogramlama makalesi
• Metamodel makale