First order action logic: an approach for modeling the communication process between agents

Authors:
Petia Assenova;Paul Johannesson
Affiliations:
Department of Computer and Systems Sciences, Stockholm University, Kista, Sweden;Department of Computer and Systems Sciences, Stockholm University, Kista, Sweden
Venue:
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
Year:
1996

Citing 10
Cited 1

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Computer systems and the design of organizational interaction

ACM Transactions on Information Systems (TOIS)
One the design and implementation of information systems from deductive conceptual models

VLDB '89 Proceedings of the 15th international conference on Very large data bases
The Requirements Apprentice: Automated Assistance for Requirements Acquisition

IEEE Transactions on Software Engineering
Agent-oriented programming

Artificial Intelligence
Temporal reasoning in logic programming: a case for the situation calculus

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Artificial intelligence: a modern approach

Artificial intelligence: a modern approach
Representation and communication—a speech act based approach to information systems design

Information Systems - Special issue: advanced information systems engineering
Modelling Communication between Cooperative Systems

CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
Reusability Framework, Assessment, and Directions

IEEE Software

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the design of information systems, the notion of agent has proven useful. When modelling communication among agents, deontic concepts, such as obligations, permissions, and prohibitions are essential. The dynamics of obligations, i.e., how obligations are created and destroyed, can effectively be described by means of notions from speech act theory. In this paper, we present a language that includes deontic and illocutionary constructs for the modelling of communication between agents. The language is a logic programming language, which gives it a simple semantics and makes it executable. A distinguishing feature of the language is that it is able to represent time explicitly, which is required to give an adequate semantics for deontic constructs.