Search Results for "logic analysis" - Page 2

Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of...

The openai/evals repository is a framework and registry for evaluating large language models and systems built with LLMs. It’s designed to let you define “evals” (evaluation tasks) in a structured way and run them against different models or agents, with the ability to score, compare, and analyze results. The framework supports templated YAML eval definitions, solver-based evaluations, custom metrics, and composition of multi-step evaluations. It includes utilities and APIs to plug in...

DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB), demonstration notebooks, prompt templates, and evaluation results on math benchmarks. The goal is to push DeepSeek’s performance in domains that require rigorous symbolic steps, calculus, linear algebra, number...

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.

This is a tutorial, the purpose is to introduce the basic knowledge and modeling methods of machine translation systematically, and on this basis, discuss some cutting-edge technologies of machine translation (formerly known as "Machine Translation: Statistical Modeling and Deep Learning") method"). Its content is compiled into a book, which can be used for the study of senior undergraduates and graduate students in computer and artificial intelligence related majors, and can also be used as...

...It was built as an experimental bot that captures phone screenshots, analyzes visible content, and performs automated app actions. The project uses Python and ADB to connect desktop-side logic with a mobile device. Its original goal was playful and experimental, focused on browsing and identifying content based on computer vision and face analysis. It is best understood as a demonstration of app automation, screen capture, API-based image analysis, and scripted mobile interaction. Its main value is showing how Python can orchestrate a phone app workflow by combining ADB, screenshots, recognition logic, and automated gestures.

Alchemy is a software package providing a series of algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation.

PHP Business Rules is an open source application layer for PHP. The logic is defined in rules and facts. Like most Business Rule Engines (BRE) it uses the Rete algorithm.

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!

The Citizen Privacy Service is an asynchronous component using artificial intelligence capabilities including DL decidability and first order logic provenance that provide policy decision and policy enforcement points based on the US Privacy Act of 1974.

Toolkit for implementing question answering systems and machine translation in both controlled languages and natural languages. Includes first order logic inference, parsing and semantic analysis, and APIs and standalone server software. Currently some t

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.

Reputation Sentinel OS v3.0: Autonomous Brand Defense Infrastructure Sentinel OS v3.0 is a sovereign AI framework for brand protection and automated response. Built on n8n with a massive 1,500+ logic nodes architecture, it offers depth and privacy far beyond traditional SaaS. Total Data Sovereignty: Unlike expensive monthly platforms, Sentinel OS runs on your own infrastructure. You own your data and your brand's defense. Key Capabilities: Omni-Channel: 24/7 autonomous tracking across X, YouTube, and Telegram. Deep AI Analysis: Surgical sentiment detection (sarcasm, threats, urgency) via local or cloud AI models. ...