Package: fcaR 2.1.1

Domingo Lopez Rodriguez

fcaR: Formal Concept Analysis

Provides tools to perform fuzzy formal concept analysis, presented in Wille (1982) <doi:10.1007/978-3-642-01815-2_23> and in Ganter and Obiedkov (2016) <doi:10.1007/978-3-662-49291-8>. It provides functions to load and save a formal context, extract its concept lattice and implications. In addition, one can use the implications to compute semantic closures of fuzzy sets and, thus, build recommendation systems. Boolean Matrix Factorization (BMF) is provided by several algorithms (such as GreConD, ASSO, RSF, RSF-ES, GreEss, PaNDa+, and Hyper+).

Authors:Domingo Lopez Rodriguez [aut, cre], Angel Mora [aut]

fcaR_2.1.1.tar.gz
fcaR_2.1.1.zip(r-4.7-x86_64)fcaR_2.1.1.zip(r-4.7-arm64)fcaR_2.1.1.zip(r-4.6-x86_64)fcaR_2.1.1.zip(r-4.6-arm64)fcaR_2.1.1.zip(r-4.5-x86_64)
fcaR_2.1.1.tgz(r-4.6-x86_64)fcaR_2.1.1.tgz(r-4.6-arm64)fcaR_2.1.1.tgz(r-4.5-x86_64)fcaR_2.1.1.tgz(r-4.5-arm64)
fcaR_2.1.1.tar.gz(r-4.7-arm64)fcaR_2.1.1.tar.gz(r-4.7-x86_64)fcaR_2.1.1.tar.gz(r-4.6-arm64)fcaR_2.1.1.tar.gz(r-4.6-x86_64)
manual.pdf |manual.html✨
DESCRIPTION |NEWS
card.svg |card.png
fcaR/json (API)

# Install 'fcaR' in R:
install.packages('fcaR', repos = c('https://malaga-fca-group.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/malaga-fca-group/fcar/issues

Pkgdown/docs site:https://neuroimaginador.github.io

Uses libs:
  • c++– GNU Standard C++ Library v3
Datasets:
  • cobre32 - Data for Differential Diagnosis for Schizophrenia
  • cobre61 - Data for Differential Diagnosis for Schizophrenia
  • guesswho - Data for Guess Who Board Game
  • planets - Planets data
  • vegas - Data for Tourist Destination in Las Vegas

On CRAN:

Conda:

formal-concept-analysiscpp

8.34 score 10 stars 124 scripts 602 downloads 48 exports 48 dependencies

Last updated from:0c1a5c2298. Checks:14 OK, 1 FAIL. Indexed: yes.

TargetResultTimeFilesSyslog
linux-devel-arm64OK292
linux-devel-x86_64OK337
source / vignettesOK503
linux-release-arm64OK289
linux-release-x86_64OK268
macos-release-arm64OK349
macos-release-x86_64OK570
macos-oldrel-arm64OK271
macos-oldrel-x86_64OK527
windows-devel-arm64OK561
windows-devel-x86_64OK405
windows-release-arm64OK485
windows-release-x86_64OK369
windows-oldrel-x86_64OK272
wasm-releaseFAIL171

Exports:%-%%&%%<=%%==%%|%%~%%entails%%holds_in%%respects%as_Setas_vectorattribute_setBondLatticebondscalculate_gradescalculate_separationConceptConceptLatticeconceptRegistryConceptSetcontext_from_jsonequal_implicationsequivalencesRegistryfcaR_optionsfetch_contextfind_causal_rulesFormalContextget_fcarepository_contextsimplications_from_jsonImplicationSetis_bonditerative_recommenderlattice_from_jsonlattice_plotobject_setparse_implicationsprint_repo_detailsRandomContextRandomDistributiveContextrandomize_contextrecommendation_tablerules_from_jsonRuleSetrun_fcaRvizsave_tikzscalingRegistryselect_repository_contextSet

Dependencies:base64encBHbslibcachemclicommonmarkcpp11digestdplyrfastmapfontawesomefsgenericsgluehtmltoolshttpuvjquerylibjsonlitelaterlatticelifecyclemagrittrMatrixmemoisemimeotelpillarpkgconfigpromisespurrrR6rappdirsRcppregistryrlangsasssettingsshinysourcetoolsstringistringrtibbletidyrtidyselectutf8vctrswithrxtable

Creating Formal Contexts in fcaR
1. Creating from R Data Structures | From a matrix | From a data frame | 2. Importing from Local Files | CXT Format (.cxt) | CSV Files (.csv) | 3. Fetching from the FCA Repository | Browsing the Repository | Downloading a Specific Context | 4. Interactive Use: The RStudio Addin | How to Launch It | What Does the Addin Do? | Summary of Methods
Rendered fromcreating_contexts.Rmdusingknitr::rmarkdown

Last update: 2026-07-13
Started: 2025-11-19

Matrix Factorization
Introduction | 1. Boolean Matrix Factorization with GreConD | Dataset Creation | Performing Factorization | Interpreting the Factors | The Object-Factor Matrix ($A$) | The Factor-Attribute Matrix ($B$) | 2. Rice-Siff Factorization (RSF and RSF-ES) | RSF with Early Stopping (RSF-ES) | Performing RSF Factorization | 3. Other Algorithms: ASSO | Acknowledgments | References
Rendered frommatrix_factorization.Rmdusingknitr::rmarkdown

Last update: 2026-07-10
Started: 2025-11-17

Lattice properties
Introduction | 1. Checking lattice properties | Understanding the properties | Example: A non-distributive lattice ($M_3$) | 2. Arrow Relations
Rendered fromlattice_properties.Rmdusingknitr::rmarkdown

Last update: 2026-03-26
Started: 2025-11-28

Working with Bonds
Introduction | Computing Bonds | Computation Methods | The BondLattice Object | Visualization | Extracting Bonds | The Core Bond | Verifying Bonds | Similarity and Complexity Metrics | Order-Theoretic Properties | Summary
Rendered frombonds.Rmdusingknitr::rmarkdown

Last update: 2026-03-11
Started: 2026-03-09

Using FormalContexts and ConceptLattices
Introduction | Datasets | Working with Formal Contexts | Plotting, printing and latex-ing the FormalContext | Importing a Formal Context from File | Dual Formal Context | Closures | Clarification and Reduction | Extracting Implications and Concepts | Protoconcepts | Standard Context | Saving and loading | Concept Lattice | Plot, print and LaTeX | Getting all extents, intents and retrieving concepts | Concept support | Sublattices | Subconcepts, superconcepts, infimum and supremum | Join- and meet- irreducible elements
Rendered fromconcept_lattice.Rmdusingknitr::rmarkdown

Last update: 2026-02-17
Started: 2019-12-14

Working with ImplicationSets
Introduction | Datasets | Extraction of the canonical basis of implications | Validity of implications | Cardinality, size and support of the implication set | Export to LaTeX | Filtering of implications | Simplification Logic | Entailment and equivalence of implications | Standard Context | Recommendation systems
Rendered fromimplications.Rmdusingknitr::rmarkdown

Last update: 2026-02-17
Started: 2020-01-07

JSON Export and Import
Setup | FormalContext | Creating and Exporting | Importing | Recursive Export | ConceptLattice | ImplicationSet | RuleSet | Summary
Rendered fromjson_export_import.Rmdusingknitr::rmarkdown

Last update: 2026-02-12
Started: 2026-02-12

Conceptual Scaling
Introduction and Motivation | Types of Scaling | Nominal scaling | Ordinal scaling | Interordinal scaling | Biordinal scaling | Interval scaling | Scaling in fcaR | Available scales | Applying scales | Scale contexts | Background knowledge | Concepts and implications | Another example
Rendered fromconceptual-scaling.Rmdusingknitr::rmarkdown

Last update: 2026-02-11
Started: 2021-03-16

Mining Causal Association Rules
Introduction | The Approach | Example 1: Direct Causality | Example 2: Simpson's Paradox (Spurious Correlation) | Conclusion
Rendered fromcausal.Rmdusingknitr::rmarkdown

Last update: 2026-02-10
Started: 2026-02-10

Data Manipulation with fcaR and dplyr
Introduction | Setup | Part 1: Context Manipulation | 1.1 Renaming and Feature Engineering | 1.2 Filtering and Selecting | Part 2: Mining and Filtering Implications | 2.1 Filtering by Metrics | 2.2 Semantic Filtering | 2.3 Complex Pipelines | Conclusion
Rendered fromfcaR_dplyr.Rmdusingknitr::rmarkdown

Last update: 2026-01-19
Started: 2026-01-19

Advanced Random Contexts
Introduction | 1. Dirichlet Distribution for Realistic Data | 2. Randomization via Edge Swapping | 3. Generating Distributive Lattices
Rendered fromrandom_contexts.Rmdusingknitr::rmarkdown

Last update: 2025-11-28
Started: 2025-11-21

Advanced lattice metrics
Introduction | Stability | Separation | Fuzzy density | Putting it all together
Rendered fromadvanced_lattice_metrics.Rmdusingknitr::rmarkdown

Last update: 2025-11-19
Started: 2025-11-19

Fuzzy formal concept analysis
Introduction | 1. Creating a fuzzy formal context | 2. Fuzzy logics and operators | Available logics | Changing the logic | 3. Mining fuzzy concepts | 4. Visualization | 5. Fuzzy implications | Support and confidence | 6. Fuzzy closure and recommendation | Summary of formulas
Rendered fromfuzzy_fca.Rmdusingknitr::rmarkdown

Last update: 2025-11-19
Started: 2025-11-19

Visualizing concept lattices: from R to LaTeX
1. Standard visualization | Layout algorithms | 1. Sugiyama layout (layered) | 2. Force-directed layout (organic) | 2. Labeling modes | Reduced labeling | Full labeling | Empty (structure only) | 3. Exporting to LaTeX (TikZ) | Saving to a file | How to use it in LaTeX
Rendered fromlattice_visualization.Rmdusingknitr::rmarkdown

Last update: 2025-11-19
Started: 2025-11-19

Extending fcaR: Equivalence Rules for Implications
Introduction | The Registry | Use of the Rules | Definition of New Equivalence Rules | An Example
Rendered fromextending_equivalence.Rmdusingknitr::rmarkdown

Last update: 2025-09-26
Started: 2020-07-18

Integration with the arules package
Introduction | Datasets | Converting between formal contexts and transactions objects | Importing a transactions object | Exporting a FormalContext | Converting between implication sets and rules objects | Importing rules as an implication set | Exporting ImplicationSets to rules format | Final considerations
Rendered fromarules.Rmdusingknitr::rmarkdown

Last update: 2025-09-26
Started: 2020-01-07

Readme and manuals

Help Manual

Help pageTopics
Difference in Sets%-%
Intersection (Logical AND) of Fuzzy Sets%&%
Partial Order in Sets and Concepts%<=%
Equality in Sets and Concepts%==%
Equivalence of sets of implications%~%
Entailment between implication sets%entails%
Implications that hold in a Formal Context%holds_in%
Union (Logical OR) of Fuzzy Sets%or% %|%
Check if Set or FormalContext respects an ImplicationSet%respects%
Convert Named Vector to Setas_Set
Convert Set to vectoras_vector
Build an attribute 'Set' from namesattribute_set
R6 class for a Bond LatticeBondLattice
Compute bonds between two formal contextsbonds
Compute bonds via MCIS (backtracking on pre-computed concepts)bonds_mcis
Compute bonds via standard implication-based methodbonds_standard
Calculate Fuzzy Densitycalculate_density
Calculate Concept Grades (Levels)calculate_grades
Calculate Concept Separationcalculate_separation
Calculate Concept Stabilitycalculate_stability
Data for Differential Diagnosis for Schizophreniacobre32
Data for Differential Diagnosis for Schizophreniacobre61
Compute Labels and Colors for Lattice Nodescompute_labels_and_colors
R6 class for a fuzzy concept with sparse internal representationConcept
R6 class for a concept latticeConceptLattice
Concept Miners RegistryconceptRegistry
R6 class for a set of conceptsConceptSet
Import FormalContext from JSONcontext_from_json
dplyr verbs for RuleSetarrange.RuleSet dplyr_rules
dplyr verbs for FormalContextdplyr_verbs select.FormalContext
Equality of sets of implicationsequal_implications
Equivalence Rules RegistryequivalencesRegistry
Export Layout to TikZ (LaTeX)export_to_tikz
Set or get options for fcaRfcaR_options
Fetch a Formal Context from the FCA Repositoryfetch_context
Causal Association Rulesfind_causal_rules
R6 class for a formal contextFormalContext
Get Metadata from the FCA Repositoryget_fcarepository_contexts
Data for Guess Who Board Gameguesswho
Import ImplicationSet from JSONimplications_from_json
R6 class for an Implication SetImplicationSet
Verify if a relation is a bond between two formal contextsis_bond
Iterative closure recommender (Simplification Logic)iterative_recommender
Import ConceptLattice from JSONlattice_from_json
Plot Concept Latticelattice_plot
Build an object 'Set' from namesobject_set
Parses a string into an implicationparse_implication
Parses several implications given as a stringparse_implications
Planets dataplanets
Print Details of Repository Contextsprint_repo_details
Print TikZ Codeprint.tikz_code
Generate Random Formal ContextsRandomContext
Generate a Random Distributive ContextRandomDistributiveContext
Randomize an Existing Formal Contextrandomize_context
Pretty table of recommendation scoresrecommendation_table
Import RuleSet from JSONrules_from_json
R6 class for a Rule SetRuleSet
Launch the fcaRviz Interactive Viewerrun_fcaRviz
Save TikZ Code to Filesave_tikz
Scaling RegistryscalingRegistry
GUI to select and download a context from the repositoryselect_repository_context
R6 class for a fuzzy set with sparse internal representationSet
Data for Tourist Destination in Las Vegasvegas