crta
Hrvatska znanstvena Sekcija img
bibliografija
3 gif
 Naslovna
 O projektu
 FAQ
 Kontakt
4 gif
Pregledavanje radova
Jednostavno pretraživanje
Napredno pretraživanje
Skupni podaci
Upis novih radova
Upute
Ispravci prijavljenih radova
Ostale bibliografije
Slični projekti
 Bibliografske baze podataka

Pregled bibliografske jedinice broj: 311626

Zbornik radova

Autori: Meštrović, Ana; Čubrilo, Mirko
Naslov: Reasoning about knowledge using Lattices and F-Logic
( Reasoning about knowledge using Lattices and F-Logic )
Izvornik: Proceedings of 11th International Conference on Intelligent Engineering SystemsBudapest :
Skup: INES 2007, 11th International Conference on Intelligent Engineering Systems
Mjesto i datum: Budapest, Hungary, 29.06-01.07.2007.
Ključne riječi: F-logic; Lattices; Formal Concept Analysis
( 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.
Vrsta sudjelovanja: Predavanje
Vrsta prezentacije u zborniku: Cjeloviti rad (više od 1500 riječi)
Vrsta recenzije: Međunarodna recenzija
Projekt / tema: 016-0161741-1739, 009-0361935-0852
Izvorni jezik: eng
Kategorija: Znanstveni
Znanstvena područja:
Informacijske i komunikacijske znanosti
Upisao u CROSBI: Ana Meštrović (amestrovic@ffri.hr), 22. Stu. 2007. u 13:21 sati



Verzija za printanje   za tiskati


upomoc
foot_4