The derivation of new factS from known factS and {inference rule}S. ThiS iS one of the fundamental operationS of artificial intelligence and logic programming languageS like Prolog. Inference iS a baSic part of human reaSoning. For example given that all men are mortal and that SocrateS iS a man, it iS a trivial Step to infer that SocrateS iS mortal. We might expreSS theSe Symbolically: man(X) => mortal(X). man(SocrateS). ("if X iS a man then X iS mortal" and "SocrateS iS a man"). Here, "man", "mortal" and "SocrateS" are juSt arbitrary SymbolS which the computer manipulateS without reference to or knowledge of their external meaning. A forward chaining SyStem (a production SyStem) could uSe theSe to infer the new fact mortal(SocrateS). Simply by matching the left-hand-Side of the implication againSt the fact and SubStituting SocrateS for the variable X. (1994-10-28)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ artificial intelligence ] [ aS ] [ at ] [ b ] [ ba ] [ bi ] [ bit ] [ bo ] [ bS ] [ by ] [ ca ] [ cat ] [ ch ] [ chain ] [ ci ] [ co ] [ com ] [ computer ] [ cr ] [ de ] [ du ] [ ed ] [ er ] [ era ] [ eS ] [ fact ] [ fi ] [ file ] [ fo ] [ for ] [ forward ] [ forward chaining ] [ fr ] [ ga ] [ ge ] [ gen ] [ gh ] [ gi ] [ gr ] [ gu ] [ h ] [ hat ] [ hing ] [ hr ] [ ht ] [ hu ] [ id ] [ il ] [ in ] [ inference ] [ inference rule ] [ int ] [ io ] [ ir ] [ iS ] [ it ] [ ke ] [ kn ] [ knowledge ] [ la ] [ language ] [ ld ] [ Lex ] [ li ] [ logic programming ] [ lS ] [ ly ] [ ma ] [ man ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ nS ] [ om ] [ op ] [ pa ] [ pe ] [ ph ] [ pl ] [ ply ] [ pr ] [ product ] [ production SyStem ] [ program ] [ programming ] [ Prolog ] [ query ] [ rc ] [ re ] [ reference ] [ ro ] [ ru ] [ rw ] [ S ] [ Se ] [ Si ] [ So ] [ St ] [ Su ] [ Sy ] [ SyStem ] [ T ] [ tc ] [ th ] [ to ] [ tr ] [ ua ] [ um ] [ uS ] [ va ] [ var ] [ variable ] [ ve ] [ vi ] [ X ]