| P. Johannesson and P. Wohed, "Modelling Agent Communication in a First order Logic", (to appear in) Accounting, Management and Information Technologies, 1998. |
....formulas (representing assertions or assessments) can be obliged in Meyer s logic, and this has led to various extensions. These include (roughly in order of sophistication) a coupling to speech acts using illocutionary logic [13] a logic for action and norms [14] a first order action logic [24] (currently limited to pairwise obligations, i.e. broadcasting commitments is not possible) and even first steps towards a logic based social agent development language [1] Interestingly enough, the hard work put down to augment Meyer s logic is debatable in view of our somewhat controversial ....
P. Johannesson & P. Wohed: "Modelling Agent Communication in a First Order Logic", submitted.
No context found.
P. Johannesson and P. Wohed, "Modelling Agent Communication in a First order Logic", (to appear in) Accounting, Management and Information Technologies, 1998.
....representation of deontic structures. In order to provide a deeper representation, the deontic structures must be described by means of complementary formalisms. Adequate formalisms for this purpose may range from DEMO models, Dietz92] to illocutionary and deontic logics, Assenova96] [Johannesson98b], Dignum95] Utilising these formalisms, some of the vague notions in the deontic pattern, in particular subject matter and goal, can be made more precise. Furthermore, it will become possible to analyse in greater detail the different variants of the deontic pattern, and thereby construct a ....
P. Johannesson and P. Wohed, "Modelling Agent Communication in a First order Logic", (to appear in) Accounting, Management and Information Technologies, 1998.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC