JP2017525012A5

JP2017525012A5 -

Info

Publication number: JP2017525012A5
Application number: JP2016570866A
Authority: JP
Filing date: 2015-06-03
Publication date: 2018-08-30
Anticipated expiration: 2035-06-03

Description

ＩＥＳのＵＩＥは、それぞれ分離され、同調して用いられるコンフィグ／リアルタイムモードにおいて、ＵＩＥ．Ｙ，Ｙ＝１，２，．．．，から構成される。各ＵＩＥ．Ｙは、知識表現「ＫＲ−ＵＩＥ．Ｙ」、人的相互作用「ＨＩ−ＵＩＥ．Ｙ」、相互作用制御「ＩＣ−ＵＩＥ．Ｙ」エンティティを有する。
The IES UIE is separated and used in a synchronized configuration / real time mode. Y, Y = 1, 2,. . . , Is composed. Each UIE. Y has a knowledge representation “KR-UIE.Y”, a human interaction “HI-UIE.Y”, and an interaction control “IC-UIE.Y” entity.

ＩＥＳ又はそのユーザは、それらの間で「相互作用」を起動する。
The IES or its user initiates an “interaction” between them.

Claims

By running
At least a processor, a memory for storing code of a method executable by the processor, at least one I / O device for performing an IES interaction with an IES (Innovation Expert System) user, a memory for storing data relating to the operation of the IES , And “User Interface Entity (UIE)”, the UIE is a UIE :: = {<KR-UIE, HI-UIE, IC-UIE>. Execute “Innovation Expert System (IES)” including Y | Y∈Y ^UIE }
^{Predetermined} “PTR data structure, PTR ^FFOLLIN- DS (PTR Data Structure)” determined by FSTP ^FFOLLIN -test stored in the memory , “demonstable subtest , AST (Arguable Subtest) stored in the memory ” ”∈FSTP ^FFOLLIN -for tests (except for future ^{“ FFOLLIN ”} ), and“ in config mode to generate and customize a set of legal grammar term chains, LAC (legal argument chains),
However, {LAC} :: = {LAC ^AST . Z | LAC ^AST . Z is TT. 0 proves that it passes through AST∀ZεZ ^AST }, so that ∀ZεZ ^AST ⊂Y ^UIE is the KR-UIE. Z, HI-UIE. Z and user-determined IC-UIE. Holding Z,
In real-time mode, the activated and / or customized LAC ^AST . Z, Z ∈ Z ^AST ,
When executed by the IES, the operation A) is repeated when the IES is in the configuration mode, and the operation B) is repeated when the IES is in the real-time mode. Run against
The operations A) and B) of the IES are as follows:
A)
i. The IES automatically recognizes ZεZ ^AST for existing LAC ^AST or ASTεFSTP-test (PTR) converted to LAC,
ii. The recognized KR-UIE. The AST is input to Z, and what expresses which I / O device the AST is on is expressed as its HI-UIE. Automatically prompting the user to enter in the IC-UIE what interaction control the user has in the representation of the AST
iii. Automatically accepts information from at least one IES user communicating with at least one other IES user's I / O device;
iv. In response to a request from an IES user, the IES user's IES mode is switched to the real-time mode,
B)
i. Automatically recognize LACε {LAC ^AST },
ii. Automatically recognizes AST, and automatically recognizes LACε {LAC ^AST },
iii. In determining the LAC, ii. Of A). Represent the LAC as Ru is or predefined as defined in,
iv. Automatically accepts information from at least one IES user communicating with at least one other IES user's I / O device;
v. In response to a request from an IES user, the IES user's IES mode is switched to the configuration mode.
Computer mounting method.

Either by selecting the expression from a predetermined set of IES of the expression described above, or by describing the expression in a predetermined IES notation, the user input expression requested by the IES is recognized by the user. ,
The computer-implemented method of claim 1.

An IES that is output for use by at least one IES user, either by selecting the representation from a predetermined set of IES of the representation described above, or by describing the representation in a predetermined IES notation. Is recognized by the user,
The computer-implemented method of claim 1.

User input is at least KR-UIE. Y, HI-UIE. Y or IC-UIE. Switch the function of the IES to automatically generate or modify part of Y interactively with the user,
The computer-implemented method of claim 1.

The IES is a UIE. For Y, UIE. Y or UIE. Providing the user with the ability to further divide Y steps into steps and eliminate such subdivisions;
UIE. The action of further dividing or removing Y is determined by the IES controlled by the user or IES user, and any action defined in A) and B) is applied to the step.
The computer-implemented method of claim 1.

The at least one AST is completely entered by the IES user or is derived by the IES from at least one PTR-DS recognized by the IES user, interactively or automatically with the IES user,
The computer-implemented method of claim 1.

The PTR-DS is partially entered, modified or verified by an IES user,
If insufficient, the PTR-DS is completed by the IES interactive with IES users.
The computer-implemented method of claim 1.

The FFOLLIN is provided by the PTR-DS, or the FFOLN is selected from a predetermined IES set of the FFROLLN, and the TT. Input by the user either by completing the selected FFOLN as FFOLLIN with 0 inC, and by describing the FFOLLIN or FFROLLN in a predetermined IES description method.
The computer-implemented method of claim 1.

The IES user restricts SPL by document, and TT. The additional restriction to 0 is described by the notation given by the IES,
The IES checks that the result set of restrictions retains the FFOL property.
The computer-implemented method of claim 1.

The IES user follows the predetermined procedure of the IES and the PTR-DS and the associated TT. Can be authenticated to mark up at least one part of the UIE used by the zero test and to allow the IES to monitor its use as well as to recognize and authenticate any such part Sign in a
Write a log file about its use,
Informs the IES user of its use instantaneously or whether a certain IES event that can be constructed by the IES user has occurred,
The computer-implemented method of claim 1.

Both states expressed as configured by the IES user in the notation provided by the IES by the IES user recognizing the actual state of the IES and switching between different recognized states Obtaining a description of the difference from the IES;
The computer-implemented method of claim 1.

The IES user cancels the most recent interaction with the IES that changes its I / EM,
The computer-implemented method of claim 1.

An IES user enables / disables at least one other IES user for at least one interaction with the IES user;
The computer-implemented method of claim 1.

An IES user can select at least a portion of the representation of the IES that is selectable from a set of parts provided by the IES or described by the IES user in a notation provided by the IES. Synchronize to two IES users,
The computer-implemented method of claim 1.

An IES user can select an IES user from a set of parts provided by the IES, or described by the IES user in a notation provided by the IES. Request a part of the log file of the IES execution period for 0,
The computer-implemented method of claim 1.

By running
At least a processor, a memory for storing code of a method executable by the processor, at least one I / O device for performing an IES interaction with an IES (Innovation Expert System) user, a memory for storing data relating to the operation of the IES , And “User Interface Entity (UIE)”, the UIE is a UIE :: = {<KR-UIE, HI-UIE, IC-UIE>. Execute “Innovation Expert System (IES)” including Y | Y∈Y ^UIE }
FSTP ^FFOLLIN stored in the memory - predetermined determined by the test "PTR data ^{structures, PTR FFOLLIN -DS (PTR Data Structure} ) " and stored in the memory has been "demonstrable subtest, AST (Arguable Subtest) ”∈FSTP ^FFOLLIN -for tests (except for future ^{“ FFOLLIN ”} ), and“ in config mode to generate and customize a set of legal grammar term chains, LAC (legal argument chains),
However, {LAC} :: = {LAC ^AST . Z | LAC ^AST . Z is TT. 0 proves that it passes through AST∀ZεZ ^AST }, so that ∀ZεZ ^AST ⊂Y ^UIE is the KR-UIE. Z, HI-UIE. Z and user-determined IC-UIE. Holding Z,
In real-time mode, the activated and / or customized LAC ^AST . Z, Z ∈ Z ^AST ,
When executed by the IES, the operation A) is repeated when the IES is in the configuration mode, and the operation B) is repeated when the IES is in the real-time mode. Run against
The operations A) and B) of the IES are as follows:
A)
i. The IES automatically recognizes ZεZ ^AST for existing LAC ^AST or ASTεFSTP-test (PTR) converted to LAC,
ii. The recognized KR--UIE. The AST is input to Z, and what expresses which I / O device the AST is on is expressed as its HI-UIE. Automatically prompts the user to enter into the IC-UI what interactive control the user has in the representation of the AST,
iii. Automatically accepts information from at least one IES user communicating with at least one other IES user's I / O device;
iv. In response to a request from an IES user, the IES user's IES mode is switched to the real-time mode,
B)
i. Automatically recognize LACε {LAC ^AST },
ii. Automatically recognizes AST, and automatically recognizes LACε {LAC ^AST },
iii. In determining the LAC, ii. Of A). Represent the LAC as Ru is or predefined as defined in,
iv. Automatically accepts information from at least one IES user communicating with at least one other IES user's I / O device;
v. In response to a request from an IES user, the IES user's IES mode is switched to the configuration mode.
Computer mounted system.

Either by selecting the expression from a predetermined set of IES of the expression described above, or by describing the expression in a predetermined IES notation, the user input expression requested by the IES is recognized by the user. ,
The computer-implemented system of claim 16.

An IES that is output for use by at least one IES user, either by selecting the representation from a predetermined set of IES of the representation described above, or by describing the representation in a predetermined IES notation. Is recognized by the user,
The computer-implemented system of claim 16.

User input is at least KR-UIE. Y, HI-UIE. Y or IC-UIE. Switch the function of the IES to automatically generate or modify part of Y interactively with the user,
The computer-implemented system of claim 16.

The IES is a UIE. For Y, UIE. Y or UIE. Providing the user with the ability to further divide Y steps into steps and eliminate such subdivisions;
UIE. The action of further dividing or removing Y is determined by the IES controlled by the user or IES user, and any action defined in A) and B) is applied to the step.
The computer-implemented system of claim 16.

The at least one AST is completely entered by the IES user or is derived by the IES from at least one PTR-DS recognized by the IES user, interactively or automatically with the IES user,
The computer-implemented system of claim 16.

The PTR-DS is partially entered, modified or verified by an IES user,
If insufficient, the PTR-DS is completed by the IES interactive with IES users.
The computer-implemented system of claim 16.

The FFOLLIN is provided by the PTR-DS, or the FFOLN is selected from a predetermined IES set of the FFROLLN, and the TT. Input by the user either by completing the selected FFOLN as FFOLLIN with 0 inC, and by describing the FFOLLIN or FFROLLN in a predetermined IES description method.
The computer-implemented system of claim 16.

The IES user restricts SPL by document, and TT. The additional restriction to 0 is described by the notation given by the IES,
The IES checks that the result set of restrictions retains the FFOL property.
The computer-implemented system of claim 16.

The IES user follows the predetermined procedure of the IES and the PTR-DS and the associated TT. Can be authenticated to mark up at least one part of the UIE used by the zero test and to allow the IES to monitor its use as well as to recognize and authenticate any such part Sign in a
Write a log file about its use,
Informs the IES user of its use instantaneously or whether a certain IES event that can be constructed by the IES user has occurred,
The computer-implemented system of claim 16.

Both states expressed as configured by the IES user in the notation provided by the IES by the IES user recognizing the actual state of the IES and switching between different recognized states Obtaining a description of the difference from the IES;
The computer-implemented system of claim 16.

The IES user cancels the most recent interaction with the IES that changes its I / EM,
The computer-implemented system of claim 16.

An IES user enables / disables at least one other IES user for at least one interaction with the IES user;
The computer-implemented system of claim 16.

An IES user can select at least a portion of the representation of the IES that is selectable from a set of parts provided by the IES or described by the IES user in a notation provided by the IES. Synchronize to two IES users,
The computer-implemented system of claim 16.

An IES user can select an IES user from a set of parts provided by the IES, or described by the IES user in a notation provided by the IES. Request a part of the log file of the IES execution period for 0,
The computer-implemented system of claim 16.