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)

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 ]