| Presentation | 1998/9/24 Properties of Nonmonotonic Reasoning with Rule Priorities Masato SHIBASAKI, Katsumi NITTA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Litte is known, however, about relationships and differences among these semantics. In this paper, we select six properties (consistency, explicit anti-contrapositive, implicit anti-contrapositive, monotonicity, modularity, final rule dependency) of semantics of nommonotonic reasoning with rule priorities and we cllasify semantics of past studies according to these properties. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | nonmonotonic reasoning / rule priorities / legal reasoning / defeasible reasoning / logic programming |
| Paper # | AI98-34 |
| Date of Issue |
| Conference Information | |
| Committee | AI |
|---|---|
| Conference Date | 1998/9/24(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) | Properties of Nonmonotonic Reasoning with Rule Priorities |
| Sub Title (in English) | |
| Keyword(1) | nonmonotonic reasoning |
| Keyword(2) | rule priorities |
| Keyword(3) | legal reasoning |
| Keyword(4) | defeasible reasoning |
| Keyword(5) | logic programming |
| 1st Author's Name | Masato SHIBASAKI |
| 1st Author's Affiliation | Department of Computational Intelligent and Systems Science Tokyo Institute of Technology() |
| 2nd Author's Name | Katsumi NITTA |
| 2nd Author's Affiliation | Department of Computational Intelligent and Systems Science Tokyo Institute of Technology |
| Date | 1998/9/24 |
| Paper # | AI98-34 |
| Volume (vol) | vol.98 |
| Number (no) | 296 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |