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)