Results 1 - 10
of
20,134
The DLV System for Knowledge Representation and Reasoning
- ACM Transactions on Computational Logic
, 2002
"... 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 believ ..."
Abstract
-
Cited by 456 (102 self)
- Add to MetaCart
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
Classification in the KL-ONE knowledge representation system
- COGNITIVE SCIENCE
, 1985
"... 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 Conce ..."
Abstract
-
Cited by 673 (8 self)
- Add to MetaCart
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.
Logic Programming and Knowledge Representation
- Journal of Logic Programming
, 1994
"... 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 and sh ..."
Abstract
-
Cited by 242 (20 self)
- Add to MetaCart
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
Design Prototypes: A Knowledge Representation Schema for Design
- AI Magazine
, 1990
"... 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 ..."
Abstract
-
Cited by 424 (105 self)
- Add to MetaCart
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 and reasoning
, 2003
"... 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 ..."
Abstract
-
Cited by 198 (3 self)
- Add to MetaCart
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
What is a Knowledge Representation?
, 1993
"... 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 for var ..."
Abstract
-
Cited by 193 (3 self)
- Add to MetaCart
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
The Knowledge Representation For
"... 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 re ..."
Abstract
- Add to MetaCart
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
Knowledge Representation
"... Abstract — Artificial intelligence research has foundered on the issue of representation. When intelligence is approached in an incremental manner, with Strict reliance on interfacing to the real world through perception and action, reliance on representation disappears. In this paper we outline our ..."
Abstract
- Add to MetaCart
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
Results 1 - 10
of
20,134