Handling Knowledge by its Representative
Chiaki Sakama and Hidenori Itoh
Proceedings of the 2nd International Conference on Expert Database
Systems (EDS'88), pages 551-565, Benjamin/Cummings Publishing Company, 1988.
This paper presents a method of handling knowledge by its representative
under the equivalence relation between literals in a Horn clause program.
This method enables us to deal uniformly with knowledge expressed
differently and to utilize knowledge dynamically in multiple worlds.
Full Paper (PDF 1054K)