Tractable subsets of first-order logic are a central topic in AI research. Several these formalisms have been used as the basis for probabilistic languages. However, intractable, losing original motivation. Here we propose first non-trivially tractable language. It is subset Markov logic, and uses class part hierarchies to control complexity. We call it TML (Tractable Logic). show that knowledg...

This book is a retrospective on universal logic in the 20th century. It gathers papers and book extracts in the spirit of universal logic from 1922 to 1996. Each of the 15 items is presented by a specialist explaining its origin, import and impact, supported by a bibliography of correlated works. Some of the pieces presented here, such as “Remarques sur les notions fondamentales de la méthodolo...

In this paper we address the possibilities, advantages and shortcomings of addressing different data-mining problems with the Inductive Functional Logic Programming (IFLP) paradigm. As a functional extension of the Inductive Logic Programming (ILP) approach, IFLP has all the advantages of the latter but the potential of a more natural representation language for classification, clustering and f...

The "global brain" is a metaphor for the intelligent network formed by the people of this planet together with the knowledge and communication technologies that connect them together. The different approaches leading up to this conception, by authors such as Spencer, Otlet, Wells, Teilhard, Russell and Turchin, are reviewed in their historical order. The contributions are classified in three ma...