4 papers
Towards Unifying Logical Entailment and Statistical Estimation
Hiroyuki Kido
This paper gives a generative model of the interpretation of formal logic for data-driven logical reasoning. The key idea is to represent the interpretation as likelihood of a form…
Bayes Meets Entailment and Prediction: Commonsense Reasoning with Non-monotonicity, Paraconsistency and Predictive Accuracy
Hiroyuki Kido, Keishi Okamoto
The recent success of Bayesian methods in neuroscience and artificial intelligence gives rise to the hypothesis that the brain is a Bayesian machine. Since logic and learning are b…
Bayesian Entailment Hypothesis: How Brains Implement Monotonic and Non-monotonic Reasoning
Hiroyuki Kido
Recent success of Bayesian methods in neuroscience and artificial intelligence gives rise to the hypothesis that the brain is a Bayesian machine. Since logic, as the laws of though…
A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems
Hiroyuki Kido, Beishui Liao
This paper studies a fundamental mechanism of how to detect a conflict between arguments given sentiments regarding acceptability of the arguments. We introduce a concept of the in…