Data Models for Paraconsistent Information

Department of Computer Science
Wichita State University
Project Supported By

National Science Foundation

Standard Grant No. IRI-9628866
August 1996 - July 1998

Abstract

Paraconsistent information is information that may be incomplete and/or inconsistent. The goals of this project are to develop data models for representing and manipulating two kinds of paraconsistent information in databases, namely temporal and quantitative. The temporal model is for paraconsistent information that evolves with time, and the quantitative model is for information involving belief and doubt factors. As part of the project a declarative programming language based on paraconsistent data objects is designed. Also the new data models are applied to existing and newly identified application domains. The project constructs a formal framework and tools for handling information that may have contradictions in it, thereby laying the foundation for information systems in diverse areas, such as medical, scientific, business and military applications.


Team

Principal Investigator

Dr. Rajiv Bagai

Graduate Students

Ms. Guizhen Wang (joined August 1996)
Ms. Chaohui Ge (joined August 1996)
Ms. Peihong Lu (joined August 1996)
Mr. Koushik Budidhipati (joined August 1996)
Mr. Shaikh Rahman (joined August 1997)
Ms. Devisree Naraynan (joined August 1997)
Ms. Shangchun Cai (joined January 1998)

Publications

Published

  1. R. Bagai and R. Sunderraman. Paraconsistent Relations and their Applications. In Proceedings of the 1st World Congress on Paraconsistency, Gent, Belgium, 1997.

Submitted

  1. R. Bagai. A Query Construct for Paraconsistent Databases. To The 7th Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, 1998.

In Preparation

  1. On the Computation of the Well-Founded Model of General Logic Programs. For Journal of Logic Programming.
  2. Regular Paraconsistent Relations. For (Target currently undecided).
  3. Properties of Binary Paraconsistent Relations. For International Journal of Computer Mathematics.
  4. Tuple Relational Calculus for Paraconsistent Relations. For Computer Languages.

This page last modified on February 18, 1998