A most crucial problem in knowledge representation is the revision of knowledge when new, possibly contradictory, information is obtained (belief revision). In this report, we address this problem when the knowledge base is a set of expressions in propositional logic. We introduce a new representation of propositional expressions using 2-dimensional matrices and provide the theoretical underpin...

Complex concept composition is the joining of information from two existing concepts to form a third, more complex concept. Accounts of how concepts are composed are of great theoretical and practical importance. Such compositions are a part of most human cognitive functions, and are therefore of great interest to cog-nitive scientists. Knowledge engineers study composition for a diierent reaso...

Lexical, ontological, as well as encyclopedic knowledge is increasingly being encoded in machine-readable form. This paper deals with knowledge representation in multilingual settings. It begins by proposing a generic graph-based knowledge base framework, and then, in three case studies, explains how preexisting knowledge can be cast into this framework. The first case study involves enriching ...

-Possibilistic logic and Bayesian networks have provided advantageous methodologies and techniques for computerbased knowledge representation. This paper proposes a framework that combines these two disciplines to exploit their own advantages in uncertain and imprecise knowledge representation problems. The framework proposed is a possibilistic logic based one in which Bayesian nodes and their ...

In classical logic everything follows from inconsistency. A paraconsistent logic is a logic where we can have inconsistency but get something more limited and useful. Since consistency is difficult to guarantee in many situations, the potential applications of paraconsistent logics in knowledge bases are many. Work based on bilattices is considered, and a paraconsistent many-valued logic is pre...

Knowledge-based CAD systems limit designers’ creativity by constraining them to work with the prototypes provided by the systems’ knowledge bases. We investigate knowledge-based CAD systems capable of supporting creative designs in the example domain of elementary mechanisms. We present a technique based on qualitative explanations which allows a designer to extend the knowledge base by demonst...

This study examines how firms choose organizational form for their R&D alliances. Encouraging cooperation in these alliances is often challenging, given the difficulties in knowledge sharing between partners and protecting the property rights over partner knowledge. Interestingly, knowledge based and transaction cost perspectives generate different hypotheses on alliance organization choice in ...

We present in this paper a system for knowledge management in graphics recognition systems. This system is based on user approach through two man machine interfaces for “content-based” and “structure-based” knowledge management. With these two man machine interfaces, the users can browse, structure, and request the systems’ knowledge bases. This user approach illustrates than the knowledge is u...

An important aspect of context in medical reasoning is the notion of "variation" of a chunk of knowledge according to various contingencies, such as course of patient's disease, response to therapies, or team specificity. Our position is to represent these variations implicitly, by proposing mechanisms to factor knowledge and to refine it. We propose three mutually compatible mechanisms that ef...

The goal of this research is to create the Disciple Learning Agent Shell for efficient development of personal agents, that relies on importing ontologies from existing repositories using the Open Knowledge Base Connectivity (OKBC) protocol (Chaudhri et al, 1997) and on teaching the agents to perform various tasks through apprenticeship and multistrategy learning (Tecuci, 1998). We are performi...