engleski

Modality Using Prolog-Like Language of Higher Order Sintax

In the last few years, modalities in logic got a new dimension. They became very useful in artificial intelligence, and, what is a special interest of this paper, in knowledge representation. There are many ways to represent modalities in a formal logic, and one of the most common is representation through the modal logic. Recently there have been some doubts about how much the modal logic is appropriate for the representation of modalities, and, especially, for the knowledge representation. There are two different opinions about this topic, given in {5} and {9}. In this paper we shall try to represent modalities without using the modal logic, and, what is even more important, by using the logic that is implemented as a programming language - HiLog. It will be shown that this representation of modalities solves some of the problems that are described in (5).

nije evidentirano

nije evidentirano