Abstract: In an example, an iterative method for generating designs includes receiving, by a computing system, a plurality of symbolic rules and a plurality of design objectives for a design of a system; generating, by the computing system, a first plurality of designs for the system based on the plurality of the symbolic rules; evaluating performance of the first plurality of designs; training a machine learning model using the first plurality of designs and performance metrics; generating a second plurality of designs; evaluating, by the computing system, using a machine learning model, performance of the second plurality of designs to filter one or more designs that meet one or more of the plurality of the design objectives; evaluating performance of the filtered designs; and updating, by the computing system, the plurality of the design objectives and/or the plurality of the symbolic rules based on the evaluated performance of the filtered designs.

Abstract: In an example, a method of designing a system or architecture includes, receiving a plurality of parameter values and a set of requirements for a plurality of objective functions related to a design problem; compressing the plurality of parameters to generate a latent representation; forward processing, with one or more Invertible Neural Networks (INNs), the latent representation to generate a plurality of objective values corresponding to the plurality of the objective functions; inverse processing the plurality of objective values; and generating, based on the latent representation, a plurality of solutions to the design problem that satisfy the set of requirements for the plurality of objective functions.

Abstract: In general, techniques for data access control are described, in which a policy engine implements and applies a declarative policy framework that can represent and reason about complex privacy policies. By using a common data model together with a formal shareability theory, this declarative policy framework enables the specification of expressive policies in a concise way without burdening the user with technical details of the underlying formalism of a data querying application or other knowledge representation scheme. The policy engine may be deployed as the policy decision point in a data access control system that also includes a policy enforcement point. The policy engine includes user interfaces for the creation, validation, and management of privacy policies. The policy engine may interface with systems that manage data requests and replies by coordinating policy engine decisions and access to databases.

Abstract: In general, the disclosure describes various aspects of techniques for explaining results provided by automated decision systems. A device comprising a memory and a computation engine executing one or more processor may be configured to perform the techniques. The memory may store an automated reasoning engine. The computation engine may execute the automated reasoning engine to obtain a query, obtain, from a knowledge base, and responsive to the query, a knowledge base entity representative of an explicit fact or a rule, and determine, based on the knowledge base entity, the query result that provides a decision to the query. The automated reasoning engine may also obtain provenance information that explains a history for the knowledge base entity, determine, based on the provenance information, an explanation that explains a difference between the query result and a previous query result provided with respect to the query, and output the explanation.

Abstract: In general, the disclosure describes techniques for machine learning for translation to structured computer readable representation. An example method to generate a training set for a natural language translation model includes receiving, by a computing system, a grammar comprising rules, one or more of the rules being associated with random biases; generating, by the computing system, at least one of random trees or random graphs based on the random biases in the grammar; for each of the random trees or random graphs, by the computing system, generating a natural language sample; and generating, by the computing system, the training set with the random trees or random graphs and the corresponding natural language samples.

Abstract: In general, techniques for data access control are described, in which a policy engine implements and applies a declarative policy framework that can represent and reason about complex privacy policies. By using a common data model together with a formal shareability theory, this declarative policy framework enables the specification of expressive policies in a concise way without burdening the user with technical details of the underlying formalism of a data querying application or other knowledge representation scheme. The policy engine may be deployed as the policy decision point in a data access control system that also includes a policy enforcement point. The policy engine includes user interfaces for the creation, validation, and management of privacy policies. The policy engine may interface with systems that manage data requests and replies by coordinating policy engine decisions and access to databases.

Abstract: The present invention relates to a method and apparatus for assisting with automated task management. In one embodiment, an apparatus for assisting a user in the execution of a task, where the task includes one or more workflows required to accomplish a goal defined by the user, includes a task learner for creating new workflows from user demonstrations, a workflow tracker for identifying and tracking the progress of a current workflow executing on a machine used by the user, a task assistance processor coupled to the workflow tracker, for generating a suggestion based on the progress of the current workflow, and a task executor coupled to the task assistance processor, for manipulating an application on the machine used by the user to carry out the suggestion.

Abstract: The present invention relates to a method and apparatus for assisting with automated task management. In one embodiment, an apparatus for assisting a user in the execution of a task, where the task includes one or more workflows required to accomplish a goal defined by the user, includes a task learner for creating new workflows from user demonstrations, a workflow tracker for identifying and tracking the progress of a current workflow executing on a machine used by the user, a task assistance processor coupled to the workflow tracker, for generating a suggestion based on the progress of the current workflow, and a task executor coupled to the task assistance processor, for manipulating an application on the machine used by the user to carry out the suggestion.