CN107688460A

CN107688460A - A kind of sentence group's level linguistic context formalization method towards method grammer

Info

Publication number: CN107688460A
Application number: CN201610484175.3A
Authority: CN
Inventors: 不公告发明人
Original assignee: Jiangsu Huayang Mdt Infotech Ltd
Current assignee: Jiangsu Huayang Mdt Infotech Ltd
Priority date: 2016-06-28
Filing date: 2016-06-28
Publication date: 2018-02-13

Abstract

A kind of sentence group's level linguistic context formalization method towards method grammer devises the domain sentence category expression of ruling by law activity, ruling by law field World Affairs is melted into people wherein, so that computer obtains priori.Then, demonstrate domain sentence category expression with reference to real corpus analysis and the applicability of domain sentence category expression is demonstrated to Sentence group analysis and the effect of linguistic context unit extraction, analysis result.Finally, the correlation theory formalized with reference to linguistic context, the computability and Contextual Knowledge method for expressing of linguistic context are discussed, it is the effective ways of computer acquisition and context of use knowledge to show domain sentence category.

Description

A kind of sentence group's level linguistic context formalization method towards method grammer

Technical field

A kind of sentence group's level linguistic context formalization method towards method grammer is related to computer language field.

Background technology

Sentence group is that it contains important between sentence and chapter around one group of language of particular topic expansion Language ambience information.These language ambience informations can be divided into two classes：One kind is information, i.e. letter in context in speech；One kind is Say external information, i.e., the relevant information that the field data outside speech and human brain Central Plains have stored.Current computer is come Say, speech external information is not present, and does not possess the primary condition that information intercouples with speech external information in speech, is also impossible to shape Into communication linguistic context, it is therefore necessary to try these World Affairs a priori to assign computer, interaction linguistic context could be constructed.How These language ambience informations formalize, and a priori assign computer, be that sentence group automatically processes important.

Linguistic context is abstracted as field DOM, scene SIT and background BAC three elements, the thing that this three elements is formed is named as Linguistic context cell S GU, a 3-dimensional space using field DOM as main shaft is formed, its scene SIT and event context BAC are fields EOM function, that is to say, that once it is determined that

Field IXgM, scene SIT and background BAC are with regard to high-visible.C thinks：This three key elements have been caught to be equal to catch Linguistic context component

The ox muzzle, other are all minor matters.By a priori design field sentence class, domain knowledge is formalized, there is provided Used to computer, be advantageously implemented sentence group understanding.The design of domain sentence category expression is realize linguistic context formalization important Business.

The content of the invention

Two basic side a51e2m are ruled by law to be substantially corresponding to rule aS1 Action and effect chains, law-based government side a51e2l by law The broad sense of description ruling by law is made

With, and rule the broad sense effect that public side a51e22 then describes ruling by law by law.Therefore, ruling two basic sides by law necessarily has not With the concept association of speciality

Train of thought is, it is necessary to each set independent domain sentence category expression.Design from these two aspects to domain sentence category individually below Thinking is illustrated.

Government side aS1e2l global domain sentence category expression.

Government side a51e21 global domain sentence category expression design is as follows：

SCD：) (aL5lc21)=Cn-l ReC (RtC) D01~

42XY * 211J) (a5le21) description official DA when restricted person YBCB penalty YBCC.

Wherein, each semantic chunk implication corresponds to as follows：

DA=gc40e21 (official)；YBCB=ppj2 (restricted person) YBCC (a5le21)=v93629+ (v ~ 561；Ga339) (sentence Penalize)

What government side was embodied is that row constraint or protection are entered in behavior of the official to restricted person." Cn 1 " is used for representing the time, different Time used

Law may be different；" ReC " is the reference and reference to articles of law or passing legal precedent, and embodying " has method can According to "；" RtC " represents purpose

Property, in most cases purpose can be said and can not say, therefore be represented with bracket.Rule and rule by men embody improvement two kinds by law Different type, caused effect are also different.Ruling by law will make society go on the track that there are laws to abide by, law's enforcement must be strict, and people's rules for the treatment of have There is very big randomness.

Public side aSle22 global field ten days class expression

Public side a51e22 global domain sentence category expression design is as follows：

SCD = SCD(a51e22)= Cn—l l(RtC)ReBR411X*21J

Wherein, each semantic chunk implication corresponds to as follows：

ReB=a50 \ 3gal2a (state's laws regulation)；RB=pj2-0f//peal10-0；(public) RC=a//d (public The activity being engaged in)

Crucian carp) (a51e22) description public RB according to ReB country laws and regulations be engaged in movable RC, embody each side law close System.

That public side is embodied is the public to laws and regulations observe and application." Cn 1 " is used for representing the time, no With when ask that used law may be different." ReC " is the reference and reference of x cun articles of law or passing legal precedent, body Show " there are laws to abide by "；ReB represents institute's foundation

Specific laws and regulations, RB represent the public, and RC represents the activity description that the public is engaged in.

Claims

1. a kind of sentence group level linguistic context formalization method towards method grammer it is characterized in that be the interception of Object Creation event, pointer more The interception of new events and the calculating three parts of object death time.

2. according to the establishment event for intercepting all objects in primary capture program of the Object Creation event in claim 1, need The bytecode to be distributed in Java bytecode one-level related to object intercepts.

3. being then by 1) new according to required by claim 2, a scalar object is created；2) newarray, a vector is created Object and data member are basic data type；3) anewarray, it is object to create an object vector and data members Draw three kinds definition composition.

4. its function is according to required by claim 3：

Intercept create object bytecode (Java byte files)

While is not the end of byte code files：

If current bytes code is new | | newarray | | anewarray：

Record the object information currently to be created；

Translation bytecode is machine code；

continue:

Else if current bytes code is other character code：

It is translated as machine code；}.

5. pointer update event all in tracing program is wanted according to the interception of pointer update event in claim 1, it is necessary to The bytecode that bytecode one-level updates to related to pointer intercepts.

6. according to claim 5 then its cause the bytecode of pointer update event to be：

1) astore, the reference of object is stored in local variable；

2) aastore, the reference of object is stored in aray variable；

3) putfield, the value of reference type field in object is set；

4) putstatic, the value of class static state reference field is set.

7. then its function is according to claim 6:

Record pointer new events ()

The object that if pointers are previously pointed to is present

Object last time is updated to current time up to the time；

Record this pointer update event；}

Intercept pointer update event bytecode (Java bytecode file)

Record pointer update event ()；

It is translated as machine code；

continue；

Else if current bytes code is other bytecode：

It is translated as machine code；}.

8. inaccessible state is converted to by reachable state according to the calculating of claim 1 object death time.

9. according to its method of claim 8:Calculating object death time ()

It is maximum to put the current propagation time；

All unreachable objects are ranked up (by ascending order) by last time up to the time；

All unreachable objects are pressed into the last time reachable time from d, the big order pop downs of N；

While stacks are not sky

Existing object=stack item object：

The last time of if existing objects is up to the time<_ current propagation the time

The renewal current propagation time is the last time of existing object up to the time；

Each field of for existing objects

The if fields are reference type and are not Null

Object last time is up to the time pointed by the if fields<The current propagation time

The last time of object pointed by the field is set to the current propagation time up to the time；

By object pop down pointed by the field：

}。