Multi-dimensional Dynamic Logic Programming

This paper explores the applicability of the new paradigm of Multi-dimensional 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 system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, hat allows the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years.

• Type: Conference
• Year: 2000
• Where: CL
• Authors: João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira
• Keywords: Automated Reasoning, CL 2000, Logic Programming, Multi-dimensional Dynamic Logic, Societal Knowledge Dynamics