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