3 citations · 7 across the 5 of their papers we have counts for
4 papers · 1 filter
Human Conditional Reasoning in Answer Set Programming
Chiaki Sakama
Given a conditional sentence "P=>Q" (if P then Q) and respective facts, four different types of inferences are observed in human reasoning. Affirming the antecedent (AA) (or modus…
Partial Evaluation of Logic Programs in Vector Spaces
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato +1
In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs are represented by matrices.…
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Katsumi Inoue, Chiaki Sakama
Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal la…
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
Katsumi Inoue, Chiaki Sakama, Lena Wiese
Publishing private data on external servers incurs the problem of how to avoid unwanted disclosure of confidential data. We study a problem of confidentiality in extended disjuncti…