Gradience, Constructions and Constraint Systems

Analyzing fractional Horn constraint systems

Theoretical Computer Science ◽

10.1016/j.tcs.2020.08.012 ◽

2020 ◽

Vol 844 ◽

pp. 142-153

Author(s):

Piotr Wojciechowski ◽

R. Chandrasekaran ◽

K. Subramani

Keyword(s):

Constraint Systems

Download Full-text

NENOK — A SOFTWARE ARCHITECTURE FOR GENERIC INFERENCE

International Journal of Artificial Intelligence Tools ◽

10.1142/s0218213010000042 ◽

2010 ◽

Vol 19 (01) ◽

pp. 65-99 ◽

Cited By ~ 6

Author(s):

MARC POULY

Keyword(s):

Programming Languages ◽

Software Library ◽

Inference Process ◽

Software Projects ◽

Open Problems ◽

Constraint Systems ◽

Fast Prototyping ◽

Inference Algorithms ◽

Key Competences ◽

High Level

Computing inference from a given knowledgebase is one of the key competences of computer science. Therefore, numerous formalisms and specialized inference routines have been introduced and implemented for this task. Typical examples are Bayesian networks, constraint systems or different kinds of logic. It is known today that these formalisms can be unified under a common algebraic roof called valuation algebra. Based on this system, generic inference algorithms for the processing of arbitrary valuation algebras can be defined. Researchers benefit from this high level of abstraction to address open problems independently of the underlying formalism. It is therefore all the more astonishing that this theory did not find its way into concrete software projects. Indeed, all modern programming languages for example provide generic sorting procedures, but generic inference algorithms are still mythical creatures. NENOK breaks a new ground and offers an extensive library of generic inference tools based on the valuation algebra framework. All methods are implemented as distributed algorithms that process local and remote knowledgebases in a transparent manner. Besides its main purpose as software library, NENOK also provides a sophisticated graphical user interface to inspect the inference process and the involved graphical structures. This can be used for educational purposes but also as a fast prototyping architecture for inference formalisms.

Download Full-text