Abstract | ||
---|---|---|
A generalized decision logic in interval-set-valued informa- tion tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interval-set-valued information table takes an interval set of values. Consequently, two types of satisfiabilities of a formula are introduced. Truth values of formulas are defined to be interval-valued, instead of single-valued. A semantics model of the pro- posed logic language is studied. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/978-3-540-48061-7_35 | RSFDGrC |
Keywords | Field | DocType |
generalized decision logic,interval-set-valued information tables,semantic model,satisfiability | Discrete mathematics,Second-order logic,Interval temporal logic,Computer science,Multimodal logic,Many-valued logic,Predicate logic,Dynamic logic (modal logic),Higher-order logic,Intermediate logic | Conference |
Volume | ISSN | ISBN |
1711 | 0302-9743 | 3-540-66645-1 |
Citations | PageRank | References |
34 | 1.35 | 12 |
Authors | ||
2 |