Methods, systems, and apparatus, including computer programs language encoded on a computer storage medium for a logic correction system whereby input text is modified to a logical state using a reinforcement learning system with a real-time logic engine. The logic engine is able to extract the symmetry of word relationships and negate relationships into formal logical equations such that an automated theorem prover can evaluate the logical state of the input text and return a positive or negative reward. The reinforcement learning agent optimizes a policy creating a conceptual understanding of the logical system, a ‘mental map’ of word relationships.

Examples of a textual entailment generation system are provided. The system obtains a query from a user and implements an artificial intelligence component to identify a premise, a word index, and a premise index associated with the query. The system may implement a first cognitive learning operation to determine a plurality of hypothesis and a hypothesis index corresponding to the premise. The system may generate a confidence index for each of the plurality of hypothesis based on a comparison of the hypothesis index with the premise index. The system may determine an entailment value, a contradiction value, and a neutral entailment value based on the confidence index for each of the plurality of hypothesis. The system may generate an entailment result relevant for resolving the query comprising the plurality of hypothesis along with the corresponding entailed output index.

Disclosed is a system for providing an inference associated with delays in processing input data packet(s) by a Design Under Verification (DUV)/System Under Verification (SUV) characterized by maintaining timing information of the input data packet(s) is disclosed. To provide an inference, initially, an input data packet is processed by a DUV or SUV. Simultaneously, an expected data packet corresponding to the input data packet is predicted and a Unique Identifier is assigned to the expected data packet corresponding to the input data packet that entered into the DUV/SUV. After assigning the Unique Identifier, the plurality of data fields pertaining to the Unique Identifier are populated in an array of Packet Timing Entries based on a Delay Identifier (ID) and a Delay Mode. The plurality of data fields may then be used for reporting various delay statistics and operational behaviour of DUV/SUV.

Systems, computer-implemented methods, and computer program products to facilitate model transfer learning across evolving processes are provided. According to an embodiment, a system can comprise a memory that stores computer executable components and a processor that executes the computer executable components stored in the memory. The computer executable components can comprise a condition definition component that defines one or more conditions associated with use of a model trained on first traces of a first process to make a prediction on one or more second traces of a second process. The computer executable components can further comprise a guardrail component that determines whether to use the model to make the prediction.

Limited duration supply for heuristic algorithms is disclosed. A supply manager receives, from a first subsystem, a first request for a first supply. The supply manager determines that the first supply is not executing. The supply manager initiates the first supply, the first supply to return supply data upon request. The supply manager provides to the first subsystem a supply reference that refers to the first supply that allows the first subsystem to request the supply data directly from the first supply. The supply manager subsequently determines that no subsystem requires the first supply and disables the first supply.

Device and method for configuring a technical system are disclosed, wherein the method includes generating a configuration model from configuration criteria for the technical system and the configuration model represents the technical system as an information model, where generating the configuration model includes validating the configuration criteria based on constraints associated with the technical system and identifying a maximum satisfiable rule set for the validated configuration criteria, the maximum satisfiable rule set being identified by determining a minimum number of conflicting rules to be removed to resolve conflicts with the validated configuration criteria, where the minimum number of conflicting rules being determined for rules ranked below the threshold severity; and by removing at least one of the minimum number of conflicting rules to generate the maximum satisfiable rule set.

A model verification device includes a memory, and a processor coupled to the memory and configured to extract a sample from a search space, transform the extracted sample into an input on a constrained search space to which a constraint with respect to a model is applied, according to a predetermined transform rule; and determine whether an output of the model for the input satisfies a specification, and determine the input as a counterexample when the output does not satisfy the specification.

Software based intelligent agents performing automated negotiations for the generation of offers leading to settlements that maximize the utility. A set of opponent's models, which best represents the opponent's profile, behavior, and cognitive orientation, is paired to a set of hypothetical agents. The hypothetical agent and the associated opponent model bargains against each other to generate a hypothetical sequence of proposed agent's offers and predicted opponent's counter offers. An ensemble unifies the proposed and predicted sequences based on the current and past performance measured according to the accuracy of the opponent's behavior prediction and agent's utility maximization. The opponent's adopted tactic is dynamically learned during the negotiation to update the opponent's model. The initial belief about the probability distribution of the opponent's preferences and internal states is set according to the historical negotiation's data. The belief is revised according to observed outcomes of the current negotiation.

An information processing apparatus according to the present invention includes: an acceptance unit that accepts a process request to an operation system; a specifying unit that, based on the process request, specifies an operation task to be executed in the operation system; an extraction unit that performs text analysis on the process request and extracts an answer item corresponding to an input item required at execution of the operation task from the process request; and an execution unit that executes the operation task based on the answer item.

In some embodiments, a robotic process automation (RPA) design application provides a user-friendly graphical user interface that unifies the design of automation activities performed on desktop computers with the design of automation activities performed on mobile computing devices such as smartphones and wearable computers. Some embodiments connect to a model device acting as a substitute for an actual automation target device (e.g., smartphone of specific make and model) and display a model GUI mirroring the output of the respective model device. Some embodiments further enable the user to design an automation workflow by directly interacting with the model GUI.