System and method for building knowledge-based applications
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Jan 4, 1994
Issued Date -
N/A
app pub date -
Oct 13, 1992
filing date -
Dec 7, 1990
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
A method and system (10) associates a deductive reasoning system having a forward deductive reasoning portion (13), a backward deductive reasoning portion (15), and a frame template portion (18) with a constraint satisfaction system (12) within a unified framework (11). The unified framework (11) incorporates a truth maintenance system to maintain dependency between premises, rules, and consequences in the deductive reasoning system (13, 15, and 18) and between initial constraints and propagated constraints in constraint satisfaction system (12). The system (10) treats constraints as declarative statements in order to maintain logical dependency under the truth maintenance system of unified framework (11).
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully