Title :
Generation of accessible worlds under available information
Author :
Murai, Tetsuya ; Nakata, Michinori ; Shimbo, Masaru
Author_Institution :
Div. of Syst. & Inf. Eng., Hokkaido Univ., Sapporo, Japan
Abstract :
A way of generating accessible worlds is described. For this purpose, the class of the so-called finite uniform Scott-Montague models is introduced and the properties are investigated as well as their relation with ambiguity and inconsistency. With the class of models, the approach is formulated from the point of view of possible-worlds restriction under available information
Keywords :
belief maintenance; formal logic; information theory; set theory; uncertainty handling; accessible world generation; ambiguity; finite uniform Scott-Montague models; inconsistency; modal logic; semantics; set theory; uncertain information; Artificial intelligence; Australia; Educational institutions; Information science; Intelligent systems; Knowledge based systems; Logic; Power system modeling; Systems engineering and theory;
Conference_Titel :
Knowledge-Based Intelligent Electronic Systems, 1998. Proceedings KES '98. 1998 Second International Conference on
Conference_Location :
Adelaide, SA
Print_ISBN :
0-7803-4316-6
DOI :
10.1109/KES.1998.725917
