Results 1  10
of
666,202
On the use of multidimensional dynamic logic programming to represent societal agents’ viewpoints
 IN PROCS OF EPIA '01, VOLUME 2258 OF LNAI
, 2001
"... This paper explores the applicability of the new paradigm of Multidimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MIN ERVA [11], an agent architecture and system ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
This paper explores the applicability of the new paradigm of Multidimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MIN ERVA [11], an agent architecture and system
Multidimensional Logic Programming
, 2001
"... According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomics), strength of the updating instance (as in the le ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
, domains,...), Dynamic Logic Programming cannot deal with more than one such dimension simultaneously cause it is only defined for a linear sequence of states. To overcome this limitation, we introduce, in this paper, the notion of Multidimensional Dynamic Logic Programming, which generalizes Dynamic
Multidimensional Logic Programming
"... According to the paradigm of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent time (as in updates), specificity (as in taxonomies), strength of the updating instance (as in the le ..."
Abstract
 Add to MetaCart
, domains,...), Dynamic Logic Programming cannot deal with more than one such dimension simultaneously because it is only defined for a linear sequence of states. To overcome this limitation, we introduce, in this paper, the notion of Multidimensional Dynamic Logic Programming, which generalizes Dynamic
Multidimensional Dynamic Knowledge Representation
, 2001
"... According to Dynamic Logic Programming (DLP), knowledge may be given by a set of theories (encoded as logic programs) representing different states of knowledge. These may represent time (in updates), specificity (in taxonomies), strength of updating instance (in the legislative domain), hierarchica ..."
Abstract

Cited by 31 (12 self)
 Add to MetaCart
with more than one simultaneously because it is defined only for a linear sequence of states. To overcome this limitation, we introduce the notion of Multidimensional Dynamic Logic Programming (MDLP), which generalizes DLP to collections of states organized in arbitrary acyclic digraphs representing
Dynamic Logic
 Handbook of Philosophical Logic
, 1984
"... ed to be true under the valuation u iff there exists an a 2 N such that the formula x = y is true under the valuation u[x=a], where u[x=a] agrees with u everywhere except x, on which it takes the value a. This definition involves a metalogical operation that produces u[x=a] from u for all possibl ..."
Abstract

Cited by 1008 (7 self)
 Add to MetaCart
possible values a 2 N. This operation becomes explicit in DL in the form of the program x := ?, called a nondeterministic or wildcard assignment. This is a rather unconventional program, since it is not effective; however, it is quite useful as a descriptive tool. A more conventional way to obtain a
The particel swarm: Explosion, stability, and convergence in a multidimensional complex space
 IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTION
"... The particle swarm is an algorithm for finding optimal regions of complex search spaces through interaction of individuals in a population of particles. Though the algorithm, which is based on a metaphor of social interaction, has been shown to perform well, researchers have not adequately explained ..."
Abstract

Cited by 822 (10 self)
 Add to MetaCart
explained how it works. Further, traditional versions of the algorithm have had some dynamical properties that were not considered to be desirable, notably the particles’ velocities needed to be limited in order to control their trajectories. The present paper analyzes the particle’s trajectory as it moves
Dynamic Logic Programming with Multiple Dimensions
"... According to the recently introduced notion of Dynamic Logic Programming, knowledge is given by a set of theories (encoded as logic programs) representing different states of the world. Different states may represent different time periods, different hierarchical instances, or even different domains ..."
Abstract
 Add to MetaCart
deal with more than one such dimensions simultaneously because it is only defined for linear sequences of states. In this paper, we extend Dynamic Logic Programming to allow for collections of states represented by arbitrary acyclic digraphs, introducing the notion of Multidimensional Dynamic Logic
GOLOG: A Logic Programming Language for Dynamic Domains
, 1994
"... This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world. This allo ..."
Abstract

Cited by 621 (72 self)
 Add to MetaCart
This paper proposes a new logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic world being modeled, on the basis of user supplied axioms about the preconditions and effects of actions and the initial state of the world
Abduction in Logic Programming
"... Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over th ..."
Abstract

Cited by 616 (76 self)
 Add to MetaCart
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over
Combining Societal Agents' Knowledge
 INFORMATICA, FACULDADE DE CIENCIAS E TECNOLOGIA, UNIVERSIDADE NOVA DE
, 2001
"... This paper explores the applicability of the new paradigm of Multidimensional Dynamic Logic Programming to represent an agent's view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MINERVA [11], an agent architecture and syste ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
This paper explores the applicability of the new paradigm of Multidimensional Dynamic Logic Programming to represent an agent's view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MINERVA [11], an agent architecture
Results 1  10
of
666,202