DeepAI AI Chat
Log In Sign Up

The Inductive Logic of Information Systems

03/27/2013
by   Norman C. Dalkey, et al.
0

An inductive logic can be formulated in which the elements are not propositions or probability distributions, but information systems. The logic is complete for information systems with binary hypotheses, i.e., it applies to all such systems. It is not complete for information systems with more than two hypotheses, but applies to a subset of such systems. The logic is inductive in that conclusions are more informative than premises. Inferences using the formalism have a strong justification in terms of the expected value of the derived information system.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 7

07/14/2014

Imparo is complete by inverse subsumption

In Inverse subsumption for complete explanatory induction Yamamoto et al...
02/02/2018

Infinitary and Cyclic Proof Systems for Transitive Closure Logic

We formulate an infinitary proof system for transitive closure logic, wh...
12/21/2021

Preprocessing in Inductive Logic Programming

Inductive logic programming is a type of machine learning in which logic...
07/16/2021

Countability of Inductive Types Formalized in the Object-Logic Level

The set of integer number lists with finite length, and the set of binar...
06/15/2019

Efficient predicate invention using shared "NeMuS"

Amao is a cognitive agent framework that tackles the invention of predic...
02/25/2014

Inductive Logic Boosting

Recent years have seen a surge of interest in Probabilistic Logic Progra...
07/09/2018

AI Reasoning Systems: PAC and Applied Methods

Learning and logic are distinct and remarkable approaches to prediction....