Many of the tasks that go into the building of an expert system — collecting the expert knowledge, setting it up for efficient problem-solving, providing mechanisms for acquisition and explanation — are structured by the choice of organization for the system's knowledge base. This paper discusses one such organization and the implementation approach it entails. This approach has been used to pr...

Wikis are well-established as tools for freely-structured knowledge exchange, and especially popular in the software engineering community. However, there remain many challenges regarding usability, productivity, and integration with existing information sources. This paper presents Wiquila, a rich client able to provide comfortable Wiki authoring either for “legacy” Wiki engines, or for the kn...

We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally oriented revision procedure for modal knowledge bases. This procedure is based on a labelled tableaux calculi supplemented with a formalism to record the dependencies of the formulae. The dependencies are then used to rec...

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...