The management of the integrity of intelligent systems relies on techniques to integrate the components and to manage the integrity of the knowledge-based systems components. A unified methodology integrates knowledge-based systems components with database components. Constraints are used to manage the integrity of knowledge. One class of knowledge constraints protect the integrity of knowledge...

We enrich a curated resource of commonsense knowledge by formulating the problem as one of knowledge base completion (KBC). Most work in KBC focuses on knowledge bases like Freebase that relate entities drawn from a fixed set. However, the tuples in ConceptNet (Speer and Havasi, 2012) define relations between an unbounded set of phrases. We develop neural network models for scoring tuples on ar...

SUMMARY In a reflection of new developments in science and society, Gibbons et al. (1994) proposed to make a distinction between " Mode 2 " and " Mode 1 " types of knowledge production. Whereas " Mode 1 " refers to the traditional shape of science, largely confined within institutional settings, " Mode 2 " is communication driven. Organized knowledge production can then be considered as the cod...

The effective use of knowledge based systems technology to solve complex and real-time problems in embedded system environments requires that the performance of these systems be maximized for conventional processor architectures. This paper presents a technique for the complete compilat ion of knowledge bases directly into procedural code. The technique is based on determining what actions an i...

Existing Knowledge Base Population methods extract relations from a closed relational schema with limited coverage, leading to sparse KBs. We propose Pocket Knowledge Base Population (PKBP), the task of dynamically constructing a KB of entities related to a query and finding the best characterization of relationships between entities. We describe novel Open Information Extraction methods which ...

A revision framework for object-based knowledge representation languages is presented. It is defined by adapting logical revision to objects and characterised both semantically and syntactically. The syntactic analysis of revision shows that it can be easily interpreted in terms of object structures (e.g. moving classes or enlarging domains). This is the source of the implementation and it enab...

We describe a computer program that implements an algorithm to verify the consistency and completeness of knowledge bases built for the Lockheed expert system (LES) shell. The algorithms described here are not specific to this particular shell and can be applied to many rule-based systems. The computer program, which we call CHECK, combines logical principles as well as specific information abo...

INTRODUCTION "Research" in design has a long but not very robust history. Individuals have published on the subject almost from the time design was recognized as something to be taught (engineering and architectural design theories have been in the literature since Roman times). Yet, despite exceptional efforts by some individuals, the degree of interest in research among the design disciplines...