Presentation 2000/3/16
A Method for Constraint Satisfaction on 4-valued Logic Databases
Hisashi Komatsu,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) Since[1, 3], 4-valued logic is known to be a useful method to treat the contradictory and the incomplete information. In this paper, I apply it to the constraint satisfaction problem on 4-valued logic databases, and propose a method to revise a database with constraints so as to minimize the norm between it and the revision measured on the lattice structure FOUR, TWO, or DEFAULT.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) 4-valued logic / multi-valued logic / non-monotonic reasoning / belief revision / constraint satisfaction
Paper # TL99-40
Date of Issue

Conference Information
Committee TL
Conference Date 2000/3/16(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 Thought and Language (TL)
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) A Method for Constraint Satisfaction on 4-valued Logic Databases
Sub Title (in English)
Keyword(1) 4-valued logic
Keyword(2) multi-valued logic
Keyword(3) non-monotonic reasoning
Keyword(4) belief revision
Keyword(5) constraint satisfaction
1st Author's Name Hisashi Komatsu
1st Author's Affiliation School of Information Sciences, Hiroshima City University()
Date 2000/3/16
Paper # TL99-40
Volume (vol) vol.99
Number (no) 691
Page pp.pp.-
#Pages 8
Date of Issue