This paper reports on the development of a new hybrid architecture that integrates Learning Classifier Systems (LCS) with Rete-based production systems inference engine to improve the performance of the process of compacting LCS generated rules. While LCS is responsible for generating a complete ruleset from a given breast cancer pathological data-set, an adapted Rete-based inference engine has...

Business .ems =':'ynd Monegemen' Most AI systems are effective either for inference or for acting/planning but not for both. The SNePS BDI Tec'-nOIogy architecture uses propositional semantic network representations of beliefs, goals, acts, plans, and a representational 'f concept called transformers. Transformers help capture a unified approach to acting and inference. They can be ,Olio, used ...

The emergence of highly parallel computing platforms is enabling new trade-offs in algorithm design for automatic speech recognition. It naturally motivates the following investigation: do the most computationally efficient sequential algorithms lead to the most computationally efficient parallel algorithms? In this paper we explore two contending recognition network representations for speech ...

The inference rule semi-resolution is introduced and shown to be complete for ground CNF formulas. It can be employed in a connection-graph setting, and preservation of the spanning property is shown to hold when activated links are deleted. Potential advantages from the employment of semi-resolution as the inference engine in prime implicate computations are brieey discussed .

A systolic array implementation of a general-purpose inference processor is presented. The proposed processor can be used as a building block in the inference engine of an expert system or in a rule-based controller where computational speed is of importance.

ProbLog is a recently introduced probabilistic extension of Prolog. The key contribution of this paper is that we extend ProbLog with abilities to specify continuous distributions and that we show how ProbLog’s exact inference mechanism can be extended to cope with such distributions. The resulting inference engine combines an interval calculus with a dynamic discretization algorithm into an ef...

The objective of this article is to study the problem of generating implications with negation when only a set of purely positive implications related to a formal context K = (G,M, I) is provided. To that end, we define a sound and complete inference system which includes a characterization of implications whose left-hand side is a key in the context K|K̃ representing the apposition of the conte...

We extend our framework of incremental proof planning. By employing nested sets of metarules the formulation of strategies may be structured. By switching to another metarule set the planner can adjust to a new situation within the proof. The new metarule set represents a more specialized strategy better suited for the current situation. We deene the semantics of our framework by an inference s...

To help users better understand the potential risks associated with publishing data publicly, and the types of data that can be inferred by combining data from multiple online sources, we introduce a novel information exposure detection framework that generates and analyzes the web footprints users leave across the social web. We propose to use probabilistic operators, free text attribute extra...