Presentation 1997/11/13
Formalization of human deductive reasoning with respect to relevance of connectives
Noriaki Yoshiura, Naoki Yonezaki,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) The formalization of human deductive reasoning is a main issue in artificial intelligence. Although logic is one of the most useful ways of such formalization, inference of logic does not necessarily correspond to human deductive reasoning. The reason is that the aim of logical inference is to deduce the truth while that of human reasoning is to infer useful information. In this paper, we discuss and define relevance of logical connectives on human deductive reasoning and propose the logical system LRC (Logic of Relevant Connectives). LRC is based on the relevant logical system ER which implication fallacy is removed from and is one of the strongest relevant logical systems.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) relevant logic
Paper # AI97-32
Date of Issue

Conference Information
Committee AI
Conference Date 1997/11/13(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Artificial Intelligence and Knowledge-Based Processing (AI)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Formalization of human deductive reasoning with respect to relevance of connectives
Sub Title (in English)
Keyword(1) relevant logic
1st Author's Name Noriaki Yoshiura
1st Author's Affiliation Department of Computer Science, Tokyo Institute of Technology()
2nd Author's Name Naoki Yonezaki
2nd Author's Affiliation Department of Computer Science, Tokyo Institute of Technology
Date 1997/11/13
Paper # AI97-32
Volume (vol) vol.97
Number (no) 373
Page pp.pp.-
#Pages 8
Date of Issue