Context-based commonsense reasoning in the DALI logic programming language

Authors:
Stefania Costantini;Arianna Tocchio
Affiliations:
Università degli Studi di L'Aquila, Dipartimento di Informatica, L'Aquila, Italy;Università degli Studi di L'Aquila, Dipartimento di Informatica, L'Aquila, Italy
Venue:
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Year:
2003

Citing 4
Cited 1

AgentSpeak(L): BDI agents speak out in a logical computable language

MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
A Survey of Concurrent METATEM - the Language and its Applications

ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Logic Programming Language for Multi-agent Systems

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Towards a Unified Agent Architecture that Combines Rationality with Reactivity

LID '96 Proceedings of the International Workshop on Logic in Databases

Hierarchical decision making in multi-agent systems using answer set programming

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we will discuss the context management features of the new logic programming language DALI, aimed at defining agents and multi-agent systems. In particular, aDALI agent, which is capable of reactive and proactive behaviour, builds step-by-step her context. Context update is modelled by the novel concept of "evolutionary semantics", where each context manipulation is interpreted as a program transformation step.We show that this kind of context-based agent language is well-suited for representing many significant commonsense reasoning examples.