Orðskýring
á ð é í ó ú ý þ æ ö (* = hvað sem er, ? = stakur stafur) (Nánar)
ályktunarforrit hk.
Sá þáttur sérþekkingarkerfis sem beitir reglum rökleiðslu til þess að draga ályktanir af framsetningu upplýsinga1 sem eru geymdar2 í þekkingarsafni.
Enska: inference engine