On the optimal inductive inference scheme from the view point of source coding

Toshiyasu Matsushima, Joe Suzuki, Hiroshige Inazumi, Shigeichi Hirasawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Summary form only given, as follows. Inference of predicate logic, which is widely used for representation of knowledge in artificial intelligence (AI) systems, is discussed from the viewpoints of source coding and decision theory. Since inference in logic can be regarded as some kind of information transformation, an analogy between inference and source coding can be observed. Inductive inference is regarded as source encoding, because observed facts or examples are compressed into an axiom similar to the compression of a source sequence into a code word. On the other hand, deductive inference is interpreted as decoding. From the viewpoint of decision theory, inductive inference is regarded as the decision problem selecting the collect axiom which represents an observing world. A new inductive inference scheme which induces the minimum Bayes risk is proposed. A method for selecting the axiom which represents the finite observed facts by the minimum description length code is shown.

Original languageEnglish
Title of host publication1990 IEEE Int Symp Inf Theor
Place of PublicationPiscataway, NJ, United States
PublisherPubl by IEEE
Pages101
Number of pages1
Publication statusPublished - 1990
Externally publishedYes
Event1990 IEEE International Symposium on Information Theory - San Diego, CA, USA
Duration: 1990 Jan 141990 Jan 19

Other

Other1990 IEEE International Symposium on Information Theory
CitySan Diego, CA, USA
Period90/1/1490/1/19

Fingerprint

Decision theory
Artificial intelligence
Decoding

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Matsushima, T., Suzuki, J., Inazumi, H., & Hirasawa, S. (1990). On the optimal inductive inference scheme from the view point of source coding. In 1990 IEEE Int Symp Inf Theor (pp. 101). Piscataway, NJ, United States: Publ by IEEE.

On the optimal inductive inference scheme from the view point of source coding. / Matsushima, Toshiyasu; Suzuki, Joe; Inazumi, Hiroshige; Hirasawa, Shigeichi.

1990 IEEE Int Symp Inf Theor. Piscataway, NJ, United States : Publ by IEEE, 1990. p. 101.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Matsushima, T, Suzuki, J, Inazumi, H & Hirasawa, S 1990, On the optimal inductive inference scheme from the view point of source coding. in 1990 IEEE Int Symp Inf Theor. Publ by IEEE, Piscataway, NJ, United States, pp. 101, 1990 IEEE International Symposium on Information Theory, San Diego, CA, USA, 90/1/14.
Matsushima T, Suzuki J, Inazumi H, Hirasawa S. On the optimal inductive inference scheme from the view point of source coding. In 1990 IEEE Int Symp Inf Theor. Piscataway, NJ, United States: Publ by IEEE. 1990. p. 101
Matsushima, Toshiyasu ; Suzuki, Joe ; Inazumi, Hiroshige ; Hirasawa, Shigeichi. / On the optimal inductive inference scheme from the view point of source coding. 1990 IEEE Int Symp Inf Theor. Piscataway, NJ, United States : Publ by IEEE, 1990. pp. 101
@inproceedings{b2a3060a78ed4834b720c69d71795680,
title = "On the optimal inductive inference scheme from the view point of source coding",
abstract = "Summary form only given, as follows. Inference of predicate logic, which is widely used for representation of knowledge in artificial intelligence (AI) systems, is discussed from the viewpoints of source coding and decision theory. Since inference in logic can be regarded as some kind of information transformation, an analogy between inference and source coding can be observed. Inductive inference is regarded as source encoding, because observed facts or examples are compressed into an axiom similar to the compression of a source sequence into a code word. On the other hand, deductive inference is interpreted as decoding. From the viewpoint of decision theory, inductive inference is regarded as the decision problem selecting the collect axiom which represents an observing world. A new inductive inference scheme which induces the minimum Bayes risk is proposed. A method for selecting the axiom which represents the finite observed facts by the minimum description length code is shown.",
author = "Toshiyasu Matsushima and Joe Suzuki and Hiroshige Inazumi and Shigeichi Hirasawa",
year = "1990",
language = "English",
pages = "101",
booktitle = "1990 IEEE Int Symp Inf Theor",
publisher = "Publ by IEEE",

}

TY - GEN

T1 - On the optimal inductive inference scheme from the view point of source coding

AU - Matsushima, Toshiyasu

AU - Suzuki, Joe

AU - Inazumi, Hiroshige

AU - Hirasawa, Shigeichi

PY - 1990

Y1 - 1990

N2 - Summary form only given, as follows. Inference of predicate logic, which is widely used for representation of knowledge in artificial intelligence (AI) systems, is discussed from the viewpoints of source coding and decision theory. Since inference in logic can be regarded as some kind of information transformation, an analogy between inference and source coding can be observed. Inductive inference is regarded as source encoding, because observed facts or examples are compressed into an axiom similar to the compression of a source sequence into a code word. On the other hand, deductive inference is interpreted as decoding. From the viewpoint of decision theory, inductive inference is regarded as the decision problem selecting the collect axiom which represents an observing world. A new inductive inference scheme which induces the minimum Bayes risk is proposed. A method for selecting the axiom which represents the finite observed facts by the minimum description length code is shown.

AB - Summary form only given, as follows. Inference of predicate logic, which is widely used for representation of knowledge in artificial intelligence (AI) systems, is discussed from the viewpoints of source coding and decision theory. Since inference in logic can be regarded as some kind of information transformation, an analogy between inference and source coding can be observed. Inductive inference is regarded as source encoding, because observed facts or examples are compressed into an axiom similar to the compression of a source sequence into a code word. On the other hand, deductive inference is interpreted as decoding. From the viewpoint of decision theory, inductive inference is regarded as the decision problem selecting the collect axiom which represents an observing world. A new inductive inference scheme which induces the minimum Bayes risk is proposed. A method for selecting the axiom which represents the finite observed facts by the minimum description length code is shown.

UR - http://www.scopus.com/inward/record.url?scp=0025628156&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025628156&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0025628156

SP - 101

BT - 1990 IEEE Int Symp Inf Theor

PB - Publ by IEEE

CY - Piscataway, NJ, United States

ER -