Presentation | 1997/1/22 Query Answering in Seminormal Default Theory Norichika MURAMATSU, Ikuo TAHARA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The seminormal default theory has multiple extensions in general, and the default proof for a query says that the query holds if and only if it holds in at least one extension. This means that from the mutually contradicted extensions, a specific one is selected and others are rejected. In this case, however, there seems to be no rational criterion for the selection. In this paper, we reconsider the meaning of seminormal default rules, and propose a method of deriving natural answer to a query from the seminormal default theory based on the condition-consequence path analysis for the defaults. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Seminormal defaults / Multiple extensions / Query answering / Condition-consequence path |
Paper # | AI96-34 |
Date of Issue |
Conference Information | |
Committee | AI |
---|---|
Conference Date | 1997/1/22(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) | Query Answering in Seminormal Default Theory |
Sub Title (in English) | |
Keyword(1) | Seminormal defaults |
Keyword(2) | Multiple extensions |
Keyword(3) | Query answering |
Keyword(4) | Condition-consequence path |
1st Author's Name | Norichika MURAMATSU |
1st Author's Affiliation | Department of Information Science, Faculty of Science and Technology, Science University of Tokyo() |
2nd Author's Name | Ikuo TAHARA |
2nd Author's Affiliation | Department of Information Science, Faculty of Science and Technology, Science University of Tokyo |
Date | 1997/1/22 |
Paper # | AI96-34 |
Volume (vol) | vol.96 |
Number (no) | 453 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |