CN106489160A - Can semi-automatic generation and the innovation specialist system calling all laws to prove chain in claimed invention - Google Patents
Can semi-automatic generation and the innovation specialist system calling all laws to prove chain in claimed invention Download PDFInfo
- Publication number
- CN106489160A CN106489160A CN201580037875.1A CN201580037875A CN106489160A CN 106489160 A CN106489160 A CN 106489160A CN 201580037875 A CN201580037875 A CN 201580037875A CN 106489160 A CN106489160 A CN 106489160A
- Authority
- CN
- China
- Prior art keywords
- ies
- user
- uie
- ast
- computer implemented
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000012360 testing method Methods 0.000 claims abstract description 88
- 238000000034 method Methods 0.000 claims abstract description 36
- 230000003993 interaction Effects 0.000 claims abstract description 33
- 230000002452 interceptive effect Effects 0.000 claims abstract description 11
- 230000008859 change Effects 0.000 claims abstract description 7
- 239000008186 active pharmaceutical agent Substances 0.000 claims description 31
- 230000006870 function Effects 0.000 claims description 19
- 230000014509 gene expression Effects 0.000 claims description 17
- 238000012986 modification Methods 0.000 claims description 4
- 230000004048 modification Effects 0.000 claims description 4
- 230000009471 action Effects 0.000 claims 4
- 238000002372 labelling Methods 0.000 claims 2
- 230000000717 retained effect Effects 0.000 claims 2
- 238000009635 antibiotic susceptibility testing Methods 0.000 abstract description 59
- 239000000203 mixture Substances 0.000 abstract description 3
- 238000000429 assembly Methods 0.000 abstract description 2
- 230000000712 assembly Effects 0.000 abstract description 2
- 230000001360 synchronised effect Effects 0.000 abstract 1
- 230000008569 process Effects 0.000 description 7
- NEWKHUASLBMWRE-UHFFFAOYSA-N 2-methyl-6-(phenylethynyl)pyridine Chemical compound CC1=CC=CC(C#CC=2C=CC=CC=2)=N1 NEWKHUASLBMWRE-UHFFFAOYSA-N 0.000 description 6
- 238000010276 construction Methods 0.000 description 6
- 238000005516 engineering process Methods 0.000 description 6
- 230000004044 response Effects 0.000 description 6
- APOYTRAZFJURPB-UHFFFAOYSA-N 2-methoxy-n-(2-methoxyethyl)-n-(trifluoro-$l^{4}-sulfanyl)ethanamine Chemical compound COCCN(S(F)(F)F)CCOC APOYTRAZFJURPB-UHFFFAOYSA-N 0.000 description 3
- 241000208340 Araliaceae Species 0.000 description 3
- 235000005035 Panax pseudoginseng ssp. pseudoginseng Nutrition 0.000 description 3
- 235000003140 Panax quinquefolius Nutrition 0.000 description 3
- 235000008434 ginseng Nutrition 0.000 description 3
- ZBMRKNMTMPPMMK-UHFFFAOYSA-N 2-amino-4-[hydroxy(methyl)phosphoryl]butanoic acid;azane Chemical compound [NH4+].CP(O)(=O)CCC(N)C([O-])=O ZBMRKNMTMPPMMK-UHFFFAOYSA-N 0.000 description 2
- 241000196324 Embryophyta Species 0.000 description 2
- 101710097688 Probable sphingosine-1-phosphate lyase Proteins 0.000 description 2
- 101710105985 Sphingosine-1-phosphate lyase Proteins 0.000 description 2
- 101710122496 Sphingosine-1-phosphate lyase 1 Proteins 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 2
- 235000013399 edible fruits Nutrition 0.000 description 2
- 239000012634 fragment Substances 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 238000000263 scanning probe lithography Methods 0.000 description 2
- 244000283207 Indigofera tinctoria Species 0.000 description 1
- 241000872931 Myoporum sandwicense Species 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 239000002131 composite material Substances 0.000 description 1
- 150000001875 compounds Chemical class 0.000 description 1
- 238000012790 confirmation Methods 0.000 description 1
- 238000000354 decomposition reaction Methods 0.000 description 1
- 238000009795 derivation Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000002349 favourable effect Effects 0.000 description 1
- 230000002068 genetic effect Effects 0.000 description 1
- 238000003780 insertion Methods 0.000 description 1
- 230000037431 insertion Effects 0.000 description 1
- 239000011159 matrix material Substances 0.000 description 1
- 230000009149 molecular binding Effects 0.000 description 1
- 230000004899 motility Effects 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 230000001737 promoting effect Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000007493 shaping process Methods 0.000 description 1
- 230000000153 supplemental effect Effects 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/04—Inference or reasoning models
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Physics & Mathematics (AREA)
- Computational Linguistics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Physics (AREA)
- Software Systems (AREA)
- Artificial Intelligence (AREA)
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
A kind of innovation specialist system (IES) and method, there is a configuration mode and a real-time mode, support that multiple groups of laws are proved the establishment of chain (LACs), changed and present, described law is proved chain (LACs) and represented the FSTP being comprised by a data-oriented structure (DS) and by declaration invention (CI) for meeting limited first order logic rule invention standard (FFOLLIN)FFOLLINTest the multiple to be verified sub- test (ASTs) being determined.One user interface entity (UIE) of multiple interactive called execution UIE.Y compositions, Y=1,2,3 ..., every UIE.Y comprise three assemblies, and each separates in the configuration mode, and then synchronous under real-time mode：One representation of knowledge (KR UIE), an interpersonal interaction (HI UIE) and an interactive controlling (IC UIE).A DS is passed through in one interaction to be provided, by the FSTP of a ClFFOLLINTest is determined or a LAC or a UIE.Y assembly are identifying an AST.In the configuration mode, described interactive according to by producing/change/manage these projects and determine：That AST assumes such as same LAC, how to assume described AST to an IES user, and carries out under which kind of control.Under real-time mode, described interaction assumes a LAC being so determined immediately.
Description
Vocabulary
This specification has following meanings in citation used below and bottom line term：
A) directly or indirectly asked by an IES user：Illustrate that described IES user can be by itself calling a function
(asking it directly to execute) or it can be pointed out by described IES with calling function (asking it indirectly to execute).
B) with regard to several difference LACs of any AST of a CI/TT.O：It is noted that be several LACs demands presence not
Merely due to an IES user has the several different multimedia being defined for a LAC presenting, and can wrap because of AST itself
Containing different derivation modes, for example：For an inC, the process of described AST has different exposure, and/or has for one
One exposure of above legal bases.
C) a provided answer is inquired about (as when discussing for being proposed by an IES user by described IES
At least one aspect of at least one inC of described CI) be referred to as completing and briefly, if it be related to and comprise all relevant laws and
Technical information simultaneously provides described information so that it shows all related requests that described CI satisfaction is pointed out by SPL, and pass through allusion quotation
Type appealing structure provides different information, as lacking the target of both.
D) whether problem is proposed intentionally by an IES user：Illustrate that described user may have suitable purpose to propose this
Problem, for example：Target, or by way of parenthesis, for example：Accidentally, in the argument proposing.
E) the described difference of an ASTLogicRepresent all kinds, this AST there may be some problems, for example：Prove
What inC is disclosed for by described explanation, or why in a group inCs is independent.
F) it is used for all ASTs and its FFOLLIN of a given CI：The FSTP of CI is describedFF0LLINAny portion of-test
Divide and be capped by an AST, for example：Described CI completes FSTPFF0LLIN- test is interpreted as being broken down into BASTs's (see γ)
One logic of the basic logic sentence of set connects.
G) two LACs are non-unnecessary, if their expression distribution of described ASTs are not BAST.
LAC：Its any instantiation, call when directly or indirectly being asked by an IES user (and created by IES
Its part is existed, defines it in the UIE.Y term of execution), the limited multiple problems of reply (it is contemplated that its configuration mode
Under) one of, by may assume an answer of (being defined under its configuration mode) in multimedia, immediately, correctly, complete,
Briefly, and pass through an IES user in user to a certain degree to can control, such as presenting and/or its logic of described answer.This
Whether the appearance of individual problem, caused intentionally by an IES, is this instantiation the reason calling.It is solved by this problem
Subject under discussion be one of limited many aspects of the given CI of test one, in order to meet by described given corresponding FFOLLIN example
Change the requirement pointed out.The set of all LACs being defined, for a given FFOLLIN and its CI in the configuration mode, builds
Total usability of the vertical CI being provided by the IES being configured under this FFOLLIN.
AST：Its any instantiation enables access to a specific part of FSTP-DS, may test .o than a FSTP-
Finer, and/or draw refreshing several FSTP- to test the part of .o, thus all ASTs, for a given CI and its FFOLLIN,
In total FSTP covering described CIFFOLLIN-DS.Therefore, the usability of an AST instantiation is the access that it provides.Described
CI tests in order to meet its given FFOLLIN, to the FSTP being represented by described AST instantiationFFOLLIN- test described
Part.
IC-UIE：Its any instantiation makes it possible to construct and control any portion of of any LAC to present.
HI-UIE：Its any instantiation permits a determination that the multimedia aspect of any LAC and teaching present.
KR-UIE：Its any instantiation supports presenting of any LAC by the suitable logic selecting AST.
I. introduce
With this SPL1)For direction patent application be U.S. Patent No. 14/165,225 a part continuous.
The Mayo of the US Supreme Court determines that [1,18,19] need the inventive concept (inCs) by it to describe one and require to protect
Take care of hair bright (CI), if it is to process emerging technology theme, thus be model basis, and senior IT [2] basis therefore exciting
SPL tests the tactics research of Cls, and if description CI does not need model [1 1,18,19,25,36,45,71,78] to keep.
Model is, for example：The ISO/OSI model of telecommunications, the molecular binding affinities model of nanotechnology, genetic RNA/
DNA model, the natural language model of senior IT, some are standardized, by SPL precedent be used without recognizing all hidden
Contain.Described term is example to philosophy synonym, the reference system of described science, for example：Coordinate system.Using the usual energy of model
Enough accurately CI is described although itself can not accurately be understood, such as law/theorem/the proof of mathematics, physical nature
Rule, and the claimed invention of SPL here.Claimed invention here is applied to the CIs on all model bases.[10,
18,19,25,46,47] prove：If it is tested by FSTP-, CI meets SPL.Therefore, FSTP- test can (partly) automatic
The law of all different display CI of transmission proves chain (LACs) to meet SPL.This facilitate that each patent practice person surveys according to SPL
The decision-making of examination CI, particularly when it is model basis.It is always limited first order logic (finite first order that SPL derives
logic,FFOL).
One system is called as TT.O's PTR based on a Cl'sSPL- DS [6,7], it stores the function of described CI and non-functional
The related all SPL of property, are referred to as innovating specialist system (IES), if it there is a user interface entity (UIE) so that
Its user is able to access that CI, and all (legal nonredundancy) LACs show that it meets SPL.One IES utilizes its PTR-DS to embody,
By all results of the FSTP- test of its Cl, institute's sub- test (ASTs) still to be tested, these are the indigo plant of all LACs of CI
Figure.Produce the test of the Cls being not limited under SPL according to the automatic LACs of the present invention, as shown in paragraph II.
The UIE of one IES is made up of UIE.Ys, Y=1,2 ..., any one comprise a representation of knowledge (KR-UIE.Y),
One human-computer interaction (HI-UIE.Y) and interactive control (IC-UIE.Y) entity, individually synchronously make under configuration/real-time mode
With.One IES or a user call an interaction between them.In configuration mode, one interaction just quoted by a user 3
At least one offer, the generation for a UIE.Y or modification of individual assembly.In real-time mode, an interactive offer, for adjusting
With being controlled by its IC-UIE.Y, the introduction of HI-UIE.Y.Under this two kinds of patterns, this interaction uses its KR-
UIE.Y, it is again using the knowledge being stored by PTR-DS [1,25].One UIE.Y can be subdivided into (can be nested) UIE.Y
Steps；A UIE.Y is called to cause part to execute they at least one.
One LAC.Z, Z=1,2 ..., be to be presented by executing at least one of UIE.Y in real-time mode.One
AST.X, X=1,2, are to be accessed by least one KR-UIE.Y, each is converted at least one LAC.Z.One AST.X can quilt
Demonstrate using at least one logic, the IC-UIE.Y by its own is tied at least one HI-UIE.Y.Can be by adjusting in a user
With these IC-UIE.Ys to switch between, in configuration mode pass through one IES user customization.That is, the configuration in IES
In pattern, any AST is the LAC.Zs to its 1 or more for (partly) auto-changing, according to the needs judging, in various logic
AST in demonstration is converted into multimedia presentation by UIE.Ys.Auditor, lawyer, inventor in real-time mode, a user
Can switch between the UIE.Ys of an AST.X, LAC.Zs is converted in order to project its aspect by AST.X.
As shown in figure 1, an AST.1 is converted into 3LAC.a/b/c by their 1/2/3 UIE.1a/1b/1c, according to
Order UIE.1a[1]/1b[1,2]/1c[1,2,3]Step is in the configuration mode by the 6 of IES user's each of which<HI-UIE.Ys,
KR-UIE.Ys,IC-UIE.Ys>Semi-automatic by definition it is generated/is customized.As shown in Fig. 2 AST.1 can have 2 logics
Represent, lead to there are 3 more powerful LAC.d/e/f by their UIE.1d/1e/1f, be altogether based on 6 steps (line) again,
There is provided more information about Fig. 1/2 by the ending of paragraph II.
II. in any FFOLLIN1>2>Under, the test for CI produces all of LACs
Described patent application is quoted and is provided by adnexa using the science opinion obtaining in FSTP project, list of references inventory
Publication.They illustrate how all ASTs in next CI/TT.O of SPL, are all non-isomorphic, utilize in the configuration mode
One IES can semi-automatically be transformed to the LACs of their equities, and then the real-time mode in described IES can be invoked automatically, such as
The general introduction of paragraph I.Described FFOLLIN acts on following α)-ζ) explanation afterwards.
In order to transmit the work of described IES in the configuration mode, following main points specify lES technical characteristic so as to
User can configure another name calibration another name, with the needs in its real-time mode according to its user, it is carried out self-defined.Cause
This, one or more users can be simultaneously using IES under configuration and/or real-time mode, thus directly or indirectly communicating with one another.
Under real-time mode, the understanding of the work of IES understands from its configuration mode immediately.They add such sometimes too much
Feature, such as have been explained above and/or these publications.
Paragraph III, the inCs of this CI and claim are defined as entirety, if not the definition from inCs, so
Utilize these explanations in paragraph II afterwards, provide the basis for interpretation of these meanings as them.Therefore, these main points also disclose CI
Scope.
By [25], a CI meets SPL, if testing (see Fig. 3) by described FSTP-, and a CI is surveyed by FSTP-
Examination .m, 2<m<10 (at the tops of the subclass S resp.S of the finite aggregate of the TT.O of its BED-inCs all) are by all
FSTP- test .n, 1<n<M, the top gathered at this.The inverse of this implication obviously does not need to hold.
Described complete FSTP- test is a program assessment, for CI under SPL test, whole FFOL expression modeling
Logic (seeing below) embody 11 concern between.The conjunction reflection of these BED-inCs models stating of the element property of CI
Language.Their peers in prior art TT there may be or can not exist, and determined (and by posture by FSTP test user
Confirm), form ANC matrix.
Any AST is a vocabulary and grammatically correct sentence, from this whole FFOL expression another name FFOL term.Cause
This, is for any CI, only limited many ASTs, and for any AST, its semanteme is significantly (except above-mentioned attribute
Semanteme and the relation between them, user/posture enters in PTR-DS it is assumed herein that being correct when producing it
).
PTR depends on, and only limited many (generally hundreds of) ASTs exists.All these ASTs can these limited multiple and
PTR- depends on execution in BED-in-C subset.All these ASTs, resp. their BASTAs (seeing below) are all LACs
Blueprint.Other (legal nonredundancies) LACs does not exist although different is demonstrated to the IES user of any AST as different LACs.
For any AST.X any UIE.Y (being converted into LAC.Z) can by IES user pass through it call by appoint
The UIE-stub what IES realizes providing produces in configuration mode, and consigns to its this UIE.Y, and this depends on this and adjusts
Parameter is a new UIE.Y, or is used for checking or change the UIE.Y of the presence of result being previously entered and definition, or
Interaction between the several UIE.Y assuming LAC.Z call or its interaction of presenting with other LAC.Z.Therefore, any UIE.Y
Can be made up of the user of the UIE step (UIESes) of one or more orders, thus any UIES again can be by one or many
User's composition of such step (nested UIE.Ys) of individual order.Any UIE.Y and UIES.Y must be specified by user, except
Beyond automatically, this depends on specific IES and realizes and/or configure, with regard to their function 3resp.KR-/HI-/IC-
UIE.Ys or KR-/HI-/IC-UIES.Ys.
3 assemblies of any UIEs just now mentioning, the user that can be automatically generated by IES in a large number or be instructed by IES is mutual
Produce dynamicly.Do not elaborate in the present patent application, and substantially the same or similar, mainly shape.
Therefore, the purpose of the invention required for protection proposing here, is not limited only to given CI, and is only limitted to all of
LAC.Zs, only proves that it typically claims structure, and such LAC.Zs will only show that CI has an opportunity to meet SPL, but carry
LAC.Zs for all display CI meets SPL.
In the configuration mode, automatically or semi-automatically, after/interactively decomposition, such as IES user thinks reasonable, all PTR-DS
Enter all ASTs, any one potential logic in multiple ASTs, the multimedia to reciprocity LAC represents and user interaction ability
(as Fig. 1/2 and following steps α)-ζ)).Under real-time mode, these ASTs or LACs can be invoked automatically and (for example pass through
The acoustics word evaluator of IES), and/or (partly) automatically by an IES user (ginseng following steps α)-ζ)).Therefore, it hold
Row can include for the specific project with telex network, for example：With regard to any kind of problem of management.Related ordinary skill people
Member knows, for example：From IVR system and the identification of their audio mode and matching feature, how in principle (partly) knowledge automatically
LACs is not descended to be called immediately in real time, because the dialogue just having occurred produces suitable pattern.Here, this under real-time mode
Plant LAC identification and invoked procedure substantially can be calibrated to support resp. to point out these processes by the IES providing, for example：Using
The figure being embodied and/or acoustic pattern, the associated multimedia dictionary based on AST pattern builds.
The complete FSTP- test bag meeting a CI of United States patent law volume 35 (35USC) SPL for it contains
10FSTP- test .o, the 1 of Fig. 3<o<10, for the setting of CIClaimed explanation is performed, selected from (b) therein/
(c), for example：All TT.Os of CI, a CI can realize several explanations, if [71,78] are described by its patent (application)
It is disclosed for.Described term/concept technology teaching (TT.O) [6,7,11] represents one [71,78], for example：Described TT.Os is CI
A set of explanation (set of interpretations, Sol) assembly.
It should be noted that there are the various Perform sequences of FSTP- test, for any one in these TT.Os：Although
10FSTP test .o initialization sequence must be their natural exponent initialization sequence, they can be exhausted ground or
Overlappingly execute, such as to latter instance：- test .n checks that this CI only has its inCs it has been confirmed that passing through
FSTP- tests.
Senior IT knows input and the order of offer, by IES user to IES, just as alphabetical output is necessary to IES user
Have, both are appreciated that.There are some before given, the first inspection, alphabet (vocabulary) and the language that are defined here by IES
Method and semantic and term or these must determine in the term of execution of the FSTP- test of claimed invention, by IES root
According to first being checked by IES and the rule by IES user's control.
Described term/concept law is proved chain (LACs) and is represented and led to by any proposition of any knowledge with SPL
Often it is understood.Index Z identifies specific LAC.Z, more specifically：The instantiation Z of described type LAC is (in programming language
Aspect).This is equally applicable to type/example AST/AST.X, UIETUIE.Y.
The PTR-DS that UIE-stub above it is provided by IES, represents whether will test the TT.O of the CI meeting SPL
It is always available for IES user's (unless being locked by user).As mentioned above：By the means of UIE-stub, IES user can define use
In the large-scale UIE instantiation of configuration UIE, between IES user and IES, the SPL for the Cl of self-defined IES user surveys
Examination：As being easy to it using the function of being provided for test by IES.
Whether produce/integrated/modification or execution UIE.Y be to be determined by the IES pattern residing when UIE.Y calls, thus
Described pattern can by IES user (for example：Call described in execution or user that another calls), or by IES and/or exist
Described UIE.Y and any time of the function execution called.Thus it may happen that conflict, and must by the realization of IES Lai
Automatically or with IES user interaction solve to conflict.
Any step that can only refer in UIE instantiation of calling.
The content of human interaction, that is, it is semantic, is transparent for IES at present, unless it is from the problem of AST by IES
It is derived automatically from, potentially occur in very simple ASTs.
CI disclosed herein, such as controls the IES resp. of its method, and (partly) the automatic immediate information in HI-UIE is in
See in existing ability, by one or several different LAC with regard to the TT.O of CI any AST, such as SPL test IES use
Family, with respond the latter to PTR-DS or its represent the calling of some details of the FSTP- test of TT.O this details of resp..
Claimed invention is invented, especially, for hence in so that IES can be in response to being accessed for problem
Automatically or interactively assume LAC, as this response is to be provided by the perfect knowledge that a people carries out SPL test to TT.O.
For this reason, described response must be represented by IES, say by making one and show that it is used for supporting that it presents on figure
Thing, either in reality or on screen, anyway all of media sync use, what will be real-time mould
Formula uses the normal condition of IES, because it does not have lES to support to propose.In order to realize this, lES allow users to first with
Acoustics and/or the fragment graphically inputting the parameter that it subsequently wants to present with its customized manner, then by these fragment groups
Synthesis, it considers that being that chain proved by a complete law, finally calls this parameter and automatic reproduction.By this way in response to
Listener/the beholder of this LAC, was entering into invention required for protection for it or other people before as inquiry
Problem, then using as intelligent individual and potential multimedia bulletin/information IMR system for listener/beholder
(response of IMR=interaction multimedia).This user individual of the behavior of IMR subsystem of the present invention for required protection will wrap
Include：IES user and IES can combine, by the problem of insertion is interactively spoken or reacted, the LAC that assume complexity, thus this
Plant immediate reaction and the always intervention under IES user's control and/or supplemental instruction can also be configured to by IC-UIE.Ys.This
Interactive change is disclosed in paragraph III and IV.
In order to realize this result, IES is executed many steps of this whole process automatically or interactively, as following
α)-ζ) in summarized：
α) be identified by/be used for its high-level user interaction, due to the FFOL property of described problem, only limitedly many this
The user interaction of sample is required for IES, and then this calling occur.
β) which technological project and/or law project needed for described interaction derived from FSTP-DS.
γ) determine basic AST parameter (BASTAs) (seeing below), due to the FFOL property of described problem, i.e. FSTP- survey
Examination, the only a limited number of BAST for any TT.O, the BASTAs of corresponding TT.O independence will be provided by IES, and TT.O dependence
BASTAs will be by IES user input in IES, under the guidance of the latter, by PTR-DS control before using lES, such as α)-ζ)
Shown.
δ) compile the BASTA (SoBASTA) of some sequences from these BASTAs, due to any sequence of the problem of FFOL property
It is correct, but second idea is useful, a complete low-level answer sequence of these problems, and have a KR-
UIE instantiation represents this SoBASTA.
ε) this low-level SoBASTA is converted into one or several specific, but be logically equivalent to following (if
Be operated in configuration mode) or the SoBASTA sequence of actual (if being operated in real-time mode) multimedia output set in those I/O
Standby, and there is the HI-UIE instantiation of equal number represent these futures/reality output, thus each such instantiation carries
For being supported by KR-UIE another name SoBASTA.The adhoc basis of one or more sequences of high-level user interaction, but
In ζ) control under execute, then finally.
ζ) determine for ε) any HI-UIE instantiation, when following (if working in configuration mode) or actually
If how (being operated in real-time mode) exports this or ε with regard to those events on those I/O equipment) these HI-UIE
In instantiation another a part, and and for its specific IC-UIE instantiation of this HI-UIE instantiation represent these futures/
Actual interactive control, thus being linked to the order of IES user, is not only ε) HI-UIE instantiation a part, Er Qielian
It is connected to the part after required any of its execution of KR-UIE.
For step α)-ζ) and may be helpful to especially with regard to some explanations of the principle of described Cl：
Any step is required for some interactive inputs of IES user or the control by IES user, or execution is full-automatic.
When calling in different mode, these steps are different, for example：I) in exploration/calibration/configuration mode；Ii) exist
Reply in test pattern；Iii) in unidirectional application model；Iv) two-way, call in interactive application model；V) close at some
And in application model.
In γ) to represent that whole FSTP- test can be broken down into complete (logical for the BASTAs (basic AST parameter) in step
Often neither being not uniquely nonredundant) limited group of basic construction blocks.In any BASTA, term has substantially
Such implication, that is, it only relate to regard to 10FSTP- test one of single the fact another name technology and/or legal issue (it makes
Can process such as limitedly many such details or assessment or the certain form of inCs or FSTP- test .o being discussed
Relation), and term parameter indicates that BASTAs is also translated into the basic construction blocks of LAC.
Although present patent application work in step α)-ζ) and the embodiment of CI refer to using for CI in very complicated way
Fixed function, but for the posture of people, its realization remains directly attainable.This is for the simpler enforcement of CI
More for example, always can be by suitably limiting the I/O motility of such embodiment to realize.
Except step α)-ζ) in addition to it is desirable to protection inventive embodiment all users can be provided the interaction being provided
And the prototype of pattern, and it is used for repeating part of shaping when calling them, for example：Otherwise repeat some paragraphs or spy
Or prompting user continues, or confirmation request is to just now described understanding not slowly, or skip temporarily boring details,.
LACs can also be presented by their default configuration, and it has the user interaction of specific application area model
(ginseng paragraph I).These prototypes interactive for by user input/definition/configuration specific UIE instantiation, for IES and/or it
The specificity of actual PTR-DS that adapts them in test of personalization of LACs be fine, but generally these are former
The function of type is not also that IES user ideally wants to use.
Described patent application is not using SPL1)Or the characteristic of its FSTP- test, that is, SPLs too narrow it is impossible to specified.Connect
The paragraph getting off should clarify this point, and it is thus determined that the scope of the CI of present patent application.
For programming language：SPL, the entity Copyright Law (Substantive Copyright Law, SCL), can be by
Regard the statement of series of instructions type as, the intercommunity that it defines is them is limited FOL legal norm (finite FOL
legal norm,FFOLLN).Therefore, the statement of any such instruction type can be referred to as FFOLLN, and by by institute
State any instantiation of instruction type, the finite aggregate jointly meeting requirement by meeting its any theme defines.
Here, any instantiation of a FFOLLN will be produced by the theme as the CI of FFOL.Therefore pass through
BEDSCLFinite aggregate, in order to CI [71] produces inCs.Therefore, described instantiation, as the theme being defined by the CI of FFOLLN,
And it is referred to as limited FOL law invention specification FFOLLIN.
Based on the understanding that it can be seen that the scope of the CI of present patent application includes any IES reallyFF0LLIN, it passes through
Carefully analyze statement CI claimed confirming.Therefore, consider from programming language above and be defined as follows (for example：?
The vague generalization considering in [10,18,19,25], is mathematically rethought by [73], and is placed on and mentions method with program design language
In the unrelated term of rule term)：The scope of the CI of present patent application includes any equally powerful test and requires to meeting to give
Necessary and sufficient creation (TC.NaS.MR).Equally powerful mean：This CI makes it possible to build for any FFOLLIN
IESFF0LLIN, it passes through customization/configuration and becomes to may know that, if be asked about with regard to TT.0FFOLLIN' meet its FFOLLIN example
The problem of the requirement of change state, it can be immediately by one or several correct and complete LACs responses, and presenting of they can be by
IES user's control (as described above).
This summary obviously also affects to determine PTRSPLThe FSTP of-DSSPL- test is it means that FSTPTCNaSMR- test is really
Determine PTRTCNaSMR-DS.It is only written FSTPF 0LLN- test and PTRFF0LLN- DS is less concrete on symbol, but implicit identical.This
Plant to promote and even can expand to the dependence to non-limited parameter for the FFOLLN, for example：Time.That is, the CI of present patent application such as section
Fall and clearly indicated in I, wider application, such as all FFOLxNs regions, x not only represents law, and
Represent any private instruction, rather than the above-mentioned United States patent law repeating for example purposes to clearly state volume 35
(35USC)SPL.
Maked Alias the IES of definition by some FFOLLINFF0LLINThe attribute of an element being defined as CI can pass through TT.O's
BEDFF0LLINMirror image predicate connection accurate description technique teaching .O (TT.0FFOLLIN"), is entirely to understand (in above-mentioned meaning
On) with regard to TT.0FFOLLIN' s meets FFOLLN, and be made up of claim 16, for example：By CISPL's BEDSPLInCs and
FSTPSPLThe IES of-test definitionSPLBoth know about CISPL' s meets SPL.
This makes several very interesting conclusions show the irrationality attempting reasoning based on the Cls of model, rather than scientific
Reasoning.That is：
In order to realize IESFF0LLN(as claim 16-30 is required for protection), United States patent law volume 35 (35USC)
SPL is only specific FFOLLN, neither needs specific FFOLLN also without FSTPFF0LLNTest (know it be FFOL just
Much of that) it is not required that CIF0LLN.By the PTR of CIFFOLLINFF0LLIN- DS is (based on specific FFOLLN, specific CIFF0LUN,
And specific FSTPFF0LLINTest, needs exist for explaining PTRFF0LLIN- DS), it can become an IESFF0LLIN, all both know about
CIFF0LLIN' s meets FFOLLN.
An application (one of them is 35USC SPL region) for the CI disclosed in present patent application, owns
It is all FFOLLN region, FSTPFF0LLN- test can define rather than be based on FFOL CI.For example：Appointing from FFOLLN region
What FFOL CI, by its FSTPFF0LLIN- test to create any previous the fitting for the posture under FFOLLN region
Concrete composite metric when prior art.
Identifying that any CI creates the index of oneself is not real necessary typical technology Cls, has intuition to imply its always phase
Same (although nobody understands before FSTP technology), for the emerging technology on model basis, there is no intuition, because
What this was indispensable is scientific [79] of the test of the FFOLLNs meeting them.
The referenced below and line term that this specification uses has following meanings：
A) directly or indirectly asked by IES user：Illustrate that this IES user can be oneself to call a function (directly please
It is asked to execute), or it can point out to call a function (=ask it indirectly to execute) by IES.
B) with regard to the several different LACs of any AST of CI/TT.O：Should indicate that the presence of several LACs not only needs
It is to present because IES user defines several different multimedias for LAC, but also can be included by AST itself different
Inference mode, for example：For the difference disclosure of inC, AST processes and/or has the more than one law reason of disclosure.
C) answer (at least with regard at least one inC of the CI of discussion that the inquiry that IES proposes to IES user provides
Individual aspect), it is referred to as complete and succinct, if it solves and include law and the technical information of all correlations, and provide this letter
Breath, so as to display CI meets all corresponding requirements of SPL statement, is protected unlike Typical requirements and is built the information providing, because lacking
This two targets few.
D) IES user intentionally or accidentally proposes problem：Illustrate that user may propose this problem intentionally, i.e. target or suitable
Just, accidentally, for example：Putting forward an argument.
E) Different Logic of AST represents that AST there may be all kinds of some problems, for example：Prove why specification
Announce inCs, or the inCs why gathering is independent.
F) all AST of CI and its FFOLLIN are given：This Cl's FSTP is describedFF0LLNAny part of-test is all
Covered by AST, that is, be interpreted as that the Cl's that the logic of basic logic sentence connects completes FSTPFF0LLN- test is broken down into BASTs
Set (ginseng γ), such as above-mentioned.
G) two LAC are nonredundant, if the ASTs that they represent does not share BAST.
The implication of the inCs of III.CI and some claimed terms
Independent claims (are invented), and CI, w.l.o.g. are to simplify plural number to be ignored, by the instantiation of 5 (BED-) inCs
Composition, claims：KR-UIE, HI-UIE, IC-UIE, AST, and LAC ".Their implication mainly in the partly middle explanation of paragraph I,
Illustration in the description of present patent application, and usefully describe here by vocabulary pattern therein.
5inCs is to quote (sometimes processing, if comprising them) to information, and wherein IES (partly) automatically generates and uses,
Define in sufficient detail as in this specification.Therefore, claim contributes to the creative concept of disclosure/description present invention, especially
It is its useful gain contribution to CI.Some are depended on CI and are disclosed further based on here, are not described in detail here.
The implication of the increment serviceability [18,19] of 5inCs and its all United States patent laws volume 35 (35USC) SPL needs
Verify under real-time mode immediately, in the configuration mode, their additional and potential more detailed serviceability consideration can be considered
It is to permit.The increment serviceability of these 5inCs (in real-time mode) is defined herein as, by means of include its at least one
The performance of the IES of individual example, or can be created it and call it immediately, rather than it is controlled by method and realizes identical
Definition, but completely invisible/invisible, it is：
LAC is as follows：To IES user, direct or indirect request call is (and in the presence of by IES part during execution UIE.Y
Created by IES) any instantiation, respond one of limited multiple problems (expected in its configuration mode) and presented by multimedia
The answer of (in its configuration mode determine) can be presented for described answer by IES user and/or its logic is in moment, just
Really, completely, concisely and to a certain extent can be by user's control.The appearance of this problem is by IES user intentionally or accidentally
Propose, be the reason this instantiation is called.It is the given CI of test to meet by given each by the subject under discussion of this Resolving probiems
One of limited many aspects of requirement that individual FFOLLIN instantiation is stated.For under given FFOLLIN and its configuration mode
CI, the set of all LAC of definition determines that the IES that thus configures provides the serviceability of CI in this FFOLLIN.
AST is as follows：Its any instantiation enables access to the specific part of FSTP-DS, potentially surveys than FSTP-
The specific part of examination .o is thinner, and/or the several FSTP- of stretching test the part of .o, wherein for given CI and it
FFOLLIN, covers the FSTP of this Cl altogetherFF0LUN-DS.Therefore, the serviceability of AST instantiation is that it is used for completely in CI
There is provided to the FSTP being represented by AST instantiation in the test of its given FFOLLIN of footFF0LLINThe access of the part of-test.
IC-UIE is as follows：Its any instantiation makes it possible to construct and control any portion of of any LAC to present.
HI-UIE is as follows：Its any instantiation permits a determination that the multimedia aspect of any LAC and teaching present.
KR-UIE is as follows：Its any instantiation supports presenting of any LAC by the suitable logic selecting AST.
The claimed wording of (non-) functional meaning, its posture recognizes how they adapt to this CI, and being one has
The IT system designer of experience SPL familiar to other, and the decision of the KSR/Bilski/Mayo/Myriad of the Supreme Judicial Court exists
[71,78], still do not explain.Also it is applied to subsequent system with regard to 15 those claimed methods in an identical manner
Claimed.
Finally, need/usefully with regard to some claimed definition/explanation/comments：
Claim 1：The acronym of bold Italic represents set.In the definition of LAC, term proves (prove)
Should be replaced with reason (reasons) or arguement (argues).W.l.o.g., explain and assume that given PTR-DS only wraps
Include single TT.O.
Term identifies (automatically identifies) automatically means that IES is intending to call another user interaction
When always first check for user's request whether determined.If it is, it provides described request, if otherwise checking that it whether may be used
To point out user's request user interaction, if it is, sending this prompting.
Claim 7：Know how to complete part PTR-DS from parent patent application.
By footnote 2, this is also applied for any FFOLLN resp.FFOLLIN.
Claim 9：In order to execute described inspection, CI is correspondingly limited the strength of symbol.
IV. the CI of present patent application meets the SPL of United States patent law volume 35 (35USC)
By [11,25], when all 10FSTP by being summarized by Fig. 3 test .o, the present invention meets United States patent law the
Volume 35 (35USC) § § 101/102/103/112, it passes through3).
FSTP test 1：Technically, all claimed inventions, such as claim 1 and 16 and their appurtenance
Require, formed by least 5 or BED-crCs that more are quoted in paragraph III beginning, exist each with helping to increase IES
Produce/customize/call serviceability in LACs.It is out-of-date for decomposing them, and that is, execution FSTP test 1 is unessential.
FSTP test 2：Described 5 BED-crCs are legally disclosed by paragraph I-IV, i.e. 5 BED-inCs.And：Right
The FSTP test of claimed unique invention is using the single set in this 5 inCs.
FSTP test 3：No one of claim includes the terminology that device adds function.
FSTP test 4：The disclosure of paragraph I-IV and CI of described 5 BED-crCs is that by.
FSTP test 5：Described 5 BED-inCs are clearly independent.
FSTP test 6：Described 5 BED-inCs are non-equivalences, because not having prior art, they are not proposed.
FSTP test 7：Claimed invention is tested by NAIO, because its total use is in paragraph I and paragraph II-IV
General introduction in (described in paragraph III the beginning part), and if one of this 5inCs is left, it no longer has having of specifying
The property used.Therefore, no one of invention required for protection is only abstract conception.
FSTP test 8：Claimed invention is apparently not simple natural phenomena；It is genuine on the contrary：Do not have in 5inCs
One expression natural phenomena.
FSTP test 9：Claimed invention is clearly novelty and non-obvious4).
FSTP test 10：Claimed invention is not idempotent, because no one of its 5inCs is inessential
's.
Therefore, as described above, the present invention meets United States patent law volume 35 (35USC) SPL.
Finally it is notable that this CI has passed through all 10 FSTP tests, or even 16 tests, as Fig. 4 institute
Show, wherein typically claim construction and only execute 6, explain such as [25].In order to this opinion is interpreted as described in Mayo：As
Fruit Typical requirements construction is considered as a kind of invention, for determining whether invention required for protection meets U.S. SPL, then it
Such as Bilski/Mayo is seen, simply the claim structure of an abstract conception.Although, curiously, typically
Claim construction is never proved to be useful.It is true that its and United States patent law volume 35 (35USC) symbol more whole than instructing
Close more misleadings, and construction is required by Mayo prescription2)3).
Brief description
Fig. 1 shows by their 1/2/3 order UIE.1a[1]/1b[1,2]/1c[1,2,3]Semi-automatic generation/the conversion of step
AST.1 is converted into 3LAC.a/b/c, by being defined the 6 of each of which by IES user in configuration mode<HI-UIE.Ys,KR-
UIE.Ys,IC-UIE.Ys>To customize.
Fig. 2 display AST.1 can have 2 logical expressions, leads to by their UIE.1d/1e/1f -idyne more altogether
In 6 steps (line) to 3 more powerful LAC.d/e/f.
Fig. 3 display FSTP- test, tests .o by 10 FSTP- and forms.
Fig. 4 shows by the compound USC SPL of basic FSTP test expression.
Specification adnexa：Reference list (V.7)
[1]S.Schindler：The US Supreme Court is first in the patent of Mayo/Myriad/CLS/Ultramercial/LBC
Example：The acceptance of inventive concept, the next step of abstract idea？Patent emerging technology.Invention there are currently no complexity.
[2] senior IT represents IT research field, for example：Al, Semantics, KR, DL, NL etc..
[3] R.Brachmann, H.Levesque, knowledge representation and reasoning, Elsevier, 2004.
[4] description logic handbook, Cambridge University, 2010.
[5]S.Schindler：Mathematical model essence Patent Law (SPL) from top to bottom with from bottom to top, Yokohama,
JURISIN, 2013.
[6]SSBG pat.appl.：FSTP specialist system.
[7]SSBG pat.appl.：Innovation specialist system, IES ， ＆ITS DATA STRUC, PTR-DS.
[8]J.Schulze：Technical report #1.V1 in the UI of ' 882PTR and IES prototype, in preparation.
[9]S.Schindler：Patent cause, before development, 2013.
[10] SSBG's AB, to circuit court of appeals of the United States Federal (CAFC), in LBC, 2013.
[11]SSBG pat.appl.：INV.CONC. enable, semi-automatic, patent is tested.
[12]C.Correa：WTO rule lower protection intellectual property handbook, EE, 2010.
[13]N.Klunker:"Harmonisierungsbestr.im mat.Patentrecht",MPI,Munich,
2010.
[14] U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim
Interpretation；Broadest Reason.Interpr.[Eighth Ed.,Rev.1],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.2],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.3],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.4],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.5],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.6],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.7],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.8],”)；
U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)："2111Claim Interpretation；
Broadest Reason.Interpr.[Eighth Ed.,Rev.9],”).
[15]S.Schindler：KR supports for SPL precedent, Barcelona, eKNOW, 2014.
[16]J.Daily,S.Kieff：The interior life structure that anything SPL principle that the mankind make is innovated as business,
Stanford and GWU.
[17] circuit court of appeals of the United States Federal (CAFC), En ban Hearing in LBC, 12.9.13.
[18] SSBG AB to the Supreme Judicial Court in CLS, 07.10.2013.
[19] SSBG AB to the Supreme Judicial Court in WildTangent, 23.09.2013.
[20] U.S.Patent ＆ Trademark Office (USPTO), Intell.Prop, and America's economy：Industry focus, 2012.
[21]K.O'Malley：Keynote adress, IPO, 2013.
[22] S.Schindler, inventor in the visual field of grace period, Kiev, 2013.
[23] S.Schindler, " IES and its In-C enables SPL and tests, Munich, and 2013.
[24] S.Schindler, the mathematics of two fundamental theorems, innovate science, Hong Kong, ECM-2013.
[25] S.Schindler, A.Paschke, S.Ramakrishna, forms, law reason, invents SPL, Bo Luoni
Asia, JURIX-2013.
[26] SSBG AB to the Supreme Judicial Court in Bifski, 6.8.2009.
[27]T.Bench-Capon,F.Coenen:System based on isomorphism and legal knowledge, AI＆Law, 1992.
[28] N.Fuchs, R.Schwitter it is intended to control English, 1996.
[29]A.Paschke:Rule in a network and programming in logic 7.ISS, Galway, 2011.
[30] K.Ashley, V.Walker, " from information retrieval Arg, the retrieval of legal case, Bologna, JURIX-
2013.
[31] hearing of Oracle and Google, with regard to the copyright protection of Java platform, the United States Federal's touring appeal method
Institute (CAFC), 6.12.2013.
[32] S.Schindler, the innovation specialist system (IES) based on KR is with U.S.'s SPL precedent, Phuket, ICIM-
2014.
[33] S.Schindler, with regard to the state report of FSTP prototype, Hyderabad, GIPC-2014.
[34] S.Schindler, with regard to the state report of FSTP prototype, Moscow, LESI, 2014.
[35] S.Schindler, entity trademark law (STL), the entity Copyright Law (SCL) and SPL-STL.Test is real
SCL test and SCL test are real SPL tests, in preparation.
[36] S.Schindler, the refined claim of the new patent priority of the material benefit of inventive concept and the Supreme Judicial Court,
Hawaii,IAM-2014.
[37] D.-M.Bey, the irrationality of C.Cotropia, BRI standard, AIPLA, 2009.
[38] Transcript of the Hearing in TELES vs.CISCO/ U.S.Patent ＆ Trademark Office
(USPTO), circuit court of appeals of the United States Federal (CAFC), 8.1.2014.
[39] Transcript of the en banc Hearing in CLS vs.ALICE, on the United States Federal is touring
Tell law court (CAFC), 8.2.2013
[40] SSBG's position paper, ' 453 of the case to circuit court of appeals of the United States Federal (CAFC).
[41] SSBG's position paper, ' 902 of the case to circuit court of appeals of the United States Federal (CAFC).
[42] SSBG's Amicus position paper, case CLS of circuit court of appeals of the United States Federal (CAFC),
06.12.2012.
[43] SSBG pat.appl.IES can be semi-automatic, produce/call all laws prove chain (LACs) requiring protect
In the SPL test of the invention (CI) of shield, enabled by its inventive concept (inCs).
[44] R.Rader, Panel Discussion, life sciences patent, Berlin, 28.11.2012.
[45] SSBG's AB to the Supreme Judicial Court as CIIwent, Jan.28,2014.
[46]S.Schindler：To be verified sub- test from the claimed invention test for meeting SPL
(ASTs), SPL, University of Warsaw, 24.05.2014.
[47]S.Schindler:"Auto.Gen.of All ASTs for an Inv.'s SPL Test",
subm.for public.
[48] U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP), 2012...Proc.for
The important qualification of Subj.Matter Eligibility...of legal procedure claim, 2012.
[49] U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP), Guidelines 35U.S.C.1 12
(2),Federal Register/Vol.76,No.27；Patent examination benchmark (MPEP) 2171, Rev.9, Aug.2012.
[50]NAUTILUS v.BIOSIG,PFC,2013.
[51] BIOSIG, respondent, 2013.
[52] common knowledge etc., AB, 2014.
[53] Amazon etc., AB, 2014.
[54] White House, the strength that president appeals, our patent system and promoting innovation, 2014.
[55] U.S.Patent ＆ Trademark Office (USPTO)：See homepage.
[56]IPO:See homepage.
[57]M.Adelman,R.Rader,J.Thomas：Patent Law case and material, West AP, 2009.
[58] SSBG's Amicus position paper, to the Supreme Judicial Court with regard to its (non-) clear and definite sex chromosome mosaicism, March3,2014.
[59] the inCs Minded UI of the explanation of SSBG pat.appl. patent and IES.
[60]S.Schindler：Patent explanation and the inCs Minded UI of IES, in preparation, 2014.
[61]H.Wegner：Uncertainty, the sleeping giant in Patent Law, www.laipla.net/hal-wegners-
top-ten-patent-cases/.
[62] circuit court of appeals of the United States Federal (CAFC) is in the suggestion of Reference Number No.12-1513, U.S. Patent number No.7,
145,902 review no.95,001,001, February 21,2014.
Circuit court of appeals of the United States Federal (CAFC) in the suggestion of Reference Number No.12-1297, U.S. Patent number No 6,954,
453 review no.90/010,017April 4,2014.
[63] B.Wegner, S.Schindler, for the mathematical structure of modeling invention, Coimbra, CICM-2014.
[64] SSBG's petition, to circuit court of appeals of the United States Federal (CAFC) for Rehearing En Banc in
the'902case,18.04.2014.
[65] circuit court of appeals of the United States Federal (CAFC)：VEDERI vs.GOOGLE determines；March14,2014.
[66] circuit court of appeals of the United States Federal (CAFC)：THERASENSE vs.BECTON＆BAYER determines,
25.05.2011.
[67]B.Fiacco:Amicus position paper, to circuit court of appeals of the United States Federal (CAFC) in VERSATA
v.SAP&USPTO,24.03.14
[68] proce's-verbal of the US Supreme Court's oral argument, Alice Corp.v CLS Bank, case 13-298,
Finally examined, March 31,2014, Alderson Reporting Company.
[69]R.Rader,Keynote Speech：Patent Law and lawsuit abuse, ED Tex Bench and Bar
Conf.,November 1,2013.
[70]5.Schindler,Keynote Speech：With regard to substantive patent law (SPL), pioneer enters eKnowledge
Enter innovation epoch, Barcelona, eKNOW-2014.
[71]S.Schindler：The SPL proposal of the Supreme Judicial Court：Make its SPL explain to be apparent from, clarify three initially
Common SPL antinomy, submit to open, 2014.
[72] U.S.Patent ＆ Trademark Office (USPTO)/patent examination benchmark (MPEP)：The qualification of program subject matter in 2014
Analyze or be related to nature/principle of naturalism, the claim of natural phenomena and/or natural product law.
[73]B.Wegner,S.Schindler:For modeling the mathematical structure that refined claim is explained, in prep.
[74]T.b.d.
[75]D.Crouch：Circuit court of En Banc federation changes claim law, 13.07.2005.
[76] the video hearing 09.05.2014 being organized by PTO.
[77] R.Rader, key-note speech is in GTIF, Geneva, 2014and LESI, Moscow, 2014.
[78]S.Schindler：With regard to the BRI-Schism of United States Patent system (NPS), the US Supreme Court
Challenge, May 22,2014, subm.for publ.
[79] SSBG's petition, to the Supreme Judicial Court 902 cases Writ, in preparation.
See www.fstp-expert-system.com.
Footnote/endnote
Although yet suffering from difference between the substantive patent law (SPL) of the U.S. and other area/countries, such as European Union and it
The SPL of EPC, these should disappear quickly, because the SPLs that international coordination is understood that politically does not have too big dispute, with
And it is economically favourable to all each side, then, in the whole U.S., in the proof of European Union and many task Ye Guoshi Supreme Judicial Courts.
Similar process occurred in the past, for example：With the national accounting procedure of listed company, today is by worldwide international finance report
Accuse criterion (IFRS) to coordinate.Here, the PatentHighwayProgram of several large-scale PTO may play decision
Property effect.
Due to this part of novelty of this specification, brief explanation many details (being also apparent from) in paragraph II.
This unessential part should be unnecessary in patent application, and the description of its patent application includes described part.As
Following patent application of fruit is supported by its PTR-DS, or is even supported by IES disclosed herein, all such explanations,
It is also unessential, user will be presented in real time when it is asked, potentially in controlled multimedia presents.
To this CI execution NANO test, determine its intention height>5 superelevation propose, and do not have prior art or reality
Can be reduced it with doctrine.According to [5,6], the intention height of this Cl is：
More than 1, thereby ensure that its novelty is not (due to having prior art literature to predict one of 5 above-mentioned BID-inCs
Proposition), and at least especially；
5 or more, thereby ensure that its not apparent property, due to due to identical.
Claims (30)
1. a kind of computer implemented method it is characterised in that：By described computer implemented method come execution step：Carry out a wound
New specialist system (IES), comprises：At least one processor；One memorizer, in order to store methods described for described processor
Actuating code；At least one I/O device, for the interaction of IES and an IES user；One project/event memory (I/EM), in order to deposit
Store up all items relevant with methods described and event；And a user interface entity (UIE)::=<KR-UIE,HI-UIE,IC-
UIE>.Y|Y∈YUIE}；
Under its configuration mode, produce and one group of law of customization proves chain (LAC), { LAC }：
For a given PTR data structure (PTRFFOLLIN- DS), by FSTPFFOLLIN- test is determined；And
One sub- test (AST) ∈ FSTP to be verifiedFFOLLIN- test, omits afterwardsFFOLLIN, withWherein
Remain with：
KR-UIE.Z comprises AST；
HI-UIE.Z passes through a user input；And
IC-UIE.Z is determined by a user；
Under its real-time mode, assume a called LAC producing and/or customizingAST.Z, Z ∈ ZAST；
When being executed by described IES, to any single IES user, repeatedly continuously call and execute following completely：Action
A it is) when IES is in a configuration mode；Action B) it is when IES is in a real-time mode, it represents for an IES user,
Described IES is then：
A) i. is for a LACASTExist or AST ∈ FSTP- test (PTR) automatic identification one Z ∈ ZASTIt is converted into one
LAC；
Ii. a user is automatically pointed out to input described AST to described identified KR-UIE.Z；Which kind of will should be on I/O device
The expression of described AST inputs to its HI-UIE.Z；And it is mutual which kind of a user during the described expression of described AST should be had
Dynamic control input is to its IC-UIE.Z；
Iii. letter can automatically be accepted from least one IES user being intended to the I/O device being communicated at least one other IES users
Breath；And
Iv. switch the IES user model of described IES to described real-time mode according to the request of an IES user；
B) i. automatic identification one LAC ∈ { LACAST}；
Ii. automatic identification one AST, then automatic identification one LAC ∈ { LACAST}；
Iii., after determining described LAC, submit it to as in A) be defined in ii or predefined as；
Iv. letter can automatically be accepted from least one IES user being intended to the I/O device being communicated at least one other IES users
Breath；And
V. switch the IES user model of described IES to described configuration mode according to the request of an IES user.
2. computer implemented method as claimed in claim 1 it is characterised in that：The table of the described IES request of one user input
Show and can be defined by a user, or represented described in group selection by giving from an IES of multiple expressions, or pass through one
IES give mark described in it.
3. computer implemented method as claimed in claim 1 it is characterised in that：For by the use of at least one IES user
The expression of an IES output can be defined by a user, or by described in the given group selection of an IES from multiple expressions
Represent, or by one IES give mark described in it.
4. computer implemented method as claimed in claim 1 it is characterised in that：One user input triggers an IES function, described
IES function is automatic or is produced with a user interaction or modification at least of KR-UIE.Y or HI-UIE.Y or IC-UIE.Y
Point.
5. computer implemented method as claimed in claim 1 it is characterised in that：For UIE.Y, described IES is provided to a use
Family；The function of segmenting it or its step is divided into multiple steps, and remove the function of this subdivision, wherein execution one is thin
Point or remove it and can be determined by by a user or by the IES of an IES user's control, and in A) and B) be defined times
What operation can be applied to a step.
6. computer implemented method as claimed in claim 1 it is characterised in that：At least one AST can be complete by an IES user
Entirely it is transfused to, or from by being derived by described IES with an IES user interaction or automatic at least one PTR-DS being partly defined.
7. computer implemented method as claimed in claim 1 it is characterised in that：Described PTR-DS can pass through an IES user
Partly it is transfused to or changes or verify, and if not exclusively, then completed with an IES user interaction by described IES.
8. computer implemented method as claimed in claim 1 it is characterised in that：Described FFOLLIN can pass through described PTR-
DS is provided, or passes through an IES user input, or by given group selection one FFOLLN of an IES from multiple FFOLLN, and
Selected FFOLLN to one FFOLLIN is completed by the inCs of the TT.0 of described given PTR, or by describing FFOLLIN
Or a FFOLLIN of mark is given in an IES.
9. computer implemented method as claimed in claim 1 it is characterised in that：One IES user can be limited by a document
Its SPL, is described in some marks being provided by described IES in its additional limitation on TT.0 in test, wherein institute
State IES and check that the described FFOL attribute confirming produced one group of restriction is retained.
10. computer implemented method as claimed in claim 1 it is characterised in that：One IES user can give journey by IES
PTR-DS described in sequence labelling and at least a portion of the UIE being used by TT.0 test under discussion, and signed with an authentication mode
It, just when identify any part and certification it when, just described IES monitor ought be had by the use that IES program makes it
When；Write a record shelves when it uses；And about when it uses, an or if IES user configurable IES given event
During generation, notify an IES user immediately.
11. computer implemented methods as claimed in claim 1 it is characterised in that：One IES user can recognize that the reality of described IES
Border state, switches between these different identification states, and obtains retouching of the difference between two states from described IES
State, be rendered as being configured in the mark being provided by described IES by an IES user.
12. computer implemented methods as claimed in claim 1 it is characterised in that：One IES user can cancel recently and change
The interaction of the described IES of its I/EM.
13. computer implemented methods as claimed in claim 1 it is characterised in that：One IES user can enable/disable at least
One other IES users are to/from at least one interaction with an IES user.
14. computer implemented methods as claimed in claim 1 it is characterised in that：One user can synchronously use at least two IES
The part that the described IES at family presents, is to provide a group of some to select by an IES user from by described IES
Or be been described by the mark being provided by described IES by an IES user.
15. computer implemented methods as claimed in claim 1 it is characterised in that：One IES user can ask for a TT.0
A part for the record shelves of a period of time of described IES execution of test, is certainly to be provided by described IES by an IES user
One group of some and selecting or being been described by the mark being provided by described IES by an IES user.
A kind of 16. computer implemented systems it is characterised in that：Executed following by described computer implemented system：Carry out one
Innovation specialist system (IES), comprises：At least one processor；One memorizer, in order to store the methods described for described processor
Actuating code；At least one I/O device, for the interaction of IES and an IES user；One project/event memory (I/EM), in order to
Store all items relevant with methods described and event；And a user interface entity (UIE)::=<KR-UIE,HI-UIE,
IC-UIE>.Y|Y∈YUIE}；
Under its configuration mode, produce and one group of law of customization proves chain (LAC), { LAC }：
For a given PTR data structure (PTRFFOLLIN- DS), by FSTPFFOLLIN- test is determined；And
One sub- test (AST) ∈ FSTP to be verifiedFFOLLIN- test, omits afterwardsFFOLLIN, withWherein
Remain with：
KR-UIE.Z comprises AST；
HI-UIE.Z passes through a user input；And
IC-UIE.Z is determined by a user；
Under its real-time mode, assume a called LAC producing and/or customizingAST.Z, Z ∈ ZAST；When by described IES
During execution, to any single IES user, repeatedly continuously call and execute following completely：Action A) it is to join when IES is in one
When putting pattern；Action B) it is when IES is in a real-time mode, wherein represent that described IES is then for an IES user：
A) i. is for a LACASTExist or AST ∈ FSTP- test (PTR) automatic identification one Z ∈ ZASTIt is converted into one
LAC；
Ii. automatically point out a user input extremely：Described AST is inputted to described identified KR-UIE.Z；Will be in which kind of I/O device
On should be the expression of described AST and input to its HI-UIE.Z；And a user during the described expression of described AST should be had
Which kind of interactive control input is to its IC-UIE.Z；
Iii. letter can automatically be accepted from least one IES user being intended to the I/O device being communicated at least one other IES users
Breath；And
Iv. switch the IES user model of described IES to described real-time mode according to the request of an IES user；
B) i. automatic identification one LAC ∈ { LACAST}；
Ii. automatic identification one AST, then automatic identification one LAC ∈ { LACAST}；
Iii., after determining described LAC, submit it to as in A) be defined in ii or predefined as；
Iv. letter can automatically be accepted from least one IES user being intended to the I/O device being communicated at least one other IES users
Breath；And
V. switch the IES user model of described IES to described configuration mode according to the request of an IES user.
17. computer implemented systems as claimed in claim 16 it is characterised in that：The described IES request of one user input
Expression can be defined by a user, or is represented described in group selection by giving from an IES of multiple expressions, or passes through
One IES give mark described in it.
18. computer implemented systems as claimed in claim 16 it is characterised in that：For making by least one IES user
What one IES exported is represented and can be defined by a user, or by giving group selection institute from an IES of multiple expressions
State expression, or by one IES give mark described in it.
19. computer implemented systems as claimed in claim 16 it is characterised in that：One user input triggers an IES function, institute
Stating IES function is automatic or is produced with a user interaction or modification at least of KR-UIE.Y or HI-UIE.Y or IC-UIE.Y
Point.
20. computer implemented systems as claimed in claim 16 it is characterised in that：For UIE.Y, described IES is provided to one
User：Segment the function that its step is divided into multiple steps by it, and remove this function of segmenting, wherein execution one is thin
Point or remove it and can be determined by by a user or by the IES of an IES user's control, and in A) and B) be defined times
What operation can be applied to a step.
21. computer implemented systems as claimed in claim 16 it is characterised in that：At least one AST can pass through an IES user
It is transfused to completely, or from by being led by described IES with an IES user interaction or automatic at least one PTR-DS being partly defined
Go out.
22. computer implemented systems as claimed in claim 16 it is characterised in that：Described PTR-DS can be used by an IES
Family is partly transfused to or changes or verify, and if not exclusively, is then completed with an IES user interaction by described IES.
23. computer implemented systems as claimed in claim 16 it is characterised in that：Described FFOLLIN can pass through described
PTR-DS is provided, or passes through an IES user input, or by giving group selection one from an IES of multiple FFOLLN
FFOLLN, and selected FFOLLN to FFOLLIN is completed by the inCs of the TT.0 of described given PTR, or by retouching
The FFOLLIN stating FFOLLIN or giving mark in an IES.
24. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can be by a document limit
Make its SPL, be described in some marks being provided by described IES in its additional limitation on TT.0 in test, wherein
Described IES checks that the attribute of the described FFOL confirming produced one group of restriction is retained.
25. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can give journey by IES
PTR-DS described in sequence labelling and at least a portion of the UIE being used by TT.0 test under discussion, and signed with an authentication mode
It, just when identify any part and certification it when, just described IES monitor ought be had by the use that IES program makes it
When；Write a record shelves when it uses；And about when it uses, an or if IES user configurable IES given event
During generation, notify an IES user immediately.
26. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can recognize that the reality of described IES
Border state, switches between these different identification states, and obtains retouching of the difference between two states from described IES
State, be rendered as being configured in the mark being provided by described IES by an IES user.
27. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can cancel recently with change
Become the interaction of the described IES of its I/EM.
28. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can enable/disable at least
One other IES users are to/from at least one interaction with an IES user.
29. computer implemented systems as claimed in claim 16 it is characterised in that：One user can be synchronously at least two IES
The part that the described IES of user presents, is to provide a group of some to select by an IES user from by described IES
Selecting or be been described by the mark being provided by described IES by an IES user.
30. computer implemented systems as claimed in claim 16 it is characterised in that：One IES user can ask for one
A part for the record shelves of a period of time of described IES execution of TT.0 test, is from by described IES by an IES user
There is provided one group of some and selecting or being been described by the mark being provided by described IES by an IES user.
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US14/294825 | 2014-06-03 | ||
| US14/294,825 US20140365385A1 (en) | 2009-04-09 | 2014-06-03 | Ies capable of semi-automatically generating/ invoking all legal argument chains (lacs) in the spl test of a claimed invention (ci), as enabled by its inventive concepts (incs) |
| PCT/IB2015/000828 WO2015185980A1 (en) | 2014-06-03 | 2015-06-03 | Innovation expert system capable of semi-automatically generating and invoking all legal argument chains in a claimed invention |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN106489160A true CN106489160A (en) | 2017-03-08 |
Family
ID=53674216
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201580037875.1A Pending CN106489160A (en) | 2014-06-03 | 2015-06-03 | Can semi-automatic generation and the innovation specialist system calling all laws to prove chain in claimed invention |
Country Status (4)
| Country | Link |
|---|---|
| EP (1) | EP3152709A1 (en) |
| JP (2) | JP6480473B2 (en) |
| CN (1) | CN106489160A (en) |
| WO (1) | WO2015185980A1 (en) |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20080086507A1 (en) * | 2006-10-06 | 2008-04-10 | Intelligent Process Expert Systems, Llc | Automated Letters Patent Analysis Support System and Method |
| CN101341483A (en) * | 2005-07-13 | 2009-01-07 | 汤姆森环球资源公司 | User interface searching and displaying legal case histories |
| WO2012022612A1 (en) * | 2010-08-17 | 2012-02-23 | Sigram Schindler Beteiligungsgesellschaft Mbh | The fstp expert system |
| CN103189881A (en) * | 2010-08-17 | 2013-07-03 | 西格拉姆申德勒有限公司 | The FSTP expert system |
| US20130179386A1 (en) * | 2009-04-09 | 2013-07-11 | Sigram Schindler | Innovation expert system, ies, and its ptr data structure, ptr-ds |
Family Cites Families (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| ATE186167T1 (en) | 1996-10-07 | 1999-11-15 | Teles Ag | METHOD FOR TRANSMITTING DATA IN A TELECOMMUNICATIONS NETWORK AND SWITCH FOR PERFORMING THE METHOD |
| US20140012766A1 (en) * | 2009-04-09 | 2014-01-09 | Sigram Schindler | Inventive concepts enabled semi-automatic tests of patents |
-
2015
- 2015-06-03 EP EP15738968.5A patent/EP3152709A1/en not_active Ceased
- 2015-06-03 WO PCT/IB2015/000828 patent/WO2015185980A1/en active Application Filing
- 2015-06-03 JP JP2016570866A patent/JP6480473B2/en active Active
- 2015-06-03 CN CN201580037875.1A patent/CN106489160A/en active Pending
-
2019
- 2019-02-07 JP JP2019020435A patent/JP6891200B2/en active Active
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101341483A (en) * | 2005-07-13 | 2009-01-07 | 汤姆森环球资源公司 | User interface searching and displaying legal case histories |
| US20080086507A1 (en) * | 2006-10-06 | 2008-04-10 | Intelligent Process Expert Systems, Llc | Automated Letters Patent Analysis Support System and Method |
| US20130179386A1 (en) * | 2009-04-09 | 2013-07-11 | Sigram Schindler | Innovation expert system, ies, and its ptr data structure, ptr-ds |
| WO2012022612A1 (en) * | 2010-08-17 | 2012-02-23 | Sigram Schindler Beteiligungsgesellschaft Mbh | The fstp expert system |
| CN103189881A (en) * | 2010-08-17 | 2013-07-03 | 西格拉姆申德勒有限公司 | The FSTP expert system |
Also Published As
| Publication number | Publication date |
|---|---|
| WO2015185980A1 (en) | 2015-12-10 |
| JP6480473B2 (en) | 2019-03-13 |
| JP6891200B2 (en) | 2021-06-18 |
| JP2017525012A (en) | 2017-08-31 |
| EP3152709A1 (en) | 2017-04-12 |
| JP2019106196A (en) | 2019-06-27 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US8131663B1 (en) | Apparatus for generating software logic rules by flowchart design | |
| AU785417B2 (en) | Method for assembling and using a knowledge base | |
| EP1155371A1 (en) | Apparatus for design and simulation of dialogue | |
| US20060161414A1 (en) | Event-driven model generated from an ordered natural language interface | |
| KR20040010257A (en) | Consulting system using network, content making method and recording medium for storing a program to perform the system and method | |
| Bouraoui et al. | Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations | |
| US20100191519A1 (en) | Tool and framework for creating consistent normalization maps and grammars | |
| Hossain et al. | Mr. Dr. Health-Assistant Chatbot | |
| CN106489160A (en) | Can semi-automatic generation and the innovation specialist system calling all laws to prove chain in claimed invention | |
| US20210313042A1 (en) | System for Generating Treatment Plans for Psychological Illness and Disorders | |
| JP6265030B2 (en) | Application development system, development device data processing method, and program | |
| Brel et al. | Reusing and Combining UI, Task and Software Component Models to Compose New Applications | |
| Neto et al. | Developing and evaluating web multimodal interfaces-a case study with usability principles | |
| JP2022099042A (en) | Dialog knowledge creation device and dialog knowledge creation program | |
| D’Haro et al. | An advanced platform to speed up the design of multilingual dialog applications for multiple modalities | |
| JPH0850576A (en) | Visually interactive simulator | |
| Duarte | MAMA: A Model-driven Approach Minding Accessibility | |
| Magyari et al. | Service blueprinting for better collaboration in human-centric AI: The design of a digital scribe for orthopedic consultations | |
| Weber et al. | Usability and Adoption of Graphical Tools for Data-Driven Development | |
| Belli et al. | Reusability-Driven Software Development | |
| Tran et al. | CorpusViz: Child and Adult Speech Visualisation | |
| JP5251945B2 (en) | Medical support system | |
| Cowley | An investigation into the use of guidelines and patterns in the interaction design process | |
| JP2005078235A (en) | Method and device for generating knowledge code and converting it into text | |
| Rahnema | Concept and Implementation of a Smart Web-Application for Heuristic Evaluation Based on Data Mining Methods |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination |