This chapter discusses an extended deductive database prototype system Q Data developed by Bellcore to improve data quality through data validation and cleanup The key technology component of Q Data is the extended deductive database sys tem LDL developed at MCC We discuss the issues of data quality improvement the relevance of the deductive database technology such as the LDL system to data qu...

DO is a deductive object oriented database developed at the National University of Singapore The system aims to integrate de ductive and object oriented paradigms and use their advantages to over come both the paradigms respective weaknesses DO di ers from con ventional deductive object oriented databases in its key based approach for OIDs pro active approach to resolving inheritance con icts a...

This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic constructs that extend the functionality of the LDL++ language, while preserving its model-theoretic and fixpoint semantics. Then, we describe the execution model and the open architecture designed to support these new con...

A generic planning system is introduced which allows for custom building of planners able to generate plans for diierent plan consumers in the context of intelligent assistance systems. All planners are adapted to the peculari-ties of diierent plan consumers, to their domain knowledge, their typical behavior, their preferences, and their utilization of plans. The necessary knowledge sources of ...

In this paper we study the brokering and matchmaking problem in the tourism domain, that is, how a requester’s requirements and preferences can be matched against a set of offerings collected by a broker. The proposed solution uses the Semantic Web standard of RDF to represent the offerings, and a deductive logical language for expressing the requirements and preferences. We motivate and explai...

The notions of bipolar fuzzy hyper MV-subalgebras, (weak) bipolar fuzzy hyper MV-deductive system and precisely weak bipolar fuzzy hyper MV-deductive system are introduced, and their relations are investigated. Characterizations of bipolar fuzzy hyper MV-subalgebras and weak bipolar fuzzy hyper MV-deductive systems are provided.

According to Frege’s principle the denotation of a sentence coincides with its truthvalue. The principle is investigated within the context of abstract algebraic logic, and it is shown that taken together with the deduction theorem it characterizes intuitionistic logic in a certain strong sense. A 2nd-order matrix is an algebra together with an algebraic closed set system on its universe. A ded...