US5434952A
Expired / Lapsed
US
⏱️ 0.0 years remaining
System and method for specifying an expert system
Assignee: Texas A&M University System
•
Filing: 1992-06-26
•
Granted: 1995-07-18
•
Expires: 2012-06-26
Abstract
Abstract A method and system are provided for specifying an expert system. Multiple task specifications are formed for specifying tasks as functional units of the expert system. Multiple method specifications are formed for specifying methods for accomplishing ones of the tasks. At least one of the tasks is specified as a subtask of at least one of the methods, such that ones of the task specifications are organized as a structure having multiple levels of tasks.
Inventors
- 👤 Chia H. Yen
- 👤 Jonathan Y. Lee
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-10-27 17:44
CPC Classifications
G; G06; G06N; G06N5/00; G06N5/02; G06N5/022
Claims Analysis
Total Claims: 40
Claim 1
Independent Claim
221 words
A system for specifying an expert system, comprising: circuitry for generating a plurality of task specifications for specifying tasks as functional units of the expert system; circuitry for generating a plurality of method specifications for specifying a plurality of methods identifying a plurality of ways for accomplishing ones of said tasks; circuitry for specifying at least one said task as a subtask of a selected one of said methods, such that ones of said task specifications are organized as a structure having multiple levels of said tasks; circuitry for generating at least one task level task state expression specifying an interaction between a first one of said tasks at a first level of said structure and a second one of said tasks at said second level of said structure; circuitry for generating at least one method level task state expression specifying a control flow between each said subtask of said selected one of said methods, wherein one of said first and second tasks is a particular subtask of a particular one of said methods; combining circuitry for combining said task level task state expression with said method level task state expression to establish a combined task state expression; and verifying circuitry for verifying whether said particular subtask is consistent with said particular method in response to said combined task state expressions.
Claim 2
Independent Claim
221 words
A system for specifying an expert system, comprising: circuitry for generating a plurality of task specifications for specifying tasks as functional units of the expert system; circuitry for generating a plurality of method specifications for specifying a plurality of methods identifying a plurality of ways for accomplishing ones of said tasks; circuitry for specifying at least one said task as a subtask of a selected one of said methods, such that ones of said task specifications are organized as a structure having multiple levels of said tasks; circuitry for generating at least one task level task state expression specifying an interaction between a first one of said tasks at a first level of said structure and a second one of said tasks at said second level of said structure; circuitry for generating at least one method level task state expression specifying a control flow between each said subtask of said selected one of said methods, wherein one of said first and second tasks is a particular subtask of a particular one of said methods; combining circuitry for combining said task level task state expression with said method level task state expression to establish a combined task state expression; and verifying circuitry for verifying whether said particular subtask is consistent with said particular method in response to said combined task state expressions.
Claim 3
Dependent Claim
24 words
The system of claim 1, wherein said verifying circuitry is operable to determine whether said particular subtask is weakly inconsistent with said particular method.
Claim 4
Dependent Claim
24 words
The system of claim 1, wherein said verifying circuitry is operable to determine whether said particular subtask is strongly inconsistent with said particular method.
Claim 5
Independent Claim
95 words
A system for specifying an expert system, comprising: circuitry for generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; circuitry for generating a state model including a plurality of state objects each representing a state of completion in a problem domain of the expert system; and circuitry for specifying said precondition state and postcondition state relative to said state objects.
Claim 6
Independent Claim
95 words
A system for specifying an expert system, comprising: circuitry for generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; circuitry for generating a state model including a plurality of state objects each representing a state of completion in a problem domain of the expert system; and circuitry for specifying said precondition state and postcondition state relative to said state objects.
Claim 7
Dependent Claim
31 words
The system of claim 4 and further comprising circuitry for generating a model specification of said task including said state model and a domain model specifying domain objects of said task.
Claim 8
Dependent Claim
27 words
The system of claim 5 wherein said model specification generating circuitry is operable to form said domain model specifying at least one term relevant to said task.
Claim 9
Dependent Claim
25 words
The system of claim 6 wherein said model specification generating circuitry is operable to form said domain model specifying a relation relevant to said task.
Claim 10
Dependent Claim
27 words
The system of claim 7 wherein said model specification generating circuitry is operable to form said domain model specifying a relationship between multiple ones of said term.
Claim 11
Dependent Claim
27 words
The system of claim 7 wherein said model specification generating circuitry is operable to form said domain model specifying a property of at least one said term.
Claim 12
Dependent Claim
26 words
The system of claim 5 wherein said model specification generating circuitry is operable to form said state model specifying at least one relationship between multiple objects.
Claim 13
Dependent Claim
26 words
The system of claim 10 wherein said model specification generating circuitry is operable to form said domain model specifying at least one constraint on said relationship.
Claim 14
Independent Claim
81 words
A system for specifying an expert system, comprising: circuitry for generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; and circuitry for specifying said postcondition state as a soft postcondition state, such that said soft postcondition state is true after less than all of said invocations.
Claim 15
Independent Claim
81 words
A system for specifying an expert system, comprising: circuitry for generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; and circuitry for specifying said postcondition state as a soft postcondition state, such that said soft postcondition state is true after less than all of said invocations.
Claim 16
Dependent Claim
33 words
The system of claim 12 and further comprising circuitry for specifying an additional postcondition state as a rigid postcondition state, such that said rigid postcondition state is true after all of said invocations.
Claim 17
Dependent Claim
38 words
The system of claim 12 wherein said task specification generating circuitry is operable to form said task specification specifying said task being represented as said precondition state, a sequence of states during said invocations, and said postcondition state.
Claim 18
Dependent Claim
27 words
The system of claim 14 and further comprising circuitry for specifying at least one protection describing a state property to be maintained during said sequence of states.
Claim 19
Dependent Claim
12 words
The system of claim 15 wherein said protection comprises a global protection.
Claim 20
Dependent Claim
12 words
The system of claim 15 wherein said protection comprises a local protection.
Claim 21
Independent Claim
205 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating a plurality of task specifications for specifying tasks as functional units of the expert system; generating a plurality of method specifications for specifying a plurality of methods identifying a plurality of ways for accomplishing ones of said tasks; specifying at least one said task as a subtask of a selected one of said methods, such that ones of said task specifications are organized as a structure having multiple levels of said tasks; generating at least one task level task state expression specifying an interaction between a first one of said tasks at a first level of said structure and a second one of said tasks at a second level of said structure; generating at least one method level task state expression specifying a control flow between each said subtask of said selected one of said methods, wherein one of said first and second tasks is a particular subtask of a particular one of said methods; combining said task level task state expression with said method level task state expression; and verifying whether said particular subtask is consistent with said particular method in response to said combined task state expressions.
Claim 22
Independent Claim
205 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating a plurality of task specifications for specifying tasks as functional units of the expert system; generating a plurality of method specifications for specifying a plurality of methods identifying a plurality of ways for accomplishing ones of said tasks; specifying at least one said task as a subtask of a selected one of said methods, such that ones of said task specifications are organized as a structure having multiple levels of said tasks; generating at least one task level task state expression specifying an interaction between a first one of said tasks at a first level of said structure and a second one of said tasks at a second level of said structure; generating at least one method level task state expression specifying a control flow between each said subtask of said selected one of said methods, wherein one of said first and second tasks is a particular subtask of a particular one of said methods; combining said task level task state expression with said method level task state expression; and verifying whether said particular subtask is consistent with said particular method in response to said combined task state expressions.
Claim 23
Dependent Claim
25 words
The method of claim 18, wherein said verifying step comprises the step of determining whether said particular subtask is weakly inconsistent with said particular method.
Claim 24
Dependent Claim
25 words
The method of claim 18, wherein said verifying step comprises the step of determining whether said particular subtask is strongly inconsistent with said particular method.
Claim 25
Independent Claim
96 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; generating a state model including a plurality of state objects each representing a state of completion in a problem domain of the expert system; and specifying said precondition state and postcondition state relative to said state objects.
Claim 26
Independent Claim
96 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; generating a state model including a plurality of state objects each representing a state of completion in a problem domain of the expert system; and specifying said precondition state and postcondition state relative to said state objects.
Claim 27
Dependent Claim
32 words
The method of claim 21 and further comprising the step of generating a model specification of said task including said state model and a domain model specifying domain objects of said task.
Claim 28
Dependent Claim
28 words
The method of claim 22 wherein said model specification generating step comprises the step of generating said domain model specifying at least one term relevant to said task.
Claim 29
Dependent Claim
26 words
The method of claim 23 wherein said domain model generating step comprises the step of generating said domain model specifying a relation relevant to said task.
Claim 30
Dependent Claim
28 words
The method of claim 24 wherein said domain model generating step comprises the step of generating said domain model specifying a relationship between multiple ones of said term.
Claim 31
Dependent Claim
28 words
The method of claim 24 wherein said domain model generating step comprises the step of forming said domain model specifying a property of at least one said term.
Claim 32
Dependent Claim
27 words
The method of claim 22 wherein said model specification generating step comprises the step of generating said state model specifying at least one relationship between multiple objects.
Claim 33
Dependent Claim
27 words
The method of claim 27 wherein said model specification generating step comprises the step of generating said domain model specifying at least one constraint on said relationship.
Claim 34
Independent Claim
84 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; and specifying said postcondition state as a soft postcondition state, such that said soft postcondition state is true after less than all of said invocations.
Claim 35
Independent Claim
84 words
A method of specifying an expert system using process circuitry performing the following steps comprising: generating at least one task specification for specifying a task as a functional unit of the expert system, said task being represented as a precondition state of the system before invocations of said task, and a postcondition state of the system after said invocations; and specifying said postcondition state as a soft postcondition state, such that said soft postcondition state is true after less than all of said invocations.
Claim 36
Dependent Claim
34 words
The method of claim 29 and further comprising the step of specifying an additional postcondition state as a rigid postcondition state, such that said rigid postcondition state is true after all of said invocations.
Claim 37
Dependent Claim
39 words
The method of claim 29 wherein said task specification generating step comprises the step of generating said task specification specifying said task being represented as said precondition state, a sequence of states during said invocations, and said postcondition state.
Claim 38
Dependent Claim
28 words
The method of claim 31 and further comprising the step of specifying at least one protection describing a state property to be maintained during said sequence of states.
Claim 39
Dependent Claim
20 words
The method of claim 32 wherein said protection specifying step comprises the step of specifying at least one global protection.
Claim 40
Dependent Claim
20 words
The method of claim 32 wherein said protection specifying step comprises the step of specifying at least one local protection.
References Cited (Backward Citations)
US4591983A
Cited
US4949278A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1998-07-17 | 1999-01-16 | 1999-07-18 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2002-07-17 | 2003-01-16 | 2003-07-18 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2006-07-17 | 2007-01-16 | 2007-07-18 | $7700.00 | Window Closed / Lapsed |