Christen Krogh

Learn 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)
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 need a language to(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)
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)
If, by developing formal theories of rights, we could get a clear hold on what we mean by saying that someone has a certain right, then moral and legal discourse might become less vague and confused. Furthermore, a formal theory of rights would be an important contribution to the construction of computer programs to aid in systems specification and legal(More)
The history of deontic logic, "L'histoire d'O", is written without revealing the identity of the agents involved. In this paper, we shall propose a system which enables the disclosure of details about who are obliged to what to whom. To be more specific, we shall investigate the possibilities of making a semantic model which will enable us to distinguish(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)
  • 1