Sentence examples for distributed reasoning from inspiring English sources

In this paper we describe a simple, distributed reasoning system for the first order logic.

The Distributed Constraint Optimization Problem (DCOP) is a promising approach for modeling distributed reasoning tasks that arise in multiagent systems.

Moreover, this research work discusses the potential and challenges for performing distributed reasoning in the private local automation cloud.

In order to address these problems, we consider distributed reasoning services for ontologies and rules with decidable and effective computation.

Second, no studies have focused on distributed reasoning services for integrating ontologies and rules in multiple knowledge bases.

We present a simple, distributed reasoning system for the first order logic, which applies a connection calculus as an inference method.

The distributed reasoner uses multichains parallel reasoning algorithm with two reasoning rule chains shown in Figure 4 (Chain 1 and Chain 2).

The performance of the platform can be significantly increased by employing a cache and by distributing the reasoning on the filter rules.

This provides for single-agent reasoning in terms of argument and counter-argument, and distributed non-monotonic reasoning in the form of dialogues between computational and/or human agents.

As Computational Intelligence (CI) techniques evolved, a number of frameworks emerged; such as Recognition-Primed Decision (RPD), Pro- cedural Reasoning System (PRS), Collaborative Agent for Simulating Teamwork (CAST), Adaptive Character of Thought– Rational (ACT-R), distributed Multi-Agent Reasoning System (dMars), State, Operator And Result (SOAR) and Java Agent Compiler and Kernel (JACK).

The article also includes a discussion of applying the framework to a realistic distributed case-based reasoning system.