Reasoning with Incomplete and Changing Information

The CIN Project

Grigoris Antoniou, Mary Anne Williams

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Most information systems are faced with incomplete information, even for simple database applications; therefore, they must make plausible conjectures in order to operate in a satisfactory way. A simple example is the closed world assumption, which is used extensively in the database area. Nonmonotonic reasoning (NMR) provides formal methods which support such a behavior; in default logic, for example, the plausible conjectures are based on "rules of thumb." Information is subject to change due to the inherent uncertainty of information or because the environment is volatile and dynamic. Current nonmonotonic reasoning systems neglect the problems raised by change. Belief revision (BR) is the research area that has developed techniques capable of dealing with changing information. This paper presents the motivations, the design decisions, and the current state of the CIN Project (Changing Information), whose aim is to provide an integrated toolkit of nonmonotonic reasoning and belief revision methods. The reason we design an open system is our contention that finding the right method for NMR and BR is an elusive dream, and that we should instead seek to determine the most appropriate method for the specific problem at hand.

Original languageEnglish
Pages (from-to)83-99
Number of pages17
JournalInformation Sciences
Volume99
Issue number1-2
DOIs
Publication statusPublished - 1 Jun 1997
Externally publishedYes

Fingerprint

Nonmonotonic Reasoning
Belief Revision
Reasoning
Formal methods
Open systems
Information systems
Default Logic
Volatiles
Formal Methods
Incomplete Information
Open Systems
Contention
Information Systems
Uncertainty
Closed
Belief revision
Design
Data base

Cite this

@article{c08ab2eefb4d4381827cc04441b354f5,
title = "Reasoning with Incomplete and Changing Information: The CIN Project",
abstract = "Most information systems are faced with incomplete information, even for simple database applications; therefore, they must make plausible conjectures in order to operate in a satisfactory way. A simple example is the closed world assumption, which is used extensively in the database area. Nonmonotonic reasoning (NMR) provides formal methods which support such a behavior; in default logic, for example, the plausible conjectures are based on {"}rules of thumb.{"} Information is subject to change due to the inherent uncertainty of information or because the environment is volatile and dynamic. Current nonmonotonic reasoning systems neglect the problems raised by change. Belief revision (BR) is the research area that has developed techniques capable of dealing with changing information. This paper presents the motivations, the design decisions, and the current state of the CIN Project (Changing Information), whose aim is to provide an integrated toolkit of nonmonotonic reasoning and belief revision methods. The reason we design an open system is our contention that finding the right method for NMR and BR is an elusive dream, and that we should instead seek to determine the most appropriate method for the specific problem at hand.",
author = "Grigoris Antoniou and Williams, {Mary Anne}",
year = "1997",
month = "6",
day = "1",
doi = "10.1016/S0020-0255(96)00269-1",
language = "English",
volume = "99",
pages = "83--99",
journal = "Information Sciences",
issn = "0020-0255",
publisher = "Elsevier Inc.",
number = "1-2",

}

Reasoning with Incomplete and Changing Information : The CIN Project. / Antoniou, Grigoris; Williams, Mary Anne.

In: Information Sciences, Vol. 99, No. 1-2, 01.06.1997, p. 83-99.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Reasoning with Incomplete and Changing Information

T2 - The CIN Project

AU - Antoniou, Grigoris

AU - Williams, Mary Anne

PY - 1997/6/1

Y1 - 1997/6/1

N2 - Most information systems are faced with incomplete information, even for simple database applications; therefore, they must make plausible conjectures in order to operate in a satisfactory way. A simple example is the closed world assumption, which is used extensively in the database area. Nonmonotonic reasoning (NMR) provides formal methods which support such a behavior; in default logic, for example, the plausible conjectures are based on "rules of thumb." Information is subject to change due to the inherent uncertainty of information or because the environment is volatile and dynamic. Current nonmonotonic reasoning systems neglect the problems raised by change. Belief revision (BR) is the research area that has developed techniques capable of dealing with changing information. This paper presents the motivations, the design decisions, and the current state of the CIN Project (Changing Information), whose aim is to provide an integrated toolkit of nonmonotonic reasoning and belief revision methods. The reason we design an open system is our contention that finding the right method for NMR and BR is an elusive dream, and that we should instead seek to determine the most appropriate method for the specific problem at hand.

AB - Most information systems are faced with incomplete information, even for simple database applications; therefore, they must make plausible conjectures in order to operate in a satisfactory way. A simple example is the closed world assumption, which is used extensively in the database area. Nonmonotonic reasoning (NMR) provides formal methods which support such a behavior; in default logic, for example, the plausible conjectures are based on "rules of thumb." Information is subject to change due to the inherent uncertainty of information or because the environment is volatile and dynamic. Current nonmonotonic reasoning systems neglect the problems raised by change. Belief revision (BR) is the research area that has developed techniques capable of dealing with changing information. This paper presents the motivations, the design decisions, and the current state of the CIN Project (Changing Information), whose aim is to provide an integrated toolkit of nonmonotonic reasoning and belief revision methods. The reason we design an open system is our contention that finding the right method for NMR and BR is an elusive dream, and that we should instead seek to determine the most appropriate method for the specific problem at hand.

UR - http://www.scopus.com/inward/record.url?scp=0031162921&partnerID=8YFLogxK

U2 - 10.1016/S0020-0255(96)00269-1

DO - 10.1016/S0020-0255(96)00269-1

M3 - Article

VL - 99

SP - 83

EP - 99

JO - Information Sciences

JF - Information Sciences

SN - 0020-0255

IS - 1-2

ER -