Towards Modular Reasoning for Context-Oriented Programs

2016 ◽  
Author(s):  
Tomoyuki Aotani ◽  
Gary T. Leavens
Keyword(s):  
Modular Reasoning

Modular reasoning about concurrent higher-order imperative programs

2014 ◽  
Vol 49 (1) ◽  
pp. 1-1
Author(s):  
Lars Birkedal
Keyword(s):  
Higher Order ◽  
Modular Reasoning

Modular reasoning about structured TLA specifications

1999 ◽  
pp. 217-229 ◽  
Author(s):  
Georg Rock ◽  
Werner Stephan ◽  
Andreas Wolpers
Keyword(s):  
Modular Reasoning

Autonomous Agents Adopting Organizational Rules

2009 ◽  
pp. 314-333 ◽  
Author(s):  
Bob van der Vecht ◽  
Frank Dignum ◽  
John-Jules Ch. Meyer
Keyword(s):  
Autonomous Agents ◽  
Event Processing ◽  
Modular Approach ◽  
Organizational Models ◽  
Bottom Up ◽  
Organizational Goals ◽  
Reasoning Process ◽  
Modular Reasoning ◽  
Organizational Rules

This chapter discusses how autonomous agents can adopt organizational rules into their reasoning process. Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relations, norms, and interactions. We have developed a method to translate norms into event-processing rules of the agents. We propose a modular reasoning model that includes the organizational rules explicitly. Since the agents are autonomous, they will have their own reasoning rules next to the organizational rules. The modular approach allows for meta-reasoning about these rules. We show that this stimulates bottom-up dynamics in the organization.

Sign in / Sign up

Export Citation Format

Share Document