CRAFTING THE MIND OF PROSOCS AGENTS

PROSOCS agents are software agents that are built according to the KGP model of agency. KGP is used as a model for the mind of the agent, so that the agent can act autonomously using a collection of logic theories, providing the mind's reasoning functionalities. The behavior of the agent is controlled by a cycle theory that specifies the agent's preferred patterns of operation. The implementation of the mind's generic functionality in PROSOCS is worked out in such a way so it can be instantiated by the platform for different agents across applications. In this context, the development of a concrete example illustrates how an agent developer might program the generic functionality of the mind for a simple application. 20 2-4 105 131 Cited By :1

Learning Rules from User Behaviour

Accepted versio

A web application to optimization of transport in military operations

Transport is an operation necessary to carry out any logistical mission, especially in times of war, peace or natural disasters. The distribution of the necessary demanded resources is done from a military unit, to the different locations or military bases. However, operational efficiency depends on the planners. In more than 60% of trips, shipping and return isn’t efficient, even between the same units. The cause is the non-consolidation of trips and the lack of return load, coming from perimeter units. Planning is done without consolidating trips and in many cases on demand. It’s presented a web application, a parametric framework to any geographical area, given the integration with applications such as Google Maps®. Computational times are reasonable, given a to hardiness to the problem. The software architecture is scalable and extensible, complying with software quality practices present in ISO 25000

Inference from controversial arguments

International audienceWe present new careful semantics within Dung's theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of them indirectly attacks a third argument while the other one indirectly defends the third.We argue that our semantics lead to a better handling of controversial arguments than Dung's ones in some settings. We compare the careful inference relations induced by our semantics w.r.t. cautiousness; we also compare them with the inference relations induced by Dung's semantic

A Case Based Reasoning View of School Dropout Screening

The cause for student dropout is often termed as the antecedent of failure, since it stands for a key event, which leads to dropout. Indeed, school dropout is well thought out as one of the major worries of our times. It is a multi-layered and complex phenomenon, with many triggers, namely academic striving and failure, poor attendance, retention, disengagement from school or even socio-economic motives. School dropout represents economic and social losses to the individual, family and community. However, it may be prevented if the educational actors hold pro-active strategies (e.g., taking into account similar past experiences). Indeed, this work will start with the development of a decision support system to assess school dropout, centered on a formal framework based on Logic Programming for Knowledge Representation, complemented with a Case-Based Reasoning approach to problem solving, which caters for the handling of incomplete, unknown, or even contradictory information, i.e., it improves the analysis enactment of the retrieving cases process

Intelligent negotiation model for ubiquitous group decision scenarios

Supporting group decision-making in ubiquitous contexts is a complex task that must deal with a large amount of factors to succeed. Here we propose an approach for an intelligent negotiation model to support the group decision-making process specially designed for ubiquitous contexts. Our approach can be used by researchers that intend to include arguments, complex algorithms and agents' modelling in a negotiation model. It uses a social networking logic due to the type of communication employed by the agents and it intends to support the ubiquitous group decision-making process in a similar way to the real process, which simultaneously preserves the amount and quality of intelligence generated in face-to-face meetings. We propose a new look into this problematic by considering and defining strategies to deal with important points such as the type of attributes in the multicriteria problems, agents' reasoning and intelligent dialogues.This work has been supported by COMPETE Programme (operational programme for competitiveness) within project POCI-01-0145-FEDER-007043, by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the Projects UID/CEC/00319/2013, UID/EEA/00760/2013, and the João Carneiro PhD grant with the reference SFRH/BD/89697/2012 and by Project MANTIS - Cyber Physical System Based Proactive Collaborative Maintenance (ECSEL JU Grant nr. 662189).info:eu-repo/semantics/publishedVersio