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 |