Research Area

My reseach topics are:

For Japanses

To paper's page
To Hirata's Homepage


Data Mining

Currently, I'm interested in data mining and association rule mining. In particular, my research topic is the extraction of hypotheses from medical data (bacterial culture data) in order to prevent emerging infection.

(References)

Return to Top

Inductive Logic Programming

I'm interested in the theoretical properties and learnability of inductive logic programming, which is a framework of learning of logic programs.

(References)

Return to Top

Algorithmic/Computational Learning Theory

I'm interested in the theoretical aspects of machine learning, called Algorithmic/Computational Learning Theory, in particular, learning from examples. Recently, I'm interested in query learning and its learnability.

(References)

Return to Top

Computational Logic

My research is to study the relationship between logic and computer science from various viewpoints.

(References)

Return to Top
In order to capture the nature of inference, a philosopher Peirce classified inference into three fundamental kinds: deduction, induction, and abduction. In this classification, which based on the form of syllogisms, abduction is characterized as the inference of a case A from a rule A->C and a result C.

Furthermore, he also placed these three kinds of inference at each stage of scientific inquiry. According to him, every scientific inquiry begins with an observation of a surprising fact. The first stage, abduction, of scientific inquiry proposes a hypothesis to explain why the fact arises. The second stage, deduction, derives new conclusions from the hypothesis. The third stage, induction, tests empirically or corroborates the hypothesis and the conclusions. Hence, abduction is not only a kind of inference, but also a method of scientific discovery. The inference schema of abduction as the first stage of scientific inquiry is described in the following three steps:

  1. A surprising fact C is observed.
  2. If A were true, then C would be a matter of course.
  3. Hence, there is reason to suspect that A is true.
In my reseach, such abduction is formulated and investigated from the computational viewpoint.

Examples of abduction in literature

(References)

Return to Top