Abstract: A policy learning apparatus of the present invention includes: a first unit configured to select a first action element based on a selection rate for each of choices of the first element whose number of choices does not depend on a state; a second unit configured to apply the selected first action element and further apply each of choices of a second action element whose number of choices depends on the state to obtain another state for each of the choices, and determine the other state based on a reward obtained by shifting to the other state and a value of the other state; and a third unit configured to further learn a model by using learning data generated based on information used when determining the other state.

Abstract: A part extraction device includes: at least one memory configured to store instructions; and at least one processor configured to execute the instructions to: acquire first information that shows a configuration of a system in a graph format; and extract second information that shows a configuration of a part of the system in a graph format, from the first information.

Abstract: In a parts configuration plan generation device, a concretization processing unit (first concretization unit) concretizes an “abstract configuration” by using a first concretization pattern, and thereby generates a “base parts configuration”. A concretization processing unit (second concretization unit) applies a second concretization pattern to the base parts configuration and concretizes a parts item contained in the base parts configuration, and thereby generates a “candidate parts configuration”. An output unit outputs, as a “parts configuration plan”, the candidate parts configuration where concretization is done and satisfying a condition to be satisfied by a device to be built.

Abstract: In an equipment configuration plan generation device, an input unit receives an input value (request condition) of an entry regarding a request related to facility construction of a store and an input value (constraint condition) of an entry regarding a constraint condition related to the store. A concretization unit concretizes devices to be installed in the store in a step-by-step manner according to an input value of each entry regarding the constraint condition, and thereby generates an equipment configuration plan containing specific devices and satisfying the request (request condition).

Abstract: An apparatus includes an input unit that receives an input of a requirement and a condition for a hairstyle, a correspondence relationship storage unit that stores a first correspondence relationship between an element characterizing the hairstyle and the hairstyle, a hairstyle model storage unit that stores a hairstyle model, a procedure storage unit that stores a hairstyle making procedure, a search unit that selects the type of hairstyle based on the element included in the input requirement and the first correspondence relationship, determines a value of the variable included in the hairstyle model of the selected type of hairstyle based on the input condition, and assigns the determined value to the variable included in the hairstyle making procedure of the selected type of hairstyle, and an output unit that outputs the selected type of hairstyle and output the hairstyle making procedure after the value is assigned to the variable.

Abstract: A cocktail proposal apparatus according to the present disclosure includes an input unit configured to receive an input of a requirement for a cocktail, a correspondence relationship storage unit configured to store a first correspondence relationship representing a correspondence relationship between an element characterizing the cocktail and the cocktail, an optimum cocktail search unit configured to select a type of cocktail based on the element included in the requirement input to the input unit and the first correspondence relationship, and an output unit configured to output the type of cocktail selected by the optimum cocktail search unit.

Abstract: A tour plan generation apparatus according to the present disclosure includes an input unit configured to receive inputs of a tour request and a condition for a package tour, a concretizing unit configured to generate, as a tour plan, a concretized tour request by concretizing the input tour request and the condition, the concretized tour request being a request that satisfies the concretized condition, and an output unit configured to output the generated tour plan.

Abstract: A system design learning device includes: at least one memory configured to store instructions; and at least one processor configured to execute the instructions to: perform, with respect to a design target system whose system requirement is shown, system design in which application of a conversion rule to a component of the design target system is iterated until a design result of the system design is obtained; determine an evaluation value for the system design based on the design result; determine an evaluation value related to conversion of each component in the system design based on the evaluation value for the system design; and learn about selection of a component to which the conversion rule is applied based on learning data including the evaluation value related to the conversion of each component.

Abstract: A part extraction device includes: at least one memory configured to store instructions; and at least one processor configured to execute the instructions to: acquire first information that shows a configuration of a system in a graph format; and extract second information that shows a configuration of a part of the system in a graph format, from the first information.

Abstract: The purpose of the present invention is to more assuredly generate a system construction procedure, while reducing the amount of calculation. This system construction assistance system is provided with: a state model dividing unit 501 that divides state models into one or more groups, on the basis of at least the dependency between state elements included in the state models; a invertibility determination unit 502 that determines the invertibility of a set of state elements belonging to a specified group; a group dependent procedure calculation unit 503 that calculates, for each group after division, a procedure for transitioning the set of state elements belonging to the group to a requested state; and a procedure integration unit 504 that integrates the procedures calculated for each group.

Abstract: A model checking apparatus able to reduce redundant search in a model checking is provided. The model checking apparatus is configured to: accept verification information representing a state transition model and a verification content; obtain an execution path by causing a transition in the state transition model; analyze, between transitions on the execution path, a dependence relation relating to data set determination processing for determining a data set being a set of representative values of data used in a transition with data use; perform a re-search using a data set in which data already used in a previous search in the transition is excluded from the data set obtained by the data set determination processing, when performing a re-search from a backtrack point based on the dependence relation relating to the data set determination processing; and provide a verification result of the verification content based on the search result.

Abstract: The purpose of the present invention is to more assuredly generate a system construction procedure, while reducing the amount of calculation. This system construction assistance system is provided with: a state model dividing unit 501 that divides state models into one or more groups, on the basis of at least the dependency between state elements included in the state models; a invertibility determination unit 502 that determines the invertibility of a set of state elements belonging to a specified group; a group dependent procedure calculation unit 503 that calculates, for each group after division, a procedure for transitioning the set of state elements belonging to the group to a requested state; and a procedure integration unit 504 that integrates the procedures calculated for each group.

Abstract: A model checking apparatus able to reduce redundant search in a model checking is provided. The model checking apparatus is configured to: accept verification information representing a state transition model and a verification content; obtain an execution path by causing a transition in the state transition model; analyze, between transitions on the execution path, a dependence relation relating to data set determination processing for determining a data set being a set of representative values of data used in a transition with data use; perform a re-search using a data set in which data already used in a previous search in the transition is excluded from the data set obtained by the data set determination processing, when performing a re-search from a backtrack point based on the dependence relation relating to the data set determination processing; and provide a verification result of the verification content based on the search result.

Abstract: In a model check with respect to a distributed environment model, in order to reduce redundant search, wasteful search is avoided and efficient search is enabled.

Abstract: Provided are a network verification device, etc. capable of shortening the network verification time.

Abstract: A model checking device for a distributed-environment-model according to the present invention, includes: a distributed-environment-model search unit that adopts a first state as start point when obtaining information indicating a distributed-environment-model, searches the state attained by the distributed-environment-model by executing straight line movements for moving from the first state to a second state which is an end position, and determines whether the searched state satisfies a predetermined property; a searched state management unit that stores the searched state in the past; a searched-transition-history management unit that stores an order of the transitions of the straight line movements in the past; a searched state transition association information management unit that stores the transition when moving to another state in the past search in such a manner that the transition is associated with each of the searched states.

Abstract: In a model check with respect to a distributed environment model, in order to reduce redundant search, wasteful search is avoided and efficient search is enabled.

Abstract: A model checking device for a distributed-environment-model according to the present invention, includes: a distributed-environment-model search unit that adopts a first state as start point when obtaining information indicating a distributed-environment-model, searches the state attained by the distributed-environment-model by executing straight line movements for moving from the first state to a second state which is an end position, and determines whether the searched state satisfies a predetermined property; a searched state management unit that stores the searched state in the past; a searched-transition-history management unit that stores an order of the transitions of the straight line movements in the past; a searched state transition association information management unit that stores the transition when moving to another state in the past search in such a manner that the transition is associated with each of the searched states.

Abstract: In order to contribute to the improvement in the efficiency of an exhaustive verification of a network, a network verification device is provided with: a verification information input unit which accepts an input of verification information that defines the configuration of a network to be verified and the operation model of a device included in the network; a model checking execution unit which, in model checking using the verification information, performs a state transition without concretely dealing with the contents of a packet from a terminal connected to the network, sends information relating to the past transition path of each state to a search necessity/unnecessity confirmation unit before a state search of a next state, and performs the model checking while inquiring whether or not the search of the next state can be omitted or not; the search necessity/unnecessity confirmation unit which, based on the information relating to the past transition path of the state and received from the model checkin

Abstract: A device for network verification includes a verification information input unit that accepts input of information for verification which represents definition of a configuration of a network being verified and a behavior model of a component included in the network. The device also includes a verification code formulation unit that formulates, from the information for verification, a code for verification which verifies an over approximate model which is such a model that has corrected the behavior model so that the model obtained on correction does not have to resort to match conditions identifying a communication packet.