NDLI: Reasoning about relational granulation in modal logics

Please wait, while we are loading the content...

2014 IEEE International Conference on Granular Computing (GrC)

2013 IEEE International Conference on Granular Computing (GrC)

2012 IEEE International Conference on Granular Computing

2011 IEEE International Conference on Granular Computing

2010 IEEE International Conference on Granular Computing

2009 IEEE International Conference on Granular Computing

2008 IEEE International Conference on Granular Computing

2007 IEEE International Conference on Granular Computing (GRC 2007)

2006 IEEE International Conference on Granular Computing

2005 IEEE International Conference on Granular Computing

Volume 2 - 2005

Table of contents

Organization charts

Approximate reduct computation by rough sets based attribute weighting

Kolmogorov complexity based automata modeling for intrusion detection

Research of non-distinct Solow economic growth model

DCf: a double clustering framework for fuzzy information granulation

An e-intelligence approach to e-commerce intrusion detection

A kind of support vector fuzzy classifiers

Application of a matrix-based binary granular computing algorithm in RST

Indiscernibility criterion based on rough sets in feature selection and detection of landmines

Temporal granular logic for temporal data mining

Sequent calculus system for rough sets based on rough Stone algebras

Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets

Intelligent agent-based expert system architecture for generating work plan in marshalling station

A weighting scheme based on emerging patterns for weighted support vector machines

Qualitative Mapping, Criterion Trasformation and Artificial Neuron

Approach to linear programming with fuzzy coefficients based on fuzzy numbers distance

v-support vector classification with uncertainty based on expert advices

Study of BP neural network based on MECA

Fuzzy approximation operators based on internal/external factors analysis

A new multiresolution classification model based on partitioning of feature space

An indiscernibility-based clustering method

Using contextual information to improve retrieval performance

MEDM in general multi-granular hierarchical linguistic contexts based on the 2-tuples linguistic model

Weak ratio rules between nonnegative real-valued data in transactional database

Fuzzy logic based temperature controller

Ranking and selecting terms for text categorization via SVM discriminate boundary

An improved genetic algorithm for solving deceptive problems

Discovering and ranking important rules

Intrusion detection system based on new association rule mining model

Fuzzy similarity-based data fusion algorithm and its application to engine testing

An initial comparison of fuzzy sets and rough sets from the view of pansystems theory

Segment procedure neural networks

Reasoning about relational granulation in modal logics

Topological structures of rough sets over fuzzy lattices

Clustering research using dynamic modeling based on granular computing

A fast optimization method of using nondominated sorting genetic algorithm (NSGA-II) and 1-nearest neighbor (1NN) classifier for numerical model calibration

Improved rule based rough set approach for target recognition

Analysis of using granules to find association rules

The fuzzy reasoning rules based on universal logic

Imperfect commonsense granular determinism

Rough reducts based SVM ensemble

Formal security model research based on Petri-net

An evolution strategy for the induction of fuzzy finite-state automata

Spoken affect classification using neural networks

Intelligent decision support and information systems in enterprise: evolutionary-based optimization

Soft computing for reservoir characterization and management

Analyzing hepatitis data using ordered information

Information quanta and approximation spaces. I. Non-classical approximation operators

Information quanta and approximation spaces II: generalised approximation spaces

From soft sets to information systems

Algebraic reconstruction technique in image reconstruction with narrow fan-beam

The convolution back projection algorithm based on windows function

GUHA method and granular computing

Decomposition methodology for classification tasks

The study of fault tolerant system design using complete evolution hardware

Linear independence in a contingency table

Compact transaction database for efficient frequent pattern mining

Decentralized execution of composite e-services with VINCA micro engine

Classification using support vector machines with graded resolution

Quotient space model of hierarchical query-by-humming system

Information granules in general and complete coverings

Generalized rough equivalence and generalized rough inclusion based on equivalence operator of pansystems of rough sets

The design and application of structured types in Ptolemy II

A multi-stage fuzzy classifier for off-line handwritten Chinese character recognition

Detecting similar HTML documents using a fuzzy set information retrieval approach

A granulation-based method for finding similarity between time series

Improvement of priority method for fuzzy complementary judgment matrix

Building k-nearest neighbor classifiers on vertically partitioned private data

A positive extension matrix algorithm/sub AE18/ of learning from examples

A k-nearest neighbor based algorithm for multi-label classification

Data Web house to support Web intelligence in e-learning environments

Evaluation and automatic selection of methods for handling missing data

Volume 1 - 2005

Reasoning about relational granulation in modal logics

Content Provider	IEEE Xplore Digital Library
Author	Churn-Jung Liau Lin, T.Y.
Copyright Year	2005
Description	Author affiliation: Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan (Churn-Jung Liau)
Abstract	It is well known that the Kripke model for the modal logic system S5 can be interpreted as an approximation space in rough set theory. In this paper, we generalize the interpretation to relational granulation. We consider two multimodal logics for reasoning about relational granulation in open world and closed world environments respectively. In an open world environment, two objects are granulated into the same equivalence class only if they have the same relationship with other objects, while in a closed world environment; two objects are granulated into the same equivalence class if and only if they have the same relationship with other objects. Such equivalence relations are represented by derived modalities from modal operators representing the relationships between objects.
Sponsorship	IEEE Comput. Intelligence Soc
Starting Page	530
Ending Page	534
File Size	829097
Page Count	5
File Format	PDF
ISBN	0780390172
DOI	10.1109/GRC.2005.1547348
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-07-25
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer science Information science Data analysis Humans Set theory Mathematics Neck Logic Problem-solving History
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in