|
计算机科学 2004
From Logical System to Knowledge System
|
Abstract:
The various logical systems today, modal ones or none modal ones, care mostly the tautologies. On the other hand, the capability to give proper decisions shows to be one of the most important abilities of human being, which is usually given basing upon the true or false knowledge. However,an ordinary logical system doesn't care or define such kind of knowledge that it can hardly reflect such character of intentional system,even if it is a modal logical system. For this reason,a idea of constructing a sort of knowledge system is proposed in this paper,which includes true or false knowledge,and some other needed properties.