EntityQ1141183· pop 13· linked from 70 articlesbackward chainingSign in to savemethod of forming inferencesConnectionsexpert systemEntityArtificial intelligenceConceptInternational Standard Book NumberEntityWikidataEntityreasonEntityhypothesisEntitydataEntitygame theoryEntitygoalEntityPrologEntityinferenceEntitydata scienceEntityendgameEntityknowledge baseEntitydepth-first searchEntitylogic programmingEntityDBpediaEntityknowledge representation and reasoningEntitycomputer chessEntitymodus ponensEntityCategoriesAutomated reasoningExpert systemsLogic in computer scienceReasoning