𝔖 Bobbio Scriptorium
✦   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

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

Knowledge-based systems
πŸ“‚ Article πŸ“… 1986 πŸ› Elsevier Science 🌐 English βš– 106 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