Presentation | 1996/1/18 A method of determining the weights in weighted propositional logic Tomoko UJlNAGA, Ikuo TAHARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In many cases people reason with incomplete on inconsistent knowledge. To formalize these situations, nonmonotonic reasoning such as default reasoning, closed world assumption and circumscription has been proposed. These formalizations make possible the deduction from a incomplete knowledge by adding the assumptions consistent with the present knowledge. On the other hand, it is possible to consider the deductive reasoning with the consisstent subset of knowledge that is choosed from the inconsistent knowledge. This paper discusses such reasoning system , that is based on the weighted propositional logic, and proposes a method of determining the weights for giving the desired conclusions. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Nonmonotonic Reasoning / Weighted Propositional Logic / Reachability / Learning |
Paper # | AI95-48 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1996/1/18(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) | A method of determining the weights in weighted propositional logic |
Sub Title (in English) | |
Keyword(1) | Nonmonotonic Reasoning |
Keyword(2) | Weighted Propositional Logic |
Keyword(3) | Reachability |
Keyword(4) | Learning |
1st Author's Name | Tomoko UJlNAGA |
1st Author's Affiliation | Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo() |
2nd Author's Name | Ikuo TAHARA |
2nd Author's Affiliation | Department of Information Sciences, Faculty of Science and Technology, Science University of Tokyo |
Date | 1996/1/18 |
Paper # | AI95-48 |
Volume (vol) | vol.95 |
Number (no) | 460 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |