The declarative representation of knowledge is a strategic issue to develop
intelligent software systems. Argumentation theory and logic make explicit
information in order to enable automatic forms of reasoning.
Logic programming operates at a high conceptual level of abstraction allowing
object-level and metalevel representations to be combined, as in natural language.
It makes easy the build of interpreters and supports for different types of inference.
Exploiting the logic and metalogic programming with an explicit knowledge representation based on argument we have presented a SANA framework (Supporting Artifacts for Negotiation with Argumentation) for negotiation dialogues using argumentation between agents.
We have also proposed a Sthocastic Framework based on Prolog for complex
simulation purpose where the meta-interpreter realizes the simulation making the probalistic choice between labeled clause.
Following the experience of metalogic programming we have experimented a
model driven approach to build eLearning applications, rooted on the explicit
representation of the model of the didactic content, based on a metamodel
language expressed in Ecore.
|