Naslov
Reasoning about knowledge using Lattices and F-Logic

Autori
Meštrović, Ana ; Čubrilo, Mirko

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

Izvornik
Proceedings of 11th International Conference on Intelligent Engineering Systems / - Budimpešta, 2007, 291-296

ISBN
1-4244-1147-5

Skup
INES 2007, 11th International Conference on Intelligent Engineering Systems

Mjesto i datum
Budimpešta, Mađarska, 29.06.2007. - 01.07.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
F-logic; Lattices; Formal Concept Analysis

Sažetak
The paper describes knowledge reasoning using lattices in F-logic. The objective of this paper is to show that logic programming languages with second order syntax and with object oriented approach (HiLog + F-logic) provide adequate support for lattice representation and manipulation. A description on how lattices can be represented using F-logic formalism and some important rules for lattice manipulation are given. The theory of formal concept analysis is examined. The basic concepts are described and represented in F-logic. Rules necessary for generating the concept lattice are presented. Further, examples of lattice application for knowledge reasoning are described as reasoning about semantic context and concept analysis for query modification.

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti

POVEZANOST RADA