Badrinath Jayakumar

  • Citations Per Year
Learn More
The well-founded model for any general deductive database computed using the paraconsistent relational model, based on four-valued logic, does not support inference rules such as disjunctive syllogism. In order to support disjunctive syllogism, we utilize the generalization of the relational model to quasi-classic (QC) logic, whose inference power is much(More)
The well-founded model for any general deductive database computed using the paraconsistent relational model, based on four-valued logic, does not support inference rules such as disjunctive syllogism. In order to support disjunctive syllogism, we utilize the generalization of the relational model to quasi-classic (QC) logic, whose inference power is much(More)
Inconsistencies in real world knowledge bases are very common because the knowledge bases are usually authored at multiple places on the Web. These inconsistencies are even carried over to local closed world reasoning (LCWR) where the knowledge base consists of open world assumption (OWA) predicates (concepts or roles) and closed world assumption (CWA)(More)
Real-world automated reasoning systems, based on classical logic, face logically inconsistent information, and they must cope with it. It is onerous to develop such systems because classical logic is explosive. Recently, progress has been made towards semantics that deal with logical inconsistency. However, such semantics was never analyzed in the aspect of(More)
  • 1