7 found
Order:
  1.  5
    Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
  2.  12
    A differentiable first-order rule learner for inductive logic programming.Kun Gao, Katsumi Inoue, Yongzhi Cao & Hanpin Wang - 2024 - Artificial Intelligence 331 (C):104108.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Prioritized logic programming and its application to commonsense reasoning.Chiaki Sakama & Katsumi Inoue - 2000 - Artificial Intelligence 123 (1-2):185-222.
  4.  26
    Abduction, conversational implicature and misleading in human dialogues.Chiaki Sakama & Katsumi Inoue - 2016 - Logic Journal of the IGPL 24 (4).
    In this article, we first study abduction in human dialogues. Given an utterance, objective abduction produces a hearer’s belief that could explain the utterance, while subjective abduction produces a hearer’s belief that could explain the belief state of a speaker. Different types of abduction are formulated using propositional epistemic logic. We next consider conversational implicature used as pragmatic inference in speech acts. Two conflicting implicatures, Q-implicature and I-implicature, are formulated and contrasted with abduction. We also argue how speakers could use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Towards a logical reconstruction of CF-induction.Yoshitaka Yamamoto, Oliver Ray & Katsumi Inoue - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 330--343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  18
    Reconsideration of circumscriptive induction with pointwise circumscription.Koji Iwanuma, Katsumi Inoue & Hidetomo Nabeshima - 2009 - Journal of Applied Logic 7 (3):307-317.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    Equivalence issues in abduction and induction.Chiaki Sakama & Katsumi Inoue - 2009 - Journal of Applied Logic 7 (3):318-328.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark