JP5008457B2 - Solution model display processing method for satisfying constraints, program and apparatus thereof - Google Patents

Description

  The present invention relates to a display processing technique for debugging constraints using a solution model in software development using constraint satisfaction, which is the field of artificial intelligence.

  Constraint satisfaction is the formulation of a problem to be solved in the form of a set of constraint variables, a set of values of each constraint variable (domain), and a set of constraints between constraint variables. It is a technology that seeks the solution of the problem to be solved. The feature of constraint satisfaction is that if the problem can be formulated correctly, a correct solution can be output without giving a processing procedure. Therefore, in order to obtain a correct solution, it is necessary to confirm that the formulation correctly expresses the problem. However, if the problem to be solved is complicated, the number of constraints increases and the problem becomes complicated, so that confirmation is not easy.

  As a conventional technique for performing this confirmation, there is a method (Non-patent Document 1) of converting a constraint into a set of solution models and finding a constraint error on the set of solution models. The solution model expresses a combination of constraint variable values satisfying the constraint, that is, a solution (pattern). For example, when a constraint (x = y = z) ∨ ((x = 6) ∧ (y ≠ z)) for constraint variables x, y, and z is given, two solution models (x, y, z) = ({α} :: {}, {α} :: {}, {α} :: {}) and (x, y, z) = ({6} :: {}, {α } :: {β}, {β} :: {α}).

  The value of each constraint variable in the solution model is described in the form of “positive set :: negative set”, where the positive set represents a value that the constraint variable can take and the negative set represents a value that cannot be taken. For example, since the positive set of values of each constraint variable in the former solution model is “{α}” using the variable α, it can be read that this constraint is a combination of values in which x, y, and z are equal. . Further, the negative sets of the constraint variables y and z of the latter solution model are “{β}” and “{α}”, respectively, and z and y are positive set elements, so z and y are not equal and x is 6 It can be seen that the answer is also the case.

A set of solution models converted from constraints in this way covers all patterns of the solution of the problem. Therefore, it is checked whether the set of solution models converted from the constraints includes a solution model that is not originally a solution pattern or does not include a solution model that should originally be a solution pattern. By inspecting the model, you can find the error in the constraint that the correct solution cannot be obtained.
Nakajima, Oishi, and Yamamura “Inspection Method for Constraint Satisfaction Based on Model Generation” Artificial Intelligence Society, 73rd Knowledge Base System Study Group, SIG-KBS-A504, 2006, pp. 135-140

  However, as the number of constraint variables appearing in the constraint increases, the number of constraint variable values that constitute the solution model also increases, and the readability of the solution model decreases. In addition, the number of elements in the set of solution models increases in an exponential order with an increase in the number of logical symbol choices (“or”, “∨”) appearing in the constraint. For this reason, if the constraints are complex, simply converting the constraints into a set of solution models requires checking a huge set of solution models, which requires a lot of labor.

  In actual constraint debugging, it is necessary not only to discover that there is an error in the constraint by examining the solution model, but also to identify and correct the error part. Furthermore, since there is no guarantee that the error found by the correction will be corrected, the corrected constraint must be converted again into a set of solution models and checked to see if a correct solution is obtained. In this way, in order to modify the constraints by trial and error, many constraints and a set of solution models obtained by converting the constraints are created in the debugging process. For a set of these constraints and their solution models, for example, discard the constraints that are currently being modified, return to the constraints created in the past, and redo the correction, or refer to the set of constraints and their solution models created in the past It is used to modify current constraints.

  With the conventional technology described above, it is possible to manage constraints and their solution models created during the debugging process by simply converting the constraints into a set of solution models, and compare them according to requests from the operator. Because there was no mechanism to display the constraint, it was not possible to debug the constraint using a set of past constraints and their solution models created during the debugging process.

  For this reason, in the present invention, when a constraint error in constraint satisfaction is found in a set of solution models and the constraint is debugged, the solution model to be displayed and the constraint variables in the solution model are displayed based on the specification of the condition from the operator. Displaying the set of solution models transformed from constraints in a more readable form, displaying the same set of solution models so that they can be compared under different conditions, The purpose is to display a set of different solution models so that they can be compared under the same conditions.

  In order to achieve the above object, in the present invention, a constraint and a set of solution models converted from the constraints, a display condition describing a display method when displaying the solution model, and an inspection describing a condition of the solution model to be displayed A solution model in a set of solution models in which the specified constraints are converted for each combination of constraints and display conditions specified by the operator, or for each combination of constraints and display conditions specified by the operator. And displaying a set of managed solution models in response to a request from the operator so that they can be referred to and compared with each other.

  In order to enable this, in the present invention, a constraint model is input, a solution model generation apparatus that converts the constraint into a set of solution models and outputs, a solution model set and a check condition are input, and the solution model A solution model checking device that extracts and outputs a solution model that matches the checking condition from a set of the above, and a computer including both the solution model generating device and the solution model checking device or the solution model generating device or the solution model checking device Or a computer communicable with both the solution model generation device and the solution model checking device via the network, or other computer connected to the computer via the network. The following processing is performed using a computer.

  The computer or another computer connected to the computer via a network includes solution model generation device control means, product management means, solution model display means, and solution model inspection device control means, as will be described later. A solution model display device is included.

(Accumulation of a set of deliverables and solution models)
First, an operator inputs deliverables such as constraints, display conditions, and inspection conditions created in the debugging process from the input device. In response to this input, the product management means in the present invention executes the processing flow of FIG. 1 in cooperation with the solution model generation device control means.

  In other words, the product management means determines the type of the input information (FIG. 1; s11, s12), and when the display condition and the inspection condition are input, it is output to the storage device and stored as it is (FIG. 1). S13), when a constraint is input, the input constraint is transferred to the solution model generation device control means (FIG. 1; s14). The solution model generation device control means transmits the received constraints to the solution model generation device (FIG. 1; s15), receives a set of solution models obtained by converting the constraints from the solution model generation device, and passes them to the product management means. (FIG. 1; s16, s17). The deliverable management means outputs and stores the input constraints, a set of solution models obtained by converting the constraints, and their corresponding relationships to the storage device (FIG. 1; s13).

  In addition, when the operator inputs the display condition and the inspection condition, the operator can associate the display condition and the inspection condition, and the correspondence can be output to the storage device and stored. This correspondence relationship means a display condition that is applied when only the solution model that matches the inspection condition is displayed from the set of solution models obtained by converting the constraints. Therefore, it is possible to associate a plurality of inspection conditions with one display condition.

(Display of the index of the set of deliverables and solution models stored in the storage device)
The set of deliverables and solution models stored in these storage devices is displayed on the display device by the deliverable management means according to the processing flow of FIG. That is, the deliverable management unit acquires a set of deliverables and solution models from the storage device (FIG. 2; s21), and displays an index corresponding to the acquired set of deliverables and solution models on the display device (FIG. 2). S22). In this display process, the indexes are displayed in a tabular form or a hierarchical structure such as a tree form so that the correspondence between the constraints and the set of solution models and the correspondence between the display conditions and the inspection conditions can be understood.

  By looking at the display, the operator can confirm what kind of deliverables are stored in the storage device, and for example, can designate a constraint to be referred to in debugging.

(Deleting a set of deliverables and solution models stored in the storage device)
When the operator inputs an instruction to delete the product in the storage device from the input device, the product management means deletes the selected product from the storage device according to the processing flow of FIG. That is, the product management means determines the type of information instructed to be deleted (FIG. 3; s31, s32), and when deleting the inspection condition, deletes only the inspection condition (FIG. 3; s33). When deleting a constraint, both the constraint and a set of solution models converted from the constraint are deleted from the storage device (FIG. 3; s34). When deleting the display condition, if there is no inspection condition associated with the display condition to be deleted (FIG. 3; s35), only the display condition is deleted (FIG. 3; s36). Both inspection conditions are deleted from the storage device (FIG. 3; s37).

(Display of a set of solution models stored in the storage device)
The operator selects the constraints and display conditions in the storage device or the indexes of the constraints, display conditions and inspection conditions from the input device, and the set of solution models obtained by converting the constraints according to the combination of the conditions is displayed on the display device. indicate.

  In this display process, the product management means, the solution model display means, and the solution model inspection apparatus control means cooperate to execute the processing flow of FIG.

  In this flow, first, based on the selected constraint, the product management means acquires a set of solution models obtained by converting the constraint from the storage device (FIG. 4; s41, s42). Further, the selected display conditions are acquired from the storage device (FIG. 4; s41, s42), and the set of solution models and the display conditions are passed to the solution model display means (FIG. 4; s44).

  At this time, if the inspection condition is selected or the inspection condition is associated with the selected display condition (FIG. 4; s43), the result is obtained before passing the solution model set to the solution model display means. The object management means acquires the inspection conditions from the storage device, and passes the acquired set of solution models and the inspection conditions to the solution model inspection apparatus control means (FIG. 4; s46). Then, the solution model checking device control means transmits the received solution model set and checking conditions to the solution model checking device (FIG. 4; s47), and the solution model comprising the solution model that matches the checking conditions from the solution model checking device. Is received (FIG. 4; s48). Then, the received solution model set is passed to the product management means, and the product management means replaces the solution model set acquired from the storage device in the process of s42 with the newly acquired solution model set (FIG. 4; s49), it is passed to the solution model display means (FIG. 4; s44).

  The solution model display means displays the received set of solution models on the display device according to the contents of the received display conditions (FIG. 4; s45).

  The above-described inspection conditions describe the conditions of a solution model that is to be extracted from a set of solution models and displayed. As an example of the description format of the inspection condition, there is an inquiry in a database, that is, a logical expression such as a SQL where clause.

The display condition described above describes the display method when displaying a set of solution models, and describes the following conditions.
1. Specifying the value of the constraint variable to be displayed 2. Direct specification of solution model to be displayed 3. 3. Switching between display and non-display of positive set or negative set elements in the solution model 4. Display order of constraint variable values Show / hide the value of constraint variables whose values are empty in all solution models in the set.

  As a specific example, a set of solution models (x, y, z) consisting of two solution models = ({} :: {}, {α} :: {}, {α} :: {}), ({} :: {}, {α} :: {β}, {β} :: {α}).

  1. Then, the constraint variable to be displayed by the operator is specified. For example, when the constraint variables to be displayed are x and y, the value of z is omitted and displayed. That is, the set of solution models is transmitted to the display device by (x, y) = ({} :: {}, {α} :: {}), ({} :: {}, {α} :: { β}).

  2. Then, the operator directly specifies the solution model to be displayed. For example, by designating the solution model to be displayed as the first solution model, the display of the second solution model in the set of solution models is omitted. That is, a set of solution models of (x, y, z) = ({} :: {}, {α} :: {}, {α} :: {}) is displayed on the display device.

  3. Then, display / non-display of the elements of the positive set / negative set in the solution model is designated. For example, if a negative set is designated as non-display, the solution model set is displayed on the display device as (x, y, z) = ({} :: {}, {α} :: {}, {α} :: {}), ({} :: {}, {α} :: {}, {β} :: {}), and the negative set value is omitted.

  4). Then, the display order of the value of each constraint variable of the solution model is specified. For example, by specifying the order as (x, z, y), the set of solution models is transferred to the display device by (x, z, y) = ({} :: {}, {α} :: {}. , {Α} :: {}), ({} :: {}, {β} :: {α}, {α} :: {β}).

  5). Then, display / non-display of constraint variable values for which all solution model values are empty is specified. An empty value is a value in which the positive set and the negative set are empty sets, that is, “{} :: {}”. If the value of an empty constraint variable is hidden, the value of x is omitted from the set of solution models, and (y, z) = ({α} :: {}, {α} :: {}), ({Α} :: {β}, {β} :: {α}).

  This display condition does not change the solution model set itself held by the solution model display means. It is used to limit the display of a set of solution models when displaying on a display device.

  In the selection of constraints and display conditions input by the operator, or in the combination of selection of constraints, display conditions, and inspection conditions, the display conditions can be omitted. When only the constraint is selected by omitting, the deliverable management means passes default display conditions set in advance to the solution model display means in the process s44 of FIG. If only constraints and inspection conditions are selected, the product management means checks the storage device for the existence of display conditions corresponding to the inspection conditions. If there are, the display conditions are set, and if not, the default display conditions are set. Pass to solution model display means.

  When the set of solution models is displayed on the display device, the set of solution models is displayed on a separate screen or a separate window for each different combination of input constraints and display conditions, or combinations of constraints, display conditions, and inspection conditions. In this way, multiple sets of solution models converted with the same constraints can be displayed under different conditions, or sets of solution models converted with some constraints can be displayed under the same conditions. Each can be displayed, and a set of solution models can be freely referred to.

(Changes in the display conditions of the set of solution models being displayed and the changes are reflected on the screen)
When a set of a certain solution model is displayed on the display device under a certain display condition, the operator can input the above-described 1. ~ 5. When the condition change is input, the product management means and the solution model display means cooperate to execute the processing flow of FIG. 5 and reflect the change in the display of the set of solution models on the display device. First, the deliverable management means instructs the solution model display means about the change contents of the display condition input from the input device (FIG. 5; s51, s52). The solution model display means reflects the change contents of the display conditions in the display conditions of the set of solution models being displayed (FIG. 5; s53), and displays the set of solution models under the display conditions after the change. Is displayed again (FIG. 5; s54).

  At this time, as shown in the processing flow of FIG. 6, the changed display condition is transferred from the solution model display means to the deliverable management means when the operator inputs a storage instruction from the input device (FIG. 6; s61). , S62), the product management means outputs to the storage device and stores it (FIG. 6; s63).

  According to the present invention, when a constraint error in constraint satisfaction is found by inspecting a solution model and the constraint is debugged, a set of solution models can be displayed in a format specified by the operator. Readability can be improved. In addition, since a plurality of sets of solution models can be displayed, it is possible to debug constraints while referring to and comparing them.

  FIG. 7 shows an example of an embodiment of an apparatus for executing a solution model display processing method according to the constraint satisfaction of the present invention, in which 1 is an input device, 2 is a display device, 3 is a solution model generation device, 4 is a solution model checking device, and 5 is a computer.

  The input device 1 allows the operator to input predetermined information to the computer 5, here, the deliverables such as constraints, display conditions, and inspection conditions, instructions for displaying and deleting these deliverables, and the display conditions for the set of solution models being displayed. This is for inputting change instructions. The display device 2 uses a predetermined processing result of the computer 5, here an index of the input product and a set of solution models obtained by converting constraints specified by the operator, based on display conditions and inspection conditions specified by the operator. Is displayed and presented to the operator.

  The solution model generation device 3 receives constraints and converts the constraints into a set of solution models for output.

  The solution model checking device 4 receives a set of solution models and check conditions, takes out a solution model that matches the check conditions from the set of solution models, and outputs it.

  The computer 5 controls each device in accordance with a predetermined program corresponding to the processing flow shown in FIGS. 1 to 6, and configures the storage device 6 and the solution model display device 7 at this time.

  The storage device 6 is for storing a product input from the input device 1 and a set of solution models converted by the solution model generation device 3.

  The solution model display device 7 includes solution model generation device control means 71, product management means 72, solution model display means 73, and solution model inspection device control means 74, and corresponds to the processing flow shown in FIGS. Functions, that is, deliverables such as constraints, display conditions, inspection conditions and the like input from the input device 1 are output and stored in the storage device 6, and the constraints input from the input device 1 are transmitted to the solution model generation device 3, A set of solution models obtained by converting the constraints is received from the solution model generation device 3, the solution model set is output to the storage device 6 and stored, and the product and the solution model stored in the storage device are stored. An index corresponding to each set is displayed on the display device 2, and according to the constraint, display condition, and inspection condition corresponding to the index selected by the input device 1, a solution model obtained by converting the constraint respectively. In this case, the display condition and the inspection condition are acquired from the storage device 6, the acquired set of solution models and the inspection condition are transmitted to the solution model inspection device 4, and the solution model that matches the inspection condition is transmitted from the solution model inspection device 4. The set of solution models received from the storage device 6 or the set of solution models received from the solution model checking device 4 is displayed on the display device 2 according to the display conditions, and the display input from the input device 1 In response to an instruction to change the display conditions of the set of solution models, the display device 2 has a function of redisplaying the set of solution models under the changed display conditions.

  Specifically, the solution model generation device control unit 71 transmits the constraints passed from the product management unit 72 to the solution model generation device 3, receives a set of solution models obtained by converting the constraints, and uses this as a product management. Pass to means 72.

  The deliverable management means 72 outputs the constraints, display conditions, inspection conditions and the received solution model set received from the input device 1 to the storage device 6 for storage, and the constraints stored in the storage device 6; In order to make it possible to select a set of display conditions, inspection conditions, and solution models from the input device 1, corresponding indexes are displayed on the display device 2, constraints corresponding to the indexes selected by the input device 1, display conditions, and A set of solution models, display conditions, and inspection conditions obtained by converting the constraints stored in the storage device 6 are searched from the inspection conditions, and the solution model inspection apparatus control means 74 determines the set of solution models and the inspection conditions that have been searched. To the solution model checking device 4, receive a set of solution models that match the checking conditions from the set of solution models, and obtain a set and table of solution models obtained from the storage device 6. Conditions, or passing a set and a display condition for solution model that matches the acquired inspection conditions using a solution model test apparatus 4 to the solution model display unit 73.

  The solution model display means 73 displays the received solution model set on the display device 2 in accordance with the display conditions, and when the change of the display method of the solution model set currently displayed on the display device 2 is input from the input device 1. The set of solution models is redisplayed on the display device 2 under the display conditions reflecting the change.

  The solution model checking device control means 74 transmits the set of solution models and the checking conditions passed from the product management means 72 to the solution model checking device 4, receives the set of solution models that match the checking conditions, and outputs the results. It passes to the thing management means 72.

  With this device, when a constraint error in constraint satisfaction is discovered by inspection of the solution model and the constraint is debugged, the set of solution models can be displayed in a format specified by the operator, and the readability of the set of solution models can be improved. Can be increased. In addition, since a plurality of sets of solution models can be displayed, it is possible to debug constraints while referring to and comparing them.

  In the above-described embodiment, the storage device 6 and the solution model display are displayed by installing a program having the procedure shown in the flow of FIGS. 1 to 6 in one computer 5 via a recording medium or a communication line. Although the example which implement | achieved the apparatus 7 was shown, you may disperse | distribute and implement | achieve on the some hardware mutually connected by the suitable communication path. Further, in the above-described embodiment, the solution model generation device 3 and the solution model checking device 4 are mounted as devices separate from the computer 5 and connected to the computer 5 (each device) through an appropriate communication path. Although one or both of these may be realized on the computer 5 together with the storage device 6 and the solution model display device 7. Further, each means in the solution model display device 7 exists in a distributed manner on a plurality of hardware connected to each other through an appropriate communication path, and can be executed while communicating with each other.

  An example of the constraint debugging according to the present invention will be described.

  First, as a premise, the constraints 1 to 3, the display condition 1, and the inspection conditions 1 to 3 are already input as files in the solution model display device 7 of the present invention, and the inspection conditions 2 and 3 correspond to the display condition 1. Suppose that it is attached. At this time, as shown in FIG. 8, the storage device 6 has files 11, 12, 13, and 14 of a set of solution models (solution models 1 to 3) converted from these files and constraints. Further, it is assumed that the correspondence relations are stored as correspondence tables 15 and 16, for example.

  From this state, when the operator creates the constraint 4 “(x = y = z) ∨ ((x = 6) ∧ (y ≠ z))” and inputs it as a file from the input device 1, s11, s12, The processing is executed in the order of s14, s15, s16, s17, and s13, and the file of the constraint 4 and the file of the solution model set 4 obtained by converting the constraint 4 are added to the files 11 and 12 in FIG. At this time, according to the description of Non-Patent Document 1, the value of each constraint variable is described in the form of “positive set :: negative set” and the contents of the solution model set 4 are described as “(x, y, z) = ( {Α} :: {}, {α} :: {}, {α} :: {}), ({6} :: {}, {α} :: {β}, {β} :: {α }) ”. Further, the correspondence relationship between the constraint 4 and the solution model set 4 is added to the correspondence table 15 of the constraint and solution model set shown in FIG. The state in the storage device 6 at this time is shown in FIG.

  Furthermore, the inspection condition 4 “positive set in the value of x is {6}” and display condition 2 “display order (x, z, y), value of constraint variable to be displayed (x, z), non-display of negative set” are displayed. When the files are input from the input device 1 as files, these files are added to the storage device 6 in the order of s11, s12, and s13 in FIG. Further, since the inspection condition 4 is input at the same time as the display condition 2, it is considered that there is a correspondence between the two, and the correspondence between the inspection condition 4 and the display condition 2 is added to the correspondence table 16 of the inspection condition and the display condition in FIG. To do. The state in the storage device 6 at this time is shown in FIG.

  The solution model display device 7 displays the indexes of the files stored in the storage device 6 and their corresponding relationships on the display device 2 in a hierarchical format as shown in FIG. 11, for example. FIG. 11 includes a GUI or CUI. From the screen, the operator can select a constraint or the like to be referred to in the debugging work, and can display a set of solution models obtained by converting the constraint.

  When only constraint 4 is simply selected, the solution model display device 7 executes s41, s42, s43, s44, and s45 in FIG. 4, assuming that the display condition is “display all contents without limitation”. A set 4 of solution models corresponding to the constraint 4 is displayed on the display device 2 in a table format as shown in FIG. The table of FIG. 12 represents one solution model with two rows, the upper row being a positive set of the values of each constraint variable and the lower row being a negative set. The solution model 1 in FIG. 12 is an element of the solution model set 4, which is the solution model (x, y, z) = ({α} :: {}, {α} :: {}, {α} :: { }), And the solution model 2 in FIG. 12 is the solution model (x, y, z) = ({6} :: {}, {α} :: {β}, {β} :: {α} ).

  When the constraint 4 and the display condition 2 are input in combination, the solution model display device 7 executes s41, s42, s43, s44, and s45 in FIG. 4 and displays the solution model set 4 according to the display condition 2. Since the display condition 2 is designated as the display order (x, z, y), it is displayed in a state where z and y in the column of FIG. 12 are exchanged. Further, since the values of constraint variables to be displayed are only those relating to x and z, the y column is not displayed. Further, since the negative set is not displayed, the lower part of the solution model 1 and the solution model 2 is not displayed. Therefore, a set 4 of solution models displayed on the display device when the constraint 4 and the display condition 2 are combined is as shown in FIG.

  When the constraint 4, the display condition 2, and the inspection condition 4 are input in combination, the solution model display device 7 sequentially executes s41, s42, s43, s46, s47, s48, s49, s44, and s45 in FIG. At this time, in the processing from s46 to s49, from the solution model set 4, the solution model that matches the inspection condition 4 “the positive set in the value of x is {6}”, that is, (x, y, z) = ( {6} :: {}, {α} :: {β}, {β} :: {α}) are taken out, so that the solution model 2 in FIG. Accordingly, a set 4 of solution models displayed on the display device 2 when the constraint 4, the display condition 2, and the inspection condition 4 are combined is as shown in FIG.

  In this way, even when the number of solution models included in the solution model set is enormous or when the number of constraint variables increases and the number of solution model values is large, the information that you want to display the set of solution models By specifying as a display condition or an inspection condition, only information necessary for the inspection can be displayed, and the inspection can be easily performed.

  Also, FIGS. 12 to 14 are displayed on different screens and windows, respectively, and the operator switches the display, so that the set 4 of solution models displayed based on each condition can be compared.

  If display condition 1 and a combination of constraint 1, constraint 2, constraint 3, and constraint 4 are selected, solution sets 1 to 4 are displayed on different screens or windows under display condition 1, respectively. By switching the display, the operator can compare sets of solution models displayed on the display device based on the display condition 1.

  In the device of the present invention, the display method of the set of solution models being displayed on the display device 2 can be changed and reflected on the display device 2 immediately. For example, if FIG. 14 is displayed on the display device 2 and the operator instructs the display device to change the display method so as to display a negative set, the processing of FIG. The lower part of the solution model 2 that is not displayed can be displayed.

  At this time, the display conditions are “display order (x, z, y), constraint variable values to be displayed (x, z)”, and the operator instructs the storage from the input device 1 to display the solution model. When the device 7 executes the processing of FIG. 6, the display condition 3 can be stored in the storage device 6.

  Further, the operator can select restrictions, display conditions, and inspection conditions to be deleted from the screen of FIG. For example, when the constraint 1 is selected, the processing of s31, s32, and s34 in FIG. 3 is executed, the file of the constraint 1 and the solution model set 1 is deleted from the storage device 6, and the constraint and the solution model in FIG. The row indicating the correspondence between the constraint 1 and the solution model set 1 is deleted from the set correspondence table 15. The state in the storage device 6 at this time is shown in FIG.

  As described above, by managing the artifacts created in the process of constraint debugging, it is possible to proceed with debugging while referring to a set of solution models.

The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The figure which shows the flow of a process of the display processing method of the solution model in constraint satisfaction of this invention The block diagram which shows an example of embodiment of the display processing apparatus of the solution model in the constraint satisfaction of this invention Explanatory drawing which shows an example of the information preserve | saved at the memory | storage device Explanatory drawing which shows an example of the information preserve | saved at the memory | storage device Explanatory drawing which shows an example of the information preserve | saved at the memory | storage device Explanatory drawing which shows the example of a display of the index of the file preserve | saved at the memory | storage device Explanatory drawing showing a display example of a set of solution models Explanatory drawing showing a display example of a set of solution models Explanatory drawing showing a display example of a set of solution models Explanatory drawing which shows an example of the information preserve | saved at the memory | storage device

Explanation of symbols

  1: input device, 2: display device, 3: solution model generation device, 4: solution model checking device, 5: computer, 6: storage device, 7: solution model display device, 71: solution model generation device control means, 72 : Product management means, 73: solution model display means, 74: solution model inspection device control means.

Claims (10)

The problem to be solved is formulated in the form of a set of constraint variables, a set of values for each constraint variable, and a set of constraints between constraint variables, and in constraint satisfaction to find a solution of the problem that is a combination of the values of constraint variables that satisfy the constraints When debugging constraints, the set of solution models expressing the solution pattern of the problem includes a solution model that is not originally a solution pattern or a solution model that should originally be a solution pattern. Display conditions describing the display method when displaying the solution model, together with a set of solution models corresponding to the constraint and the constraint, in order to find out the error of the constraint by checking that it is not Or, in addition to this, a set of solution models corresponding to the specified constraints is used according to the specified display conditions using the inspection conditions describing the conditions of the solution model to be displayed. Shown, or out of the set of solutions model corresponding to the specified constraint, a method of displaying in accordance with the display condition to the specified set of solutions model that matches the specified test conditions,
A solution model generation device that takes constraints as input, converts the constraints into a set of solution models, and outputs them;
A solution model checking device that takes a set of solution models and check conditions as inputs, and extracts and outputs a solution model that matches the check conditions from the set of solution models;
One computer or the solution model generating device or a computer or the solutions which can communicate via and the other network comprises one of a solution model checking device that includes both the solution model generating apparatus and resolution model checking device using any communicable one computer through both the network model generating device and solution models testing device, or any of the one computer and is connected via a network with either the one computer using other computers that,
Any one of the one computers or another computer connected to any one of the one computers via a network,
A solution model generation device control step of transmitting constraints input from the input device to the solution model generation device and receiving a set of solution models obtained by converting the constraints from the solution model generation device;
Constraints, display conditions or inspection conditions input from the input device, or a set of solution models received from the solution model generation device is output to the storage device and stored, and the constraints, display conditions, and inspection conditions stored in the storage device And an index corresponding to each set of solution models are displayed on the display device, and a constraint, a set of solution models and display conditions corresponding to the index selected by the input device, or a set of constraints, solution models, display conditions and check conditions A product management step for acquiring the data from the storage device;
Only when constraints, a set of solution models, display conditions, and inspection conditions are acquired from the storage device, the set of solution models and inspection conditions acquired from the storage device are transmitted to the solution model inspection device, and the solution model inspection device A solution model checking device control step for receiving a set of solution models that match the checking conditions;
A solution model display step of displaying a set of solution models acquired from the storage device or a set of solution models received from the solution model checking device on a display device according to display conditions acquired from the storage device, Display processing method of solution model in satisfying constraint. The deliverable management step also stores a correspondence relationship between the constraint in the solution model generation device and the solution model set so that the solution model set obtained by converting the constraint corresponding to the index selected by the input device can be uniquely identified. The display processing method of a solution model in constraint satisfaction according to claim 1, wherein the display is output and stored in a device. The deliverable management step can also uniquely identify the display condition related to the inspection condition corresponding to the index selected by the input device, and the correspondence between the display condition and the inspection condition can be omitted so that the selection of the display condition can be omitted. The solution model display processing method for constraint satisfaction according to claim 1, wherein the solution model is output and stored in a storage device. In the solution model display step, the value of the constraint variable to be displayed and the solution model are specified, the display of the positive set or negative set is displayed / hidden, the display order of the value of the constraint variable, and the value in all the solution models The display of each solution model in the set of solution models into which constraints are converted according to display conditions describing conditions such as display / non-display switching of the value of a constraint variable whose value is empty The display processing method of the solution model in the satisfaction of restrictions of claim | item 1. In the solution model display step, each time a combination of constraints, display conditions, and inspection conditions corresponding to the index selected by the input device is different, a set of solution models obtained by converting the constraints is displayed on a separate screen or window on the display device. The display processing method of a solution model in constraint satisfaction according to claim 1. In the solution model display step, when an instruction to change display conditions is input from the input device, the set of solution models being displayed is re-displayed on the display device according to the display conditions instructed to change, and further changed from the input device. The display processing method of a solution model for constraint satisfaction according to claim 1, wherein when a display condition saving instruction is input, the changed display condition is output to a storage device and stored.   The program for making a computer perform each step in any one of Claims 1 thru | or 6. The problem to be solved is formulated in the form of a set of constraint variables, a set of values for each constraint variable, and a set of constraints between constraint variables, and in constraint satisfaction to find a solution of the problem that is a combination of the values of constraint variables that satisfy the constraints When debugging constraints, the set of solution models expressing the solution pattern of the problem includes a solution model that is not originally a solution pattern or a solution model that should originally be a solution pattern. Display conditions describing the display method when displaying the solution model, together with a set of solution models corresponding to the constraint and the constraint, in order to find out the error of the constraint by checking that it is not Or, in addition to this, a set of solution models corresponding to the specified constraints is used according to the specified display conditions using the inspection conditions describing the conditions of the solution model to be displayed. Shown, or out of the set of solutions model corresponding to the specified constraint, a device for displaying in accordance with the display condition to the specified set of solutions model that matches the specified test conditions,
Along with input device and display device
A solution model generation device that takes constraints as input, converts the constraints into a set of solution models, and outputs them;
A solution model checking device that takes a set of solution models and check conditions as inputs, and extracts and outputs a solution model that matches the check conditions from the set of solution models;
A storage device that stores constraints or display conditions or inspection conditions input from an input device or a set of solution models received from the solution model generation device;
A constraint input from an input device is transmitted to the solution model generation device, a set of solution models obtained by converting the constraint is received from the solution model generation device, and a constraint, a display condition, an inspection condition or the like input from the input device The set of solution models received from the solution model generation device is output to and stored in a storage device, and the constraints, display conditions, inspection conditions, and indexes corresponding to the set of solution models respectively stored in the storage device are displayed on the display device. Display the constraint corresponding to the index selected by the input device, the set of solution models and the display conditions, or obtain the constraints, the set of solution models, the display conditions and the inspection conditions from the storage device, and the constraints and the solution model from the storage device. set, display condition and the solution model assembly and inspection conditions of the solution model acquired from the storage device only when acquiring inspection conditions Sent to the inspection device, received from the solution model checking device a set of solution models that match the checking conditions, and received a set of solution models acquired from the storage device or a set of solution models received from the solution model checking device A solution model display device for displaying on the display device according to the display condition acquired from the storage device. The solution model display device also stores a correspondence relationship between the constraints in the solution model generation device and the set of solution models so that the set of solution models obtained by converting the constraint corresponding to the index selected by the input device can be uniquely identified. The display processing device for a solution model in constraint satisfaction according to claim 8, wherein the display processing device outputs the information to a device and stores the output. The solution model display device also has a correspondence relationship between the display condition and the inspection condition so that the display condition related to the inspection condition corresponding to the index selected by the input device can be uniquely specified and the selection of the display condition can be omitted. The display processing device for a solution model in the satisfaction of constraints according to claim 8, wherein the display processing device outputs the information to a storage device and stores it.

Images