Javascript must be enabled to continue!
Kouichi Hirata
View through CrossRef
Abstract
Abduction is a methodology of scientific inquiry. Peirce showed three types of abduction, and expressed them by one syllogism. In computer science, especially in the fields of automated reasoning and machine learning, various researches on abduction or abductive logic have been developed. In order to systematically understand such researches and to clearly discuss abduction, this paper classifies abduction into five types. This new classification is based on an interpretation of the syllogism in abduction and the definitions of hypotheses. We examine various researches on abduction so far developed and show that many researches on abduction can be placed in our classification. Furthermore, we discuss the most essential type of abduction in our classification for logic programming and default logic, and describe Prolog programs for abduction.
Title: Kouichi Hirata
Description:
Abstract
Abduction is a methodology of scientific inquiry.
Peirce showed three types of abduction, and expressed them by one syllogism.
In computer science, especially in the fields of automated reasoning and machine learning, various researches on abduction or abductive logic have been developed.
In order to systematically understand such researches and to clearly discuss abduction, this paper classifies abduction into five types.
This new classification is based on an interpretation of the syllogism in abduction and the definitions of hypotheses.
We examine various researches on abduction so far developed and show that many researches on abduction can be placed in our classification.
Furthermore, we discuss the most essential type of abduction in our classification for logic programming and default logic, and describe Prolog programs for abduction.
Related Results
KAJIAN STILISTIKA DALAM NOVEL SANG PEMIMPI KARYA ANDREA HIRATA (THE STUDY OF STYLISTICS IN SANG PEMIMPI NOVEL WRITTEN BY ANDREA HIRATA)
KAJIAN STILISTIKA DALAM NOVEL SANG PEMIMPI KARYA ANDREA HIRATA (THE STUDY OF STYLISTICS IN SANG PEMIMPI NOVEL WRITTEN BY ANDREA HIRATA)
AbstractThe Study of Stylistics in Sang Pemimpi Novel Written by Andrea Hirata. The study of stylists in thenovel of Sang Pemimpi of Andrea Hirata presents an excellent story about...
NILAI MORAL DALAM NOVEL ORANG-ORANG BIASA KARYA ANDREA HIRATA
NILAI MORAL DALAM NOVEL ORANG-ORANG BIASA KARYA ANDREA HIRATA
Abstrak Kata Kunci: Nilai Moral Baik dan Buruk, NovelOrang-Orang Biasa. Nilai-nilai Moral adalah ajaran baik atau buruk perbuatan atau kelakuan, akhlak, kewajiban, budi pekerti...
Kepribadian Tokoh Ayah dan Anak dalam Novel Ayah dan Sebelas Patriot Karya Andrea Hirata Kajian (Psikologi Carl Gustav Jung)
Kepribadian Tokoh Ayah dan Anak dalam Novel Ayah dan Sebelas Patriot Karya Andrea Hirata Kajian (Psikologi Carl Gustav Jung)
ABSTRAK Kata-kata kunci: Kepribadian, Struktur kepribadian, dinamika kepribadian, perkembangan kepribadian. Penelitian ini bertujuan menganalisis novel Ayah dan Sebelas ...
EKSPLORASI STILISTIKA PADA NOVEL-NOVEL KARYA ANDREA HIRATA
EKSPLORASI STILISTIKA PADA NOVEL-NOVEL KARYA ANDREA HIRATA
ABSTRAK: Penelitian ini merupakan kajian stilistika pada novel Edensor, Ayah, Sirkus Pohon, Buku Besar Peminum Kopi, dan Guru Aini karya Andrea Hirata. Penelitian ini bertujuan unt...
PARADIGMA PENDIDIKAN KAUM MARGINAL ANDREA HIRATA DALAM KARYA-KARYANYA (KAJIAN STRUKTURALISME GENETIK)
PARADIGMA PENDIDIKAN KAUM MARGINAL ANDREA HIRATA DALAM KARYA-KARYANYA (KAJIAN STRUKTURALISME GENETIK)
Tujuan penelitian ini adalah untuk 1. Mendeskripsikan dan menjelaskan kehidupan sosial pengarang (dimensi pendidikan kaum marginal) Andrea Hirata yang berhubungan dengan karya-kary...
Nilai Moral pada Novel Ayah dan Sirkus Pohon Karya Andrea Hirata
Nilai Moral pada Novel Ayah dan Sirkus Pohon Karya Andrea Hirata
Moral Values in the Novel Ayah and the Tree Circus by Andrea Hirata This study aims to describe the moral values in the novel Ayah and the Circus of Trees by Andrea Hirata. This re...
The Collection and Publication of Jindai moji by Kokugaku Scholar Hirata Atsutane : Focusing on the Changes in the Mode of Existence of Jindai moji in the Early Modern Period
The Collection and Publication of Jindai moji by Kokugaku Scholar Hirata Atsutane : Focusing on the Changes in the Mode of Existence of Jindai moji in the Early Modern Period
This paper analyzes Hirata Atsutane's Kannahifumiden(神字日文傳) from the perspectives of collection and publication of Jindai moji. Kannahifumiden holds paramount significance in the h...
NILAI SOSIAL PADA NOVEL PADANG BULAN KARYA ANDREA HIRATA (KAJIAN SOSIOLOGI SASTRA)
NILAI SOSIAL PADA NOVEL PADANG BULAN KARYA ANDREA HIRATA (KAJIAN SOSIOLOGI SASTRA)
The selection of this novel as an object of research is based on a thought that the novel is lifted from human life to fight for its life, amidst the dynamics of social life, patie...

