Patent ID: 11868913
Assignee: nan
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 16:
17. A method carried out by a computer comprising:
receiving, over a communication network, by a processing device, first information in natural language text from a user indicating statements and arguments, in which the first information indicates which statement of the statements is an intended result of a given argument;
receiving, over the communication network, by the processing device, second information in natural language text from the user indicating challenges to the statements or the arguments;
establishing, by the processing device, a correspondence between the statements and the arguments to generate nodes in an argument graph, the nodes representing the statements, arguments, and challenges;
when a new first node is added to the argument graph based on new node information received over the communication network, rating, by the processing device, all of the nodes in the argument graph in order of increasing EDepth to update the argument graph and sending, over the communication network, the argument graph as updated,
wherein the EDepth of a given node of the nodes in the argument graph is a length of a longest path in said argument graph beginning at a node having no ancestors and ending at the given node and extending only over challenge, argument, assumption and citation edges,
wherein each first node of the nodes in the argument graph determined to have a same first EDepth is rated before each second node of the nodes which is a descendant of said first node and is determined to have a same second EDepth greater than the same first EDepth, and
wherein a node to be rated is rated as established based on status of verification of validity of an inference corresponding to the node to be rated and by determining (i) whether all challenge edges incoming to the node are not established, (ii) whether all assumption edges incoming to the node are established, and (iii) whether, when there are one or more argument edges incoming to the node, at least one argument edge incoming to the node is established; and
providing to the user the updated argument graph indicating the status of verification of validity of the inference corresponding to the rated node and whether the rated node is established.