Rationer automat

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

Un rezonator automat este un software capabil să efectueze raționamente pe baze de cunoștințe formalizate în mod adecvat.

Raționamentul, în acest caz, este înțeles ca abilitatea de a elabora baza de cunoștințe conform unor reguli, pentru a valida și analiza baza de cunoștințe în sine.

Posibilitățile raționamentului depind strict de limbajul folosit pentru a oficializa baza de cunoștințe.

Forme de raționament automat

  • Validare : verificarea coerenței interne a bazei de cunoștințe.
  • Analiză : explicație, de către motivator, a cunoștințelor implicite în baza de cunoștințe.
  • Inferință sau deducție . Dacă limbajul utilizat prevede posibilitatea de a exprima cunoștințe incomplete, motivatorul va putea identifica acele fapte care sunt implicite în toate modelele posibile care satisfac baza de cunoștințe. Posibilitatea de a face inferența în mod automat este elementul care arată mai mult decât altele diferența dintre raționamentul automat și calculul simplu.

Angajamente

Un domeniu recent de utilizare a raționamentelor automate este rețeaua semantică , unde bazele de cunoștințe pot fi exprimate în diferite limbaje calculabile, dintre care cel mai expresiv este OWL .

Informatică Portal IT : accesați intrările Wikipedia care se ocupă cu IT