{"id_concept_class": "ctp_C3", "creation_time": 1512660627657, "event_stamp": "2009-06-22T19:12:55", "def_id_user": "usr_49a467bf4e0db", "def_event_stamp": "2012-03-28T16:26:22", "last_updated": 1512660627657, "def_id": "def_4f733baecf176", "name": "backward chaining", "alias": "", "definition_text": "an inference method used in automated theorem provers, proof assistants and other artificial intelligence applications.  Backward chaining starts with a list of goals (or a hypothesis) and works backwards from the consequent to the antecedent to see if there is data available that will support any of these consequents.", "id_user": "usr_0000000000", "id": "trm_4a3fd79d09b62", "type": "concept", "concepts": [], "contrasts": [], "citations": [], "conceptclasses": [{"creation_time": 1512660843652, "last_updated": 1512660843652, "name": "Reasoning and Decision Making", "display_order": 7, "description": "Reasoning and Decision Making", "id": "ctp_C3", "relationship": "CLASSIFIEDUNDER"}], "relationships": []}