General-purpose knowledge bases (KBs) such as YAGO, Wikidata or the Google Knowledge Graph usually contain facts that have a high precision. In contrast, little is known about the recall of such KBs, and anecdotal evidence indicates that knowledge bases have a low recall on many topics. This project aims to develop techniques to evaluate and improve the recall of knowledge bases. We aim to use ...

In this paper, we investigate belief revision in possibilistic logic, which is a weighted logic proposed to deal with incomplete and uncertain information. Existing revision operators in possibilistic logic are restricted in the sense that the input information can only be a formula instead of a possibilistic knowledge base which is a set of weighted formulas. To break this restriction, we cons...

A poorly dcsigncd knowledge base can be as cryptic as an arbitrary program and just as difficult to maintain. Rcprescnting control knowledge abstractly, scparatcly from domain facts and relations, makes the design more transparent and explainable. A body of abstract control knowledge provides a generic framework for constructing knowledge bases for rclatcd problems in other domains and also pro...

CRITAC (CRITiquing using ACcumulated knowledge) is an experimental expert system for proofreading Japanese text. It detects mistypes, Kana-to-Kanji misconversions, and stylistic errors. This system combines Prolog-coded heuristic knowledge with conventional Japanese text processing techniques which involve heavy computation and access to large language databases. 1. I n t r o d u c t i o n Curr...

The problem of maintaining a knowledge base is substantially concerned with keeping track of rules that share common wisdom. A knowledge representation is described in which a collection of rules that are based on common wisdom are represented as a single ‘item’. For items, maintenance hazards, caused by one item being partially hidden within another, still remain. ‘Objects’ are introduced as i...

The information crisis in law demands proper instruments of information filtering. Traditional information retrieval systems do not satisfy these demands because they present only the syntactic form of documents. Exploratory data analysis is a good tool for the representation of legal knowledge within the syntactic structure of the documents. It could also solve the bottleneck of the time-consu...