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