In this paper, we examine many real world examples of information granules, and construct a granular deductive reasoning system for these domains. Objects are ordered pairs; the first element is an assertion (to call logical formula) and the second is a semantic set corresponding to the assertion. So the granular language and its model involve both logic and set theory. So-called logic means that the reasoning obeys the syntax in logical language; So called set theory means that the operations corresponding to semantic sets of logical formulas obey the methods in set theory. The evaluation of truth values and the computation rule of granular formulas are established.
Access to the requested content is limited to institutions that have purchased or subscribe to SPIE eBooks.
You are receiving this notice because your organization may not have SPIE eBooks access.*
*Shibboleth/Open Athens users─please
sign in
to access your institution's subscriptions.
To obtain this item, you may purchase the complete book in print or electronic format on
SPIE.org.
INSTITUTIONAL Select your institution to access the SPIE Digital Library.
PERSONAL Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.