Disjunctive Logic Programming (DLP) is an advanced formalism for knowledge representation and reasoning, which is very expressive in a precise mathematical sense: it allows to express every property of finite structures that is decidable in the complexity class ΣP 2 (NPNP). Thus, under widely

Abstract not found

KL-ONE lets one define and use a class of descriptive terms called Concepts, where each Concept denotes a set of objects A subsumption relation between Concepts is defined which is related to set inclusion by way of a semantics for Concepts. This subsumption relation defines a partial order on Concepts, and KL-ONE organizes all Concepts into a taxonomy that reflects this partial order. Classification is a process that takes a new Concept and determines other Concepts that either subsume it or that it subsumes, thereby determining the location for the new Concept within a given taxonomy. We discuss these issues and demonstrate some uses of the classification algorithm.

In this paper, we review recent work aimed at the application of declarative logic programming to knowledge representation in artificial intelligence. We consider exten- sions of the language of definite logic programs by classical (strong) negation, disjunc- tion, and some modal operators

designers who claim design is a mysteri-ous activity not amenable to scien-tific examination, research into design continues Although there are publica-tions by designers on how to design dating back to Roman times, notably by Vitruvius, the nineteenth-century design thinkers actually began work on articulating design as a process (Durand 1802). However, it was not until the 1960s that major research programs were initiated.

Knowledge Representation is the area of Artificial Intelligence (AI) concerned with how knowledge can be represented symbolically and manipulated in an automated way by reasoning programs. It is at the very core of a radical idea about how to understand intelligence: instead of trying to understand

Although knowledge representation is one of the central and in some ways most familiar concepts in AI, the most fundamental question about it---What is it?---has rarely been answered directly. Numerous papers have lobbied for one or another variety of representation, other papers have argued

Abstract not found

This paper describes th system which simulates the actions of objects in a story for understanding an event and forecasting the results of the story. For the simulation, the system must deal with the action of individual object and the relation amang them. A micro-actor is adoped as the knowledge

successful series of mobile robots which operate without supervision as Creatures in standard office environments. In this paper, we develop a knowledge representation model for the innovative intelligent retrieval of legal cases, which provides effective legal case management. In our representation model