The compleat guide to MRS
Knowbel: A Hybrid Tool for Building Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
| Hi-index | 0.00 |
Epikit is a library of Common Lisp subroutines intended for use in the construction of programs that operate on databases encoded in Knowledge Interchange Format (KIF).The goals of Epikit are to provide a robust, portable, and efficient library of subroutines to support representation and reasoning methods based on Logic. The focus primarily is on first-order logic (FOL) with extensions to support meta-knowledge, i.e., knowledge about other expressions in the KIF language, and extensions to support the specification and interpretation of programs for intelligent control applications.