Christen Krogh

Learn More
legal entity epers Many agents are conceived to achieve certain goals on behalf of their owners by interacting with other agents. In order to make these agents behave so as not to violate other agent's rights (or, more uncontroversially: the rights of the owners of other agents), we have to build into agents an attitude about such rights. To do this, we(More)
The contribution of this paper 1 is threefold: First, we outline some possibilities for use of deontic logics (the logics of obligation and permission) in multiagent systems. Second, we point out some problems pertaining to the formalisation of obligations in a well known approach to multiagent systems (i.e. AOP). Third, we ooer our view on how a set of(More)
Two areas of importance for agents and multiagent systems are investigated: design of agent programming languages, and design of agent communication languages. The paper contributes in the above mentioned areas by demonstrating improved or novel applications for deontic logic and normative reasoning. Examples are taken from computer-supported cooperative(More)
This paper describes a prototype for centralised urban traffic control utilising techniques from the field of Artificial Intelligence. The focus of this presentation is on the prototype as a novel architecture for knowledge based traffic control. The prototype is called the Intelligent Urban Traffic Control System (IUTCS), and was developed under DRIVE 1.(More)
In this paper we propose an approach to the formalisation of rights building on the attempts of David Makinson and Lars Lindahl at improving Stig Kanger's formalisation of W.N. Hohfeld's theory. We are developing the suggestion of using indexes on modal operators to express that rights have direction. 1. INTRODUCTION If, by developing formal theories of(More)
The problem addressed are the sequencing of the signal stages in a junction. This is referred to as green time scheduling. A green time schedule can be understood as a signal plan. As a naive solution to this problem yields an exponential complexity algorithm, there is a need for more sophisticated methods in generating solutions. Literature shows attempts(More)