Knowledge-based proof planning is a new paradigm in automated theorem proving (ATP) which swings the motivational pendulum back to its AI origins in that it employs and further develops many AI principles and techniques such as hierarchical planning, knowledge representation in frames and control-ru
β¦ LIBER β¦
Knowledge-based planning systems: a tour
β Scribed by K Currie; B Drabble
- Publisher
- Elsevier Science
- Year
- 1992
- Tongue
- English
- Weight
- 789 KB
- Volume
- 10
- Category
- Article
- ISSN
- 0263-7863
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Knowledge-based proof planning
β
Erica Melis; JΓΆrg Siekmann
π
Article
π
1999
π
Elsevier Science
π
English
β 634 KB
Production planning knowledge-based syst
β
A. Artiba; C. Tahon
π
Article
π
1992
π
Elsevier Science
π
English
β 877 KB
A knowledge-based approach for facilitie
β
Bay Arinze; Avijit Banerjee
π
Article
π
1992
π
Elsevier Science
π
English
β 782 KB
Knowledge-based systems
π
Article
π
1986
π
Elsevier Science
π
English
β 106 KB
Knowledge engineering within integrated
β
F. Major; W. Grottke
π
Article
π
1987
π
Elsevier Science
π
English
β 313 KB
Hierarchical representation of problem-s
β
Dana S. Nau; Tien-Chien Chang
π
Article
π
1986
π
John Wiley and Sons
π
English
β 928 KB
In most frame-based reasoning systems, the information being manipulated is represented using frames, but the problem-solving knowledge that manipulates the frames is represented as production rules. One problem with this approach is that rules are not always a natural way to represent knowledge; an