Search Results for "reasoning"
Sort By:
Showing 39 open source projects for "reasoning"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
1
AgentScope Java
Agent-Oriented Programming for Building LLM Applications
...It also supports human-in-the-loop intervention, allowing developers or users to inject guidance at any point during reasoning while preserving state and tool context. Built with enterprise needs in mind, AgentScope Java integrates into traditional Java stacks and provides structured abstractions for memory, workflows, and tool invocation. -
2
RuoYi AI
Enterprise AI platform for building, deploying, and managing apps
...RuoYi AI includes built-in support for retrieval-augmented generation, enabling organizations to create secure, private knowledge bases with high-accuracy search and reasoning capabilities. It also offers visual workflow orchestration tools that allow users to design complex AI pipelines, automate tasks, and coordinate multi-agent systems for advanced decision-making scenarios. In addition to backend capabilities, RuoYi AI includes frontend components and administrative dashboards built with modern web technologies, making it a complete end-to-end solution. -
3
MentDB Projects
Generalized Interoperability and Strong AI
...We eliminate data silos through a single, generalized data language. MentDB Strong (Strong AI / AGI): The framework for exploring and building Machine Consciousness, free will, and advanced ethical reasoning systems. Based on new-generation AI algorithms. -
4
AminePlatform
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine modules, and SYNERGY which is a visual activation/propagation based language. ... -
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
5
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
6
...In particular, it provides a general interface layer for doing research and working with different knowledge representation formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries for dealing with agents, multi-agent systems, and dialog systems for agents, as well as belief revision, preference reasoning, preference aggregation, and action languages. A series of utility libraries that deal with e.g. mathematical optimization complement the collection.
-
7
Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine is very flexible.
-
8
jCOLIBRI: an object-oriented framework in Java for building Case-Based Reasoning (CBR) systems. Supports Textual-CBR, Knowledge Intensive CBR with Description Logics reasoning through Ontologies, Web interfaces, evaluation of the generated applications,
-
9
... - Log4KR is a library providing data structures to represent knowledge bases in various logic formalisms (propositional, relational, conditional, probabilistic, ...) and providing algorithms to perform reasoning operations
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.
-
11
logmap-matcher
LogMap: An Ontology Alignment and Alignment Repair System
LogMap is a highly scalable ontology matching system with ‘built-in’ reasoning and inconsistency repair capabilities. LogMap extract mappings between classes, properties and instances. To the best of our knowledge, LogMap is one of the few matching systems that: 1. can efficiently match semantically rich ontologies containing tens (and even hundreds) of thousands of classes, 2. incorporates sophisticated reasoning and repair techniques to minimise the number of logical inconsistencies, and 3. provides support for user intervention during the matching process (see Web interface). -
12
Belief Reviser
Belief Revision via PS-Merge under constraints belief merging operator
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. ... -
13
-
14
DisChoco
DisChoco: Distributed Constraint Reasoning Solver
DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net -
15
SSWAP
Simple Semantic Web Architecture and Protocol
SSWAP (Simple Semantic Web Architecture and Protocol; pronounced "swap") is an architecture, protocol, and platform that uses reasoning to semantically integrate disparate data and services on the web. Running live at http://sswap.info. -
16
Swertia
Semantic Web Entailment Regime Translation and Inference Architecture
Swertia, the Semantic Web Entailment Regime Translation and Inference Architecture, is a generic Semantic Web reasoning framework that is based on first-order logic (FOL) reasoning. The goal is to provide reasoning support for all major Semantic Web reasoning standards, including RDF(S), OWL 2 (Direct Semantics, RDF-Based Semantics, OWL 2 RL/RDF rules), SWRL, RIF (RIF BLD, RIF Core, RIF+RDF and RIF+OWL combinations), and Common Logic. Available reasoning methods are entailment checking, consistency checking and query answering in the form of SPARQL entailment regimes. ... -
17
IsaPlanner is a collection of reasoning tools: a proof planner for Isabelle, implementing a Rippling based inductive theorem prover; theory synthesis tools for Isabelle; an open-graph based tool for reasoning about quantum information (quantomatic);
-
18
OpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and reasoning engine. A new release with even more content, better performance, and improved reliability will be up shortly.
-
19
“Neurology Diagnosis System” is a web-based expert system for diagnosis of neurologic disorders or the disorders of our nervous system. Health assistants in remote areas can use the system to diagnose neurologic patients in the absence of neurolo
-
20
Modular version of FAtiMA Agent Architecture. FAtiMA is an Autonomous Agent Architecture with reactive and BDI based deliberative behaviour and with emotions and reasoning capabilities.
-
21
nu-BDI is an extension of the Jason agent interpreter aimed at processing norms using constraints on the agent's instantiated plans. The core agent reasoning cycle now includes a component for processing norms and enforcing norm constraints.
-
22
-
23
DLPlan is an open-source planner implemented in Java that uses Semantic Web standard technologies for knowledge representation and reasoning.
-
24
Projeny (Probablistic Networks Generator in Java) is a graphical (Java SWT) front-end to BNT (Bayes Net Toolbox for Matlab). Projeny requires BNT, JMatLink and a Matlab back-end. There is no installable release package, but source code is available on SVN - please check out from SVN to use Projeny. Projeny was started with BNJ as the base.
-
25
OO jDREW is an open source deductive reasoning engine for the RuleML web rule language. OO jDREW implements the object oriented extensions to RuleML which include: Order Sorted Types, Slots, and Object identifiers.