Practical, object-based knowledge representation for knowledge-based systems

TL;DR: MRI provides the best tools for definition ofLDHIV syndrome and reveals variable phenotypes among LDHIV patients, suggesting a novel split phenotype among LDhIV patients of either dorsocervical or intra-abdominal fat accumulation.

TL;DR: This paper establishes a link between Kl-one-based knowledge representation concerned with terminological representation and the work of P. Suppes and M. Bottner in computational linguistics and shows how this link can be utilised for the problem of finding adequate terminological representations for given information formulated in ordinary English.

TL;DR: This thesis investigates terminological representation languages, as used in kl-one-type knowledge representation systems, from an algebraic point of view, and shows that terminological representations can be naturally accommodated in equational algebras of sets interacting with relations.

TL;DR: The main point is to introduce the concept of defined class, i.e., class whose structural description gives necessary and sufficient conditions for an object to belong to it.

TL;DR: These seminal articles, spanning a quarter-century of research, cover the most important ideas and developments in the representation field.

TL;DR: This paper point out deficiencies in current semantic treatments of knowledge and belief and suggest a new analysis in the form of a logic that avoids these shortcomings and is also more viable computationally.

TL;DR: The authors have developed a design strategy for avoiding these types of problems and have implemented a representation system based on it, called Krypton, which clearly distinguishes between definitional and factual information.

TL;DR: In this article, a four-valued logic should sometimes be used, and it is to be understood that I use "logic" in a narrow sense, the old sense: a logic as an organon, a tool, a canon of inference.