Reasoning about knowledge using Lattices and F-Logic (CROSBI ID 531187)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Meštrović, Ana ; Čubrilo, Mirko
engleski
Reasoning about knowledge using Lattices and F-Logic
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.
F-logic; Lattices; Formal Concept Analysis
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
291-296-x.
2007.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of 11th International Conference on Intelligent Engineering Systems
Budimpešta:
1-4244-1147-5
Podaci o skupu
INES2007 11th International Conference on Intelligent Engineering Systems
predavanje
29.06.2007-01.07.2007
Budimpešta, Mađarska