최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
DataON 바로가기다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
Edison 바로가기다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
Kafe 바로가기국가/구분 | United States(US) Patent 등록 |
---|---|
국제특허분류(IPC7판) |
|
출원번호 | US-0907287 (2013-05-31) |
등록번호 | US-8959480 (2015-02-17) |
발명자 / 주소 |
|
출원인 / 주소 |
|
대리인 / 주소 |
|
인용정보 | 피인용 횟수 : 5 인용 특허 : 326 |
The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system
The present invention provides methods and systems for integrating a procedural computational model with a declarative computational model. For example, in one aspect, the present invention provides a method for integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system. In such a method, for each of the procedural instructions operating on one or more variables, a hash table indexed by variable names is utilized to determine whether any of these variables participate in at least one of the declarative rules. Upon execution of a procedural instruction that changes a variable participating in a declarative rule, other variables associated with the rule are updated so as to maintain a relationship imposed by the rule among the variables. The updating of the other variables is performed prior to execution of other procedural instructions.
1. A method of integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system, the method comprising: for each of said procedural instructions operating on one or more variables, determining whether
1. A method of integrating a plurality of procedural instructions in a procedural computational system with a plurality of declarative rules in a declarative computational system, the method comprising: for each of said procedural instructions operating on one or more variables, determining whether any of said variables participate in at least one of said declarative rules by employing a hash table indexed by variable names, andupon execution, within said procedural computational system, of a procedural instruction changing a variable participating in a declarative rule, detecting said changing variable and notifying said declarative computational system using a change tracking system that is in communicative coupling with said procedural computational system and said declarative computational system, and updating, within said declarative computational system, other variables associated with said rule so as to maintain a relationship imposed by said rule among said variables,wherein said notifying said declarative computational system and said updating of other variables is performed prior to execution, within said procedural computational system, of other procedural instructions, andwherein said updating of said other variables includes identifying, within said declarative computational system, one or more other declarative rules in which said other variables participate, and propagating, within said declarative computational system, said updating of said other variables to said one or more other declarative rules so as to maintain relationships imposed by said one or more other declarative rules among said variables. 2. The method of claim 1, further comprising characterizing said declarative rules by a dependency network according to said hash table. 3. The method of claim 2, wherein said determining said other declarative rules in which said other variables participate comprises determining a sub-network within said dependency network based on said hash table. 4. The method of claim 3, wherein said propagating said updates of said other variables to said other declarative rules renders data values of objects participating in said other declarative rules consistent with said relationship imposed by said rule among said variables. 5. The method of claim 1, wherein said declarative rules are provided as textual expressions. 6. The method of claim 1, wherein said declarative rules specify patterns of objects related by said declarative rules. 7. The method of claim 1, wherein said declarative rules are expressed as procedures having defined inputs and outputs, and wherein said inputs and outputs are properties of related objects. 8. The method of claim 1, wherein said declarative rules form at least one of a simple formula declarative system, a multi-source directional declarative system, and a constrained declarative system. 9. The method of claim 1, wherein said one or more declarative rules specify patterns of objects related by said rules. 10. The method of claim 9, further comprising using variable designations to specify said patterns of objects related by said rules. 11. A method of unifying one or more declarative rules and a plurality of procedural instructions in a procedural computational system, the method comprising: upon execution, within said procedural computational system, of a procedural instruction that changes one or more variables, detecting said changes to said one or more variables and notifying a declarative computational system that is in communicative coupling with said procedural computational system using a change tracking system that is in communicative coupling with said procedural computational system and said declarative computational system, and updating, within said change tracking system, one or more other variables participating in one or more declarative rules so as to maintain relationships imposed by said one or more rules among said variables,wherein said updating of said one or more other variables is performed prior to execution of other procedural instructions, andwherein said updating of said one or more other variables includes identifying, within said declarative computational system, one or more other declarative rules in which said one or more other variables participate, and propagating, within said declarative computational system, said updating of said one or more other variables to said one or more other declarative rules so as to maintain relationships imposed by said one or more other declarative rules among said variables. 12. The method of claim 11, further comprising characterizing said declarative rules by a dependency network. 13. The method of claim 12, wherein said determining said other declarative rules in which said other variables participate comprises determining a sub-network within said dependency network. 14. The method of claim 13, wherein said propagating said updates of said other variables to said other declarative rules renders data values of objects participating in said other declarative rules consistent with said relationship imposed by said rule among said variables. 15. The method of claim 11, wherein said declarative rules are provided as textual expressions. 16. The method of claim 11, wherein said declarative rules specify patterns of objects related by said declarative rules. 17. The method of claim 11, wherein said declarative rules are expressed as procedures having defined inputs and outputs, and wherein said inputs and outputs are properties of related objects. 18. The method of claim 11, wherein said declarative rules form at least one of a simple formula declarative system, a multi-source directional declarative system, and a constrained declarative system. 19. The method of claim 11, wherein said one or more declarative rules specify patterns of objects related by said rules. 20. The method of claim 19, further comprising using variable designations to specify said patterns of objects related by said rules.
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.