CTL AgentSpeak(L): a Specification Language for Agent Programs

International audienceThis work introduces CTL AgentSpeak(L), a logic to specify and verify expected properties of rational agents implemented in the well-known agent oriented programming language AgentSpeak(L) . Our approach is closely related to the BDICTLBDICTL multi-modal logic, used to reason about agents in terms of their beliefs (B), desires (D), intentions (I), and the temporal logic CTL. A new interpretation for the temporal operators, grounded in the transition system induced by the operational semantics of AgentSpeak(L), is proposed. The main contribution of the approach is a better understanding of the relation between the programming language and its logical specification, enabling us to prove expected or desired properties for any agent programmed in the language, e.g., commitment strategies. The results, as well as the specification language proposed, are very useful to reconcile computational and philosophical aspects of practical reasoning, e.g., approaching single-minded commitment as a policy-based reconsideration case

Agent-oriented domain-specific language for the development of intelligentdistributed non-axiomatic reasoning agents

У дисертацији је представљен прототип агентског, домен-оријентисаног језика ALAS. Основни мотиви развоја ALAS језика су подршка дистрибуираном не-аксиоматском резоновању као и омогућавање интероперабилности и хетерогене мобилности Siebog агената јер је приликом анализе постојећих агентских домен-оријентисаних језика утврђено да ни један језик не подржава ове захтеве. Побољшање у односу на сличне постојеће агентске, домен-оријентисане језике огледа се и у програмским конструктима које нуди ALAS језик а чија је основна сврха писање концизних агената који се извршавају у специфичним доменима.U disertaciji je predstavljen prototip agentskog, domen-orijentisanog jezika ALAS. Osnovni motivi razvoja ALAS jezika su podrška distribuiranom ne-aksiomatskom rezonovanju kao i omogućavanje interoperabilnosti i heterogene mobilnosti Siebog agenata jer je prilikom analize postojećih agentskih domen-orijentisanih jezika utvrđeno da ni jedan jezik ne podržava ove zahteve. Poboljšanje u odnosu na slične postojeće agentske, domen-orijentisane jezike ogleda se i u programskim konstruktima koje nudi ALAS jezik a čija je osnovna svrha pisanje konciznih agenata koji se izvršavaju u specifičnim domenima.The dissertation presents the prototype of an agent-oriented, domainspecific language ALAS. The basic motives for the development of the ALAS language are support for distributed non-axiomatic reasoning, as well as enabling the interoperability and heterogeneous mobility of agents, because it is concluded by analysing existing agent-oriented, domainspecific languages, that there is no language that supports these requirements. The improvement compared to similar existing agentoriented, domain-specific languages are also reflected in program constructs offered by ALAS language, whose the main purpose is to enable writing the concise agents that are executed in specific domains

Um modelo baseado em agentes para simular políticas de ordenamento de áreas de acolhimento empresarial: o caso da rede do Quadrilátero Urbano

Tese de doutoramento em Engenharia CivilA distribuição espacial das atividades económicas e, em particular das empresas, é um tema que tem estado no topo das preocupações do planeamento do território pelas suas fortes implicações económicas e sociais. Por isso, as entidades que gerem o território têm-se esforçado por atrair empresas através da disponibilização de espaços qualificados para o efeito - as áreas de acolhimento empresarial (AAE’s), que encerram objetivos de natureza económica, territorial e ambiental. Um planeamento adequado é uma condição fundamental para que um espaço empresarial registe uma elevada taxa de ocupação de empresas. Um mau planeamento, por seu lado, repele as empresas e obriga a esforços/custos adicionais para tornar estes espaços atrativos. Estas questões tornam-se ainda mais pertinentes quando estão em causa políticas públicas que têm contribuído para aumentar a oferta de AAE’s. Esse foi o caso do que aconteceu em Portugal ao longo das últimas décadas, o que torna esse contexto particularmente interessante para o estudo em questão. O objetivo da investigação foi o de desenvolver um modelo baseado em agentes para testar o impacto que diferentes políticas podem ter na melhoria da atratividade das AAE’s do Quadrilátero Urbano, designação dada a uma rede constituída pelos municípios de Barcelos, Braga, Guimarães e Vila Nova de Famalicão. O estudo identificou 79 AAE’s com condições de atratividade muito diversas, integrando-se a maior parte delas na tipologia de parques industriais. As políticas simuladas, através da plataforma NetLogo, diferem no nível de qualificação e de coordenação com que são aplicadas nas AAE’s. Os impactos das políticas foram avaliados através da simulação de cinco cenários: 1) contexto de baixa qualificação das AAE’s; 2) qualificação seletiva das AAE’s; 3) qualificação geral das AAE’s; 4) implementação das estratégias previstas pelos municípios; 5) simulação dinâmica com todas as empresas. Além disso, com o modelo procurou-se validar um conjunto de hipóteses sobre a implicação das políticas nas AAE’s. As hipóteses consideradas foram: 1) a coordenação supramunicipal das políticas provoca um aumento da atratividade de todas as AAE’s; 2) a coordenação supramunicipal das políticas conduz a um ritmo de ocupação igual das AAE’s nos municípios; 3) a coordenação supramunicipal das políticas gera uma diminuição da dispersão das empresas de igual forma nos quatro municípios; 4) as políticas de qualificação das AAE’s provocam um aumento da taxa de ocupação de todas as AAE’s; 5) as políticas de promoção de espaços empresariais desqualificados e dispersos são ineficazes na atração de empresas. Os resultados obtidos mostram que uma política de (re)qualificação se traduz num aumento do número de AAE’s atrativas, do número de empresas instaladas e do número de lotes/pavilhões ocupados pelas empresas. Estes benefícios aplicam-se tanto no caso da requalificação das AAE’s já instaladas, como no caso dos espaços previstos para o futuro. Além disso, se as políticas de (re)qualificação das AAE’s forem implementadas de uma forma coordenada, os impactos serão mais positivos do que se os municípios prosseguirem com políticas individuais. A coordenação é, portanto, fundamental para reforçar a competitividade dos territórios que pretendem afirmar-se em rede. No entanto, a conclusão mais importante revela que uma política integrada de qualificação poderá ter impactos diferenciados à escala local, pois nem todas as AAE’s se tornam atrativas para as empresas. A simulação demonstrou que os espaços com má localização e com baixos níveis de qualificação são repulsivos para as empresas, mesmo se forem sujeitos a um conjunto de melhorias ao nível das infraestruturas e das amenidades. Neste caso, os resultados mostram que a política de promoção de AAE’s dispersas e com baixos níveis de qualificação é ineficiente na atração de empresas. Estas ilações poderão, assim, ser um contributo importante para nortear as políticas de ordenamento preconizadas para as AAE’s, com o objetivo de reforçar a competitividade dos territórios e das empresas.The spatial distribution of economic activities and, in particular, of firms is a topic widely studied in territory planning for its strong economic and social implications. For that reason, the entities that manage the territory have made significant efforts to attract firms by offering specific areas for this purpose - the industrial estates, which encompass economic, territorial and environmental goals. Appropriate planning is an essential condition for the success of an industrial estate, towards assuring a high level of occupancy. On the other hand, inadequate planning can make these spaces unattractive to firms, requiring additional costs and efforts in order to improve its competitiveness. These issues are even more critical as public policies have contributed to increase the offer of industrial estates. This is the case of Portugal in recent decades, hence this issue is particularly interesting in the scope of the current study. The goal of this research is the development of an agent-based model to assess the impact of different policies in the attractiveness of the industrial estates located in the Quadrilátero Urbano, designation given to a network composed by the Portuguese municipalities of Barcelos, Braga, Guimarães and Vila Nova de Famalicão. The study identified 79 industrial estates with different attractiveness conditions, the majority of which are classified as industrial parks. The policies were simulated through the NetLogo toolkit and can be distinguished by the level of qualification and coordination implemented by the municipalities. The impact of these policies were evaluated through the simulation of the five following scenarios: 1) low level of qualification of the industrial estates; 2) selective qualification of the industrial estates; 3) general qualification of all industrial estates; 4) implementation of the strategies defined by the municipalities; 5) dynamic simulation with all the firms. Furthermore, the model was developed to validate a set of five hypotheses in the implication of the policies adopted in the industrial estates. The following hypotheses were considered: 1) the supramunicipal coordination of the policies increases the attractiveness of all industrial estates; 2) the supramunicipal coordination of the policies leads to a similar occupancy pattern of the estates in all municipalities; 3) the supramunicipal coordination of the policies generates an even reduction of the sprawl of firms in the four municipalities; 4) the qualification policies increase the occupancy rate in all estates; 5) the policies of promotion of diffused estates with low levels of qualification are inefficient tools to attract firms. Results show that the adoption of a qualification policy has a positive impact in the performance of the industrial estates, improving the number of attractive estates, the number of relocated firms and the number of plots occupied by firms. These benefits encompass both the existing estates, as well as the predicted new sites. In addition, the model demonstrated that if these policies are implemented in a coordinated manner, the impact will be greater than if municipalities individually pursue their initiatives. Thus, the coordination and the adoption of supramunicipal planning principles are essential to strengthen the competitiveness of territories that aim to grow as a network. However, the most important outcome shows that the adoption of a coordinated qualification policy can produce different impacts at a local/municipal scale, as some industrial estates remain unattractive to firms. The simulation demonstrated that the estates with worst location and with low coverage of facilities and amenities remain repulsive to firms even if subjected to an upgrade. In this case, the model clearly validated the hypothesis that the promotion of dispersed industrial estates with low levels of qualification is an inefficient policy to attract firms. These conclusions can provide an important contribution to guide planning policies directed to industrial estates with the aim of enhancing its territorial and entrepreneurial competitiveness