Satisfiability judgement under incomplete information

  • Authors:
  • Anna Gomolińska

  • Affiliations:
  • Department of Mathematics, Białystok University, Białystok, Poland

  • Venue:
  • Transactions on Rough Sets XI
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we keep on discussing satisfiability of conditions by objects when information about the situation considered, including objects of some sort and concepts comprised of them, is incomplete. Our approach to satisfiability is that of concept modelling and we have a rough granular view on the problem. Objects considered are known partially, in terms of values of attributes of Pawlak information systems. An additional knowledge (domain knowledge) is assumed to be available. We choose descriptor languages for Pawlak information systems as specification languages in which we will express conditions about objects and concepts.