Naslov
Modality Using Prolog-Like Language of Higher Order Sintax

Autori
Lovrenčić, Alen

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of 4th IEEE Conference on Intelligent Engineering Systems, INES 2000 / Leon Žlajpah, Imre J. Rudas - Portorož : Institute "Jožef Stefan", 2000, 361-364

Skup
IEEE Conference on Intelligent Engineering Systems, INES 2000

Mjesto i datum
Portorož, Slovenija, 17.09.2000. - 19.09.2000

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Sažetak
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).

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA