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