Abstract: The techniques disclosed herein help designers find interesting designs for small electrical, mechanical, and/or hydraulic mechanisms by exhaustively enumerating the design space given a library of components and a maximum number of components allowed per design. Some embodiments work by creating a design space grammar of designs, solving the equations associated with parts of the grammar, and putting the solutions into equivalence classes. This dramatically reduces the number of designs that have to be evaluated to see if they satisfy the design criteria. The result is often a small number of base designs that show the range of possible solutions to the design problem.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route. Systems and methods then generate a set of potential transportation plans for the route, determine an impact of a subset of plans in the set of potential transportation plans and estimate a likelihood of acceptance of the subset of plans in the set of potential transportation plans based on a personal preference model for the user. Systems and methods also select an influence strategy of the user based on a user model and generate a message recommending a selected plan from the subset of plans for the user, wherein the message is generated based on the selected influence strategy.

Abstract: A method is provided. The method includes obtaining an enhanced state graph. The enhanced state graph represents a set of objects within an environment and a set of positions of the set of objects. The enhanced state graph includes a set of object nodes, a set of property nodes and a set of goal nodes to represent a set of objectives. The method also includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The set of mechanical systems is configured to interact with one or more of the set of objects within the environment. The method further includes operating the set of mechanical systems to achieve the set of objectives based on the set of instructions.

Abstract: A method is provided. The method includes obtaining sensor data indicative of a set of objects detected within an environment. The method also includes generating a state graph based on the sensor data. The state graph includes a set of object nodes and a set of property nodes. The method further includes obtaining user input data generated based on a natural language input. The method further includes updating the state graph based on the user input data to generate an enhanced state graph. The enhanced state graph includes additional nodes generated based on the user input data. The method further includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The method further includes operating the set of mechanical systems to achieve a set of objectives based on the set of instructions.

Abstract: A method is provided. The method includes obtaining an enhanced state graph. The enhanced state graph represents a set of objects within an environment and a set of positions of the set of objects. The enhanced state graph includes a set of object nodes, a set of property nodes and a set of goal nodes to represent a set of objectives. The method also includes generating a set of instructions for a set of mechanical systems based on the enhanced state graph. The set of mechanical systems is configured to interact with one or more of the set of objects within the environment. The method further includes operating the set of mechanical systems to achieve the set of objectives based on the set of instructions.

Abstract: In one embodiment, a method is provided. The method includes obtaining sensor data indicative of a set of objects detected within an environment. The method also includes determining a set of positions of the set of objects and a set of properties of the set of objects based on the sensor data. The method further includes generating a state graph based on the sensor data. The state graph represents the set of objects and the set of positions of the set of objects. The state graph includes a set of object nodes to represent the set of objects and a set of property nodes to represent the set of properties of the set of objects. The state graph is provided to a graph enhancement module that updates the state graph with additional data to generate an enhanced state graph.

Abstract: A method is provided. The method includes obtaining a state graph that represents a set of objects within an environment and a set of positions of the set of objects within the environment. The state graph includes a set of object nodes and a set of property nodes. The method also includes obtaining user input data. The user input data is generated based on a natural language input. The method further includes updating the state graph based on the user input data to generate an enhanced state graph. The enhanced state graph includes additional nodes generated based on the user input data. The method further includes providing the enhanced state graph to a planning module. The planning modules generates instructions for operating a mechanical system based on the enhanced state graph.

Abstract: A computer simulation includes qualitative values and constraints of a qualitative state. At least some of the constraints include additions of at least some of the qualitative values. The qualitative values are converted to inequalities and equalities. A subset of the original constraints is extracted that represents all of the additions. A conflict resolution method is applied to the inequalities along with the addition constraints. The conflict resolution method makes a tentative assignment of numerical values to the quantitative values and determines consistencies over all of the inequalities and equalities using the tentative assignments. Based on the conflict resolution method determining that the addition constraints reduce to a trivial inconsistency, the qualitative state can be invalidated.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route. Systems and methods then generate a set of potential transportation plans for the route, determine an impact of a subset of plans in the set of potential transportation plans and estimate a likelihood of acceptance of the subset of plans in the set of potential transportation plans based on a personal preference model for the user. Systems and methods also select an influence strategy of the user based on a user model and generate a message recommending a selected plan from the subset of plans for the user, wherein the message is generated based on the selected influence strategy.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route. Systems and methods then generate a set of potential transportation plans for the route, determine an impact of a subset of plans in the set of potential transportation plans and estimate a likelihood of acceptance of the subset of plans in the set of potential transportation plans based on a personal preference model for the user. Systems and methods also select an influence strategy of the user based on a user model and generate a message recommending a selected plan from the subset of plans for the user, wherein the message is generated based on the selected influence strategy.

Abstract: The techniques disclosed herein help designers find interesting designs for small electrical, mechanical, and/or hydraulic mechanisms by exhaustively enumerating the design space given a library of components and a maximum number of components allowed per design. Some embodiments work by creating a design space grammar of designs, solving the equations associated with parts of the grammar, and putting the solutions into equivalence classes. This dramatically reduces the number of designs that have to be evaluated to see if they satisfy the design criteria. The result is often a small number of base designs that show the range of possible solutions to the design problem.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route and generate a set of potential transportation plans for the route. The systems and methods determine an estimated travel time and an estimated fuel consumption for at least a first subset of plans in the set of potential transportation plans and estimate an impact on a transportation system of at least a second subset of plans in the set of potential transportation plans. Based at least in part on the estimated time, the estimated fuel, and the estimated impact on the transportation system, a plan is selected.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route. Systems and methods then generate a set of potential transportation plans for the route, determine an impact of a subset of plans in the set of potential transportation plans and estimate a likelihood of acceptance of the subset of plans in the set of potential transportation plans based on a personal preference model for the user. Systems and methods also select an influence strategy of the user based on a user model and generate a message recommending a selected plan from the subset of plans for the user, wherein the message is generated based on the selected influence strategy.

Abstract: Systems and methods described receive a request for a transportation plan for a user, wherein the request comprises a starting point and an ending point for a route and generate a set of potential transportation plans for the route. The systems and methods determine an estimated travel time and an estimated fuel consumption for at least a first subset of plans in the set of potential transportation plans and estimate an impact on a transportation system of at least a second subset of plans in the set of potential transportation plans. Based at least in part on the estimated time, the estimated fuel, and the estimated impact on the transportation system, a plan is selected.