Repozytorium publikacji - Politechnika Gdańska

We present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the method can drastically reduce the time of inferencing, enabling our reasoner to efficiently work with modular knowledge bases embracing several dozens of modules, even in the presence of cyclic interrelationships between them.

Autorzy

• prof. dr hab. inż. Krzysztof Goczyła link otwiera się w nowej karcie ,
• mgr inż. Aleksander Waloszek link otwiera się w nowej karcie ,
• dr inż. Wojciech Waloszek link otwiera się w nowej karcie