Search Results for "fuzzy logic python"

A mostly MATLAB-compatible fuzzy logic toolkit for Octave. A complete function reference is located here: https://lmarkowsky.github.io/fuzzy-logic-toolkit/, and the official Octave documentation is here: https://www.octave.org/support If the function reference and Octave documentation do not address your questions or if you have comments, contact me at lmarkov@users.sourceforge.net.

AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic...

...It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines.

This collection of Python3 modules provides a large range of implemented decision aiding algorithms useful in the field of outranking digraphs based Multiple Criteria Decision Aid (MCDA), especially best choice, linear ranking and absolute or relative rating algorithms with multiple incommensurable criteria. Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs,...

Fuzzy Logic Tools (FLT) is a C++ framework for storage, analysis and design of fully general multiple-input multiple-output (MIMO) Takagi-Sugeno fuzzy control systems, without constraints in the order of either the inputs or the output vectors.

A python framework for fuzzy inference computations

pyfuzzy is a framework to work with fuzzy sets and process them with operations of fuzzy logic.

Python interface to ECLiPSe Constraint Logic Programming.

ntccKMC: A Kripke-structure-based linear-time-logic model checker for the Non-deterministic Timed Concurrent Constraint Programming (ntcc) calculus. Inspired by Jaime Arias' Python implementation and algorithms and Avispa's ntcc interpreter Developed by Mauricio Toro under Colciencia's React+ of the Avispa research group.

Nebular is a fuzzy logic API written in Java. It is written in pure Java and comprehends fuzzy logic, fuzzy sets and operations, fuzzy control, decision support, type 2 fuzzy logic and type 2 fuzzy intervals.

Hermetica is an educational tool for learning about logic. It functions partly as a proof checker with inline annotations. It will also support python scripting for automated subproofs and calculations. I would especially like help with the artwork.

Fuzzy logic add-in for OpenOffice.org Calc. InrecoLAN FuzzyMath allows to perform ordinary arithmetic operations and use ordinary mathematical and financial functions with fuzzy numbers. Have any ideas how to improve this project - you are welcome!

This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.

A fuzzy logic toolbox written in Java.

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.

mbFuzzIT enables the work with Fuzzy technology (fuzzy inference / fuzzy logic) in Java. In order to facilitate the creation of the inference mechanisms, mbFuzzIT containts a visual editor.

FLPD is an automatic learning system based on fuzzy prototypes, composed of a C++ library for machine learning and fuzzy logic and an experimentation framework.

Yet another Fuzzy Logic framework.