Files: | Description | Format |
Fulltext | PDF (requires Acrobat Reader) | |
Fulltext | PostScript (requires a PostScript Reader) | |
Authors: | Laurent Chaudron and Nicolas Maille | |
Article title: | 1st Order Logic Formal Concept Analysis: From Logic Programming to Theory | |
Publ. type: | Article | |
Volume: | 3 | |
Article No: | 13 | |
Language: | English | |
Abstract [en]: | In this paper, we analyze and define the introduction of 1st
order logic in Formal Concept Analysis (FCA); the aims are both theoretical
(as a complete model is needed) and applied (so as to improve expression
power of FCA as a knowledge mining tool and the relevance of its results).
Our contribution consists in: i) the implementation of classical FCA in logic programming and the analysis of real cases, ii) the design of a complete 1st order FCA model, iii) the implementation of this 1st order FCA. |
|
Publisher: | Linköping University Electronic Press | |
Year: | 1998 | |
Available: | 1998-09-23 | |
No. of pages: | 14 | |
Series: | Linköping Electronic Articles in Computer and Information Science | |
ISSN: | 1401-9841 |