Search Results for "rule engine"

...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 deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.

This is a high-performance, production-tested library for parsing and evaluating robots.txt rules against crawler user agents. It implements the core semantics of the Robots Exclusion Protocol: user-agent sections, Allow/Disallow directives, wildcard handling, and precedence rules. The code is optimized for speed and low memory so large crawls can evaluate millions of URLs quickly. It also focuses on correctness—edge cases like overlapping patterns and longest-match resolution are handled...

Apertium is a toolbox to build open-source shallow-transfer machine translation systems, especially suitable for related language pairs: it includes the engine, maintenance tools, and open linguistic data for several language pairs.

...This application provides a web-based tool to design plasmids, artificial gene networks, and other synthetic genetic systems composed of standard genetic parts. It includes a parts management system, a rule-based design tool, and a simulation engine. This project has morphed into a SaaS model. The open source code is no longer maintained.

IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.

This project develops a web-based (JSP) Fuzzy Rule-Based Expert System for analyzing ECG (electro cardio gram) signals & diagnosing Tachi-Arrhythmias. Proj. main blocks: inference engine, knowledgebase, KB editor, explanation, and feature extraction.

Java Expert Rule Based Inference Language. Jerbil is an open source rule processing engine written in Java. Currently Jerbil supports a full set of processing functions with text-based and XML interfaces; a Java interface is planned.

JRete is a rule engine written in Java. Advantages over other expert system shell and artificial intelligence(AI) API - code rules in java language, data may compute accross network with multiple JRete, auto data persistence to database, event-fire direc

AutoSummary uses Natural Language Processing to generate a contextually-relevant synopsis of plain text. It uses statistical and rule-based methods for part-of-speech tagging, word sense disambiguation, sentence deconstruction and semantic analysis.

This project provides an "embedded expert system", i.e. a limited ability inference engine, with a demo rule set, taken from the field of X-ray Photoelectron Spectroscopy.

Contextual rule-based text normalization engine written in java, that can be used to implement stemming algorithms or phonetic normalizers. The project includes a french stemmer/phonetic normalizer, and a soundex implementation. Includes a Lucene Analyzer

...Additionally it should be able to express the workflows that have to be conducted within the helping wizards. After all, it should be automatically or semi automatically executable by a rule engine.