976 resultados para agent knowledge bases
Resumo:
Ohjelmistoteollisuudessa pitkiä ja vaikeita kehityssyklejä voidaan helpottaa käyttämällä hyväksi ohjelmistokehyksiä (frameworks). Ohjelmistokehykset edustavat kokoelmaa luokkia, jotka tarjoavat yleisiä ratkaisuja tietyn ongelmakentän tarpeisiin vapauttaen ohjelmistokehittäjät keskittymään sovelluskohtaisiin vaatimuksiin. Hyvin suunniteltujen ohjelmistokehyksien käyttö lisää suunnitteluratkaisujen sekä lähdekoodin uudelleenkäytettävyyttä enemmän kuin mikään muu suunnittelulähestymistapa. Tietyn kohdealueen tietämys voidaan tallentaa ohjelmistokehyksiin, joista puolestaan voidaan erikoistaa viimeisteltyjä ohjelmistotuotteita. Tässä diplomityössä kuvataan ohjelmistoagentteihin (software agents) perustuvaa ohjelmistokehyksen suunnittelua toteutusta. Pääpaino työssä on vaatimusmäärittelyä vastaavan suunnitelman sekä toteutuksen kuvaaminen ohjelmistokehykselle, josta voidaan erikoistaa erilaiseen tiedonkeruuseen kykeneviä ohjelmistoja Internet ympäristöön. Työn kokeellisessa osuudessa esitellään myös esimerkkisovellus, joka perustuu työssä kehitettyyn ohjelmistokehykseen.
Resumo:
In my thesis, I defend the idea that Aristotle's notion of phronêsis (practical wisdom) is best understood as a kind of practical knowledge. I interpret phronêsis as the knowledge we display when we make the correct decision to act. In a particular situation that demands a specific response, we have practical knowledge of what to do when we make the best decision possible. This interpretation of phronêsis involves that it is possible to evaluate our decisions epistemically, that is, to evaluate whether we really know what to do or not. Aristotle provides a tool for the evaluation of our decisions, which is a definite kind of argument and which the tradition has called the 'practical syllogism'. The practical syllogism stands as the explanation of our decisions or actions. We invoke it when we want to explain or justify why we act as we do. My claim is that the components of the practical syllogism enable one to evaluate not only the moral character of our actions, but also the epistemic strength of our decisions. Correspondingly, a decision is morally right, i.e. virtuous, if the agent considers the right moral principle to apply, and if he is aware of the relevant circumstances of the situation (moral evaluation). Moreover, a decision displays practical knowledge if the agent meets three conditions (epistemic evaluation): he must desire the moral principle for its own sake; he must have experience in spotting the relevant circumstances of the situation; and he must be able to closely connect these circumstances with the moral principle. This interpretation of phronêsis differs from other more traditional interpretations in the emphasis it puts on phronêsis as knowledge. Other interpretations focus more on the moral dimension on phronêsis, without taking its epistemic value seriously. By contrast, I raise seriously the question of what it takes to genuinely know what one should do in a particular situation. -- Dans ma thèse, je défends l'idée que la notion aristotélicienne de phronêsis (sagesse pratique) doit être interprétée comme connaissance pratique. Je comprends la phronêsis comme étant la connaissance que nous avons lorsque nous prenons une bonne décision. Dans une situation particulière qui demande une réponse précise, nous avons une connaissance pratique lorsque nous prenons la meilleure décision possible. Cette interprétation de la phronêsis implique qu'il est possible d'évaluer nos décisions de manière épistémique, c'est-à-dire, d'évaluer si nous savons vraiment ce qu'il faut faire ou non. Ma position est qu'Aristote fournit un outil pour évaluer épistémiquement nos décisions, qui consiste en un certain type d'argument et que la tradition a appelé le 'syllogisme pratique'. Le syllogisme pratique correspond à l'explication de nos décisions ou de nos actions. Nous invoquons un syllogisme pratique lorsque nous voulons expliquer ou justifier pourquoi nous agissons comme nous le faisons. Les éléments du syllogisme pratique permettent d'évaluer non seulement le caractère moral de nos actions, mais aussi la force épistémique de nos décisions. Par conséquent, une décision est moralement correcte, i.e. vertueuse, si l'agent considère le bon principe moral, et s'il est attentif aux circonstances pertinentes de la situation (évaluation morale). En outre, une décision inclut la connaissance pratique si l'agent remplit trois conditions (évaluation épistémique) : il doit désirer le principe moral pour lui-même, il doit avoir de l'expérience pour déceler les circonstances pertinentes, et il doit pouvoir lier intimement ces circonstances avec le principe moral. Cette interprétation de la phronêsis diffère d'autres interprétations plus traditionnelles par l'emphase mise sur la phronêsis en tant que connaissance. D'autres interprétations se concentrent plus sur la dimension morale de la phronêsis, sans se préoccuper sérieusement de sa valeur épistémique. Au contraire, je pose sérieusement la question des conditions nécessaires pour réellement savoir ce qu'il faut faire dans une situation donnée.
Resumo:
Tot seguit presentem un entorn per analitzar senyals de tot tipus amb LDB (Local Discriminant Bases) i MLDB (Modified Local Discriminant Bases). Aquest entorn utilitza funcions desenvolupades en el marc d’una tesi en fase de desenvolupament. Per entendre part d’aquestes funcions es requereix un nivell de coneixement avançat de processament de senyals. S’han extret dels treballs realitzats per Naoki Saito [3], que s’han agafat com a punt de partida per la realització de l’algorisme de la tesi doctoral no finalitzada de Jose Antonio Soria. Aquesta interfície desenvolupada accepta la incorporació de nous paquets i funcions. Hem deixat un menú preparat per integrar Sinus IV packet transform i Cosine IV packet transform, tot i que també podem incorporar-n’hi altres. L’aplicació consta de dues interfícies, un Assistent i una interfície principal. També hem creat una finestra per importar i exportar les variables desitjades a diferents entorns. Per fer aquesta aplicació s’han programat tots els elements de les finestres, en lloc d’utilitzar el GUIDE (Graphical User Interface Development Enviroment) de MATLAB, per tal que sigui compatible entre les diferents versions d’aquest programa. En total hem fet 73 funcions en la interfície principal (d’aquestes, 10 pertanyen a la finestra d’importar i exportar) i 23 en la de l’Assistent. En aquest treball només explicarem 6 funcions i les 3 de creació d’aquestes interfícies per no fer-lo excessivament extens. Les funcions que explicarem són les més importants, ja sigui perquè s’utilitzen sovint, perquè, segons la complexitat McCabe, són les més complicades o perquè són necessàries pel processament del senyal. Passem cada entrada de dades per part de l’usuari per funcions que ens detectaran errors en aquesta entrada, com eliminació de zeros o de caràcters que no siguin números, com comprovar que són enters o que estan dins dels límits màxims i mínims que li pertoquen.
Resumo:
The National Seaman’s Association was a labour recruiter hiding behind a union-like name. It was run by H.N. McMaster who collected fees from companies and dues from workers. With McMaster in charge, shipping interests could claim that their seamen had a union, but ship-owners were free to push their vessels and their workers to the breaking point. In 1935, the members on the Great Lakes decided to strike. One year later, they created their own union and amalgamated with a Montreal-based independent body to create the Canadian Seamen’s Union headed by a ship’s cook who became a union leader, John Allan Patrick “Pat” Sullivan. By the late 1940s, almost all sailors on Canadian ships were CSU members. Right from its inception in 1936, Communists were prominent among the leaders of the union. Sullivan had been recruited to the Communist party that year and the union had a close rapport with the party. On June 8, 1940, Pat Sullivan was arrested because of his affiliation with the Communist party. He was incarcerated until March 20, 1942. No charges were laid, no bail was set and there was no trial. After his release, Sullivan was elected second vice-president of the Trades and Labour Congress of Canada. In 1943, Percy Bengough was elected as president and Sullivan was elected as secretary treasurer of the TLC while maintaining his role as president of the CSU. On March 14, 1947 Sullivan made a shocking announcement that he was resigning from the CSU and the Labor-Progressive Party. He claimed that the CSU was under the full control of the Communists. Within a month of this announcement, he emerged as the president of the Canadian Lake Seamen’s Union. Ship-owners never really reconciled themselves to having their industry unionized, and in 1946 there was a seamen’s strike in which the union won the eight-hour day. In 1949, the shipping companies had a plan to get rid of the union and were negotiating behind their back with the Seafarers International Union (SIU). In a brutal confrontation, led by Hal Banks, an American ex-convict, the SIU was able to roust the CSU and take over the bargaining rights of Canadian seamen. On July 15, 1948, Robert Lindsay, who was Sullivan’s Welland business agent said that to the best of his knowledge, Sullivan’s outfit, the CLSU, was under the control of some of the Steamship Companies. Lindsay had heard that there was a movement to get rid of Bengough of the Trades and Labour Congress as well as elements of the CSU. He also had heard that the CLSU wanted to affiliate with the American Federation of Labor. Lindsay’s allegations raised the questions: Were the ship-owners powerful enough to oust Percy Bengough because he supported the seamen? Could the CLSU get an affiliation with the American Federation of Labor? and Would the American Federation of Labor actually affiliate with a union that was siding with employers against a locked-out union?
Resumo:
Le présent projet vise à documenter la nécessité d’augmenter notre connaissance de la présence des contaminants organiques tels que les médicaments dans l’environnement et d’évaluer leur devenir environnemental. On a étudié la présence de composés pharmaceutiques dans différents échantillons d'eau. On a focalisé nos efforts spécialement sur les échantillons d'eau de l'usine d'épuration de la Ville de Montréal et ses effluents, les eaux de surface avoisinantes et l’eau du robinet dans la région de Montréal. Pour ce faire, on a tout d’abord développé deux méthodes analytiques automatisées basées sur la chromatographie liquide avec extraction en phase solide (SPE) couplée à la chromatographie liquide couplée à la spectrométrie de masse en tandem (LC-MS/MS). On a également étudié les performances des trois techniques d'ionisation à pression atmosphérique (API), pour ensuite les utiliser dans la méthode analytique développée. On a démontré que l'ionisation par électronébulisation (ESI) est une méthode d'ionisation plus efficace pour l'analyse des contaminants pharmaceutiques dans des échantillons de matrices très complexes comme les eaux usées. Une première méthode analytique SPE couplée à la LC-MS/MS a été développée et validée pour l'étude des échantillons complexes provenant de l'usine d'épuration de la Ville de Montréal et des eaux de surface près de l'usine. Cinq médicaments de prescription ont été étudiés: le bézafibrate (un régulateur de lipides), le cyclophosphamide et le méthotrexate (deux agents anticancéreux), l'orlistat (un agent anti-obésité) et l’énalapril (utilisé dans le traitement de l'hypertension). La plupart de ces drogues sont excrétées par le corps humain et rejetées dans les eaux usées domestiques en faisant par la suite leur chemin vers les usines municipales de traitement des eaux usées. On a pu démontrer qu'il y a un faible taux d’élimination à l'usine d'épuration pour le bézafibrate et l'énalapril. Ces deux composés ont aussi été détectés dans les eaux de surface sur un site à proximité immédiate de la décharge de l’effluent de la station d'épuration. i En observant la nécessité de l'amélioration des limites de détection de la première méthode analytique, une deuxième méthode a été développée. Pour la deuxième méthode, un total de 14 contaminants organiques, incluant trois agents anti-infectieux (clarithromycin, sulfaméthoxazole et triméthoprime), un anticonvulsant (carbamazépine) et son produit de dégradation (10,11-dihydrocarbamazépine), l'agent antihypertensif (enalapril), deux antinéoplastiques utilisés en chimiothérapie (cyclophosphamide et méthotrexate), des herbicides (atrazine, cyanazine, et simazine) et deux produits de transformation de l’atrazine (deséthylatrazine et déisopropylatrazine) ainsi qu’un agent antiseptique (triclocarban). Ces produits ont été quantifiés dans les eaux de surface ainsi que dans l’eau du robinet. L'amélioration des limites de détection pour cette méthode a été possible grâce à la charge d'un volume d'échantillon supérieur à celui utilisé dans la première méthode (10 mL vs 1 mL). D'autres techniques de confirmation, telles que les spectres des ions produits utilisant une pente d’énergie de collision inverse dans un spectromètre de masse à triple quadripôle et la mesure des masses exactes par spectrométrie de masse à temps d’envol, ont été explorées. L'utilisation d'un analyseur de masse à temps d’envol a permis la confirmation de 6 des 14 analytes. Finalement, étant donné leur haute toxicité et pour évaluer leur persistance et leur transformation au niveau du traitement des eaux potables, la cinétique d'oxydation du cyclophosphamide et de méthotrexate avec l'ozone moléculaire et des radicaux OH a été étudiée. Les constantes de dégradation avec l'ozone moléculaire ont été calculées et la qualité de l'eau après traitement a pu être évaluée. Le rendement du processus d'ozonation a été amélioré pour la cyclophosphamide dans les eaux naturelles, en raison de la combinaison de réactions directes et indirectes. Cette étude a montré que l'ozone est très efficace pour oxyder le méthotrexate mais que le cyclophosphamide serait trop lent à s’oxyder pour un traitement efficace aux conditions usuelles de traitement de l’eau potable.
Resumo:
Les connaissances que nous avons sur les personnes familières et célèbres représentent un des grands domaines de la mémoire sémantique. Elles ont une valeur sociale importante puisqu'elles nous permettent de reconnaître et d'identifier les personnes que nous connaissons et de les distinguer de personnes que nous ne connaissons pas. La présente thèse comporte deux volets : le premier volet porte sur l’étude des substrats cérébraux du traitement sémantique sur les personnes célèbres chez le jeune adulte, alors que le deuxième volet porte sur l’étude des connaissances sémantiques sur les personnes célèbres chez la personne âgée sans troubles cognitifs, atteinte d’un Trouble cognitif léger de type amnésique (TCLa), d’un Trouble cognitif léger de type amnésique avec symptômes dépressifs (TCLa-D) ou de dépression tardive. Plus précisément, ce dernier volet étudie la relation entre les troubles sémantiques et la présence de symptômes dépressifs. Le premier volet a donc pour objectif d’explorer en imagerie par résonance magnétique fonctionnelle (IRMf) les substrats cérébraux sous-tendant le traitement sémantique de visages célèbres comparé au traitement perceptif (Article 1). Le rôle des régions temporales postérieures (occipito-temporales) dans le traitement perceptif des visages est aujourd’hui bien établi. Les lobes temporaux antérieurs (LTA) semblent avoir un rôle particulièrement important dans l’identification des visages familiers et connus, mais le rôle précis de cette région dans le traitement sémantique des visages connus demeure encore mal compris. Le premier article met ainsi en lumière les régions corticales impliquées dans le processus de reconnaissance de visages, soit du traitement perceptif au traitement sémantique qui nous permet d’identifier et de retrouver des informations biographiques sur le visage qui nous est présenté. Les présents résultats appuient le modèle proposé par Haxby et collègues (2000) selon lequel la région des lobes temporaux antérieurs (LTA) soit associée au traitement sémantique des visages de personnes célèbres. Quant au deuxième volet, il a pour objectif d’étudier au niveau comportemental l’intégrité des connaissances sémantiques biographiques spécifiques et générales chez des personnes âgées sans troubles cognitifs, atteinte d’un TCLa ou d’un TCLa avec symptômes dépressifs (TCLa-D) ou de dépression tardive. (Article 2). La dépression a été jugée comme étant un facteur interdépendant pouvant jouer un rôle dans la variabilité de la présentation clinique des individus TCLa. En effet, il semble que la présence de symptômes dépressifs influence le profil cognitif des individus TCLa, surtout en ce qui à trait aux fonctions exécutives et à la mémoire épisodique. Cependant, aucune étude n’a à ce jour étudié l’impact des symptômes dépressifs sur la mémoire sémantique des personnes célèbres chez les individus TCLa. Les présents résultats indiquent que les individus TCLa montrent des déficits pour le traitement sémantique des personnes célèbres, et que ces déficits sont modulés par la présence d’une symptomatologie dépressive. La dépression à elle seule ne peut toutefois engendrer des déficits sémantiques puisque le groupe ayant une dépression tardive n’a démontré aucune atteinte de la mémoire sémantique. Les implications théoriques et cliniques de ces résultats seront discutées, ainsi que les limites et perspectives futures.
Resumo:
Cette recherche explore les rapports entre les amateurs et les professionnels scientifiques dans Foldit, une expérience de science participative sur Internet. Foldit est un jeu vidéo en ligne qui permet aux participants de trouver la façon dont les protéines se plient. Amateurs et professionnels de la science ont traversé une longue route colorée de partenariats et de démarcations. À l'heure actuelle, cette démarche se voit complexifiée par un environnement numérique qui relève le phénomène de la participation et la montée de la figure de l'amateur, notamment dans la production de connaissance. Si cette participation sur la Toile est considérée, par certains courants de pensée, comme le germe d'une nouvelle économie voire d'une nouvelle société (Benkler, 2006 ; Bauwens, 2012b), elle est aussi dénoncée par l'approche critique du capitalisme informationnel, comme une sorte de travail immatériel non rémunéré soumis à des relations d'exploitation (Moulier Boutang, 2007 ; Pasquinelli, 2010). Dans ce contexte, ce mémoire propose une exploration des sciences participatives, afin d'examiner les rapports qui s'établissent entre les acteurs de ces expériences productrices de connaissance et de données immatérielles. Ces rapports s'expriment à travers les échanges qui se déroulent sur le site web Foldit. La méthodologie qualitative mise en oeuvre a été complétée par l'observation de terrain et les entretiens semi-structurés avec des participants-joueurs et des membres de l'équipe scientifique du jeu. Les rapports trouvés dans Foldit se révèlent contextualisés, performatifs et sont façonnés par les compétences mises en jeu par les acteurs. Des rapports d'asymétrie, de coopération et de négociation sont repérés dans Foldit. Cette recherche veut contribuer ainsi à une meilleure compréhension des collectifs présents sur Internet ainsi que des rapports établis entre eux.
Resumo:
La présente thèse se base sur les principes de la théorisation ancrée (Strauss & Corbin, 1998) afin de répondre au manque de documentation concernant les stratégies adoptées par des « agents intermédiaires » pour promouvoir l’utilisation des connaissances issues de la recherche auprès des intervenants en éducation. Le terme « agent intermédiaire » réfère aux personnes qui sont positionnées à l’interface entre les producteurs et les utilisateurs des connaissances scientifiques et qui encouragent et soutiennent les intervenants scolaires dans l’application des connaissances scientifiques dans leur pratique. L’étude s’inscrit dans le cadre d’un projet du ministère de l’Éducation, du Loisir et du Sport du Québec visant à améliorer la réussite scolaire des élèves du secondaire provenant de milieux défavorisés. Des agents intermédiaires de différents niveaux du système éducatif ayant obtenu le mandat de transférer des connaissances issues de la recherche auprès des intervenants scolaires dans les écoles visées par le projet ont été sollicités pour participer à l’étude. Une stratégie d’échantillonnage de type « boule-de-neige » (Biernacki & Waldorf, 1981; Patton, 1990) a été employée afin d’identifier les personnes reconnues par leurs pairs pour la qualité du soutien offert aux intervenants scolaires quant à l’utilisation de la recherche dans leur pratique. Seize entrevues semi-structurées ont été réalisées. L’analyse des données permet de proposer un modèle d’intervention en transfert de connaissances composé de 32 stratégies d’influence, regroupées en 6 composantes d’intervention, soit : relationnelle, cognitive, politique, facilitatrice, évaluative, de même que de soutien et de suivi continu. Les résultats suggèrent que les stratégies d’ordre relationnelle, cognitive et politique sont interdépendantes et permettent d’établir un climat favorable dans lequel les agents peuvent exercer une plus grande influence sur l’appropriation du processus de l’utilisation des connaissances des intervenants scolaire. Ils montrent en outre que la composante de soutien et de suivi continu est importante pour maintenir les changements quant à l’utilisation de la recherche dans la pratique chez les intervenants scolaires. Les implications théoriques qui découlent du modèle, ainsi que les explications des mécanismes impliqués dans les différentes composantes, sont mises en perspective tant avec la documentation scientifique en transfert de connaissances dans les secteurs de la santé et de l’éducation, qu’avec les travaux provenant de disciplines connexes (notamment la psychologie). Enfin, des pistes d’action pour la pratique sont proposées.
Resumo:
Travail dirigé présenté à la Faculté des sciences infirmières en vue de l'obtention du grade de maître ès Sciences (M.Sc.)
Resumo:
This research is a study about knowledge interface that aims to analyse knowledge discontinuities, the dynamic and emergent characters of struggles and interactions within gender system and ethnicity differences. The cacao boom phenomenon in Central Sulawesi is the main context for a changing of social relations of production, especially when the mode of production has shifted or is still underway from subsistence to petty commodity production. This agrarian change is not only about a change of relationship and practice, but, as my previous research has shown, also about the shift of knowledge domination, because knowledge construes social practice in a dialectical process. Agroecological knowledge is accumulated through interaction, practice and experience. At the same time the knowledge gained from new practices and experiences changes mode of interaction, so such processes provide the arena where an interface of knowledge is manifested. In the process of agro-ecological knowledge interface, gender and ethnic group interactions materialise in the decision-making of production and resource allocation at the household and community level. At this point, power/knowledge is interplayed to gain authority in decision-making. When authority dominates, power encounters resistance, whereas the dominant power and its resistance are aimed to ensure socio-economic security. Eventually, the process of struggle can be identified through the pattern of resource utilisation as a realisation of production decision-making. Such processes are varied from one community to another, and therefore, it shows uniqueness and commonalities, especially when it is placed in a context of shifting mode of production. The focus is placed on actors: men and women in their institutional and cultural setting, including the role of development agents. The inquiry is informed by 4 major questions: 1) How do women and men acquire, disseminate, and utilise their agro ecological knowledge, specifically in rice farming as a subsistence commodity, as well as in cacao farming as a petty commodity? How and why do such mechanisms construct different knowledge domains between two genders? How does the knowledge mechanism apply in different ethnics? What are the implications for gender and ethnicity based relation of production? ; 2) Using the concept of valued knowledge in a shifting mode of production context: is there any knowledge that dominates others? How does the process of domination occur and why? Is there any form of struggle, strategies, negotiation, and compromise over this domination? How do these processes take place at a household as well as community level? How does it relate to production decision-making? ; 3) Putting the previous questions in two communities with a different point of arrival on a path of agricultural commercialisation, how do the processes of struggle vary? What are the bases of the commonalities and peculiarities in both communities?; 4) How the decisions of production affect rice field - cacao plantation - forest utilisation in the two villages? How does that triangle of resource use reflect the constellation of local knowledge in those two communities? What is the implication of this knowledge constellation for the cacao-rice-forest agroecosystem in the forest margin area? Employing a qualitative approach as the main method of inquiry, indepth and dialogic interviews, participant observer role, and document review are used to gather information. A small survey and children’s writing competition are supplementary to this data collection method. The later two methods are aimed to give wider information on household decision making and perception toward the forest. It was found that local knowledge, particularly knowledge pertaining to rice-forest-cacao agroecology is divided according to gender and ethnicity. This constellation places a process of decision-making as ‘the arena of interface’ between feminine and masculine knowledge, as well as between dominant and less dominant ethnic groups. Transition from subsistence to a commercial mode of production is a context that frames a process where knowledge about cacao commodity is valued higher than rice. Market mechanism, as an external power, defines valued knowledge. Valued knowledge defines the dominant knowledge holder, and decision. Therefore, cacao cultivation becomes a dominant practice. Its existence sacrifices the presence of rice field and the forest. Knowledge about rice production and forest ecosystem exist, but is less valued. So it is unable to challenge the domination of cacao. Various forms of struggles - within gender an ethnicity context - to resist cacao domination are an expression of unequal knowledge possession. Knowledge inequality implies to unequal access to withdraw benefit from market valued crop. When unequal knowledge fails to construct a negotiated field or struggles fail to reveal ‘marginal’ decision, e.g. intensification instead of cacao expansion to the forest, interface only produces divergence. Gender and ethnicity divided knowledge is unabridged, since negotiation is unable to produce new knowledge that accommodates both interests. Rice is loaded by ecological interest to conserve the forest, while cacao is driven by economic interest to increase welfare status. The implication of this unmediated dominant knowledge of cacao production is the construction of access; access to the forest, mainly to withdraw its economic benefit by eliminating its ecological benefit. Then, access to cacao as the social relationship of production to acquire cacao knowledge; lastly, access to defend sustainable benefit from cacao by expansion. ‘Socio-economic Security’ is defined by Access. The convergence of rice and cacao knowledge, however, should be made possible across gender and ethnicity, not only for the sake of forest conservation as the insurance of ecological security, but also for community’s socio-economic security. The convergence might be found in a range of alternative ways to conduct cacao sustainable production, from agroforestry system to intensification.
Resumo:
Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic system has been used to build a data base of definitions and lemmas leading to a proof of the Stone representation theorem for Boolean lattices. The Ontic system has been used to explore issues in knowledge representation, automated deduction, and the automatic use of large data bases.
Resumo:
This paper shows the impact of the atomic capabilities concept to include control-oriented knowledge of linear control systems in the decisions making structure of physical agents. These agents operate in a real environment managing physical objects (e.g. their physical bodies) in coordinated tasks. This approach is presented using an introspective reasoning approach and control theory based on the specific tasks of passing a ball and executing the offside manoeuvre between physical agents in the robotic soccer testbed. Experimental results and conclusions are presented, emphasising the advantages of our approach that improve the multi-agent performance in cooperative systems
Resumo:
El Instituto Internacional Central para la Televisión Juvenil y Educativa (IZI) es un centro de investigación y documentación dedicado a promover la calidad en la televisión y medios de comunicación para niños y jóvenes y educación. El departamento de documentación del IZI cuenta con una base de datos de referencia internacional para educadores, investigadores, padres, estudiantes y especialistas de la información. Además el IZI participa en redes nacionales e internacionales educativas documentales. El objetivo esencial de estos proyectos cooperativos es la promoción de la alfabetización de medios de comunicación, que constituye una habilidad imprescindible en la sociedad del conocimiento.
Resumo:
El presente proyecto de grado se inscribe bajo el proyecto de Responsabilidad Social Empresarial de la línea de investigación de Realidad Empresarial de la Facultad de Administración de la Universidad del Rosario. El problema de investigación surge de dos problemas actuales, que convergen en la insostenibilidad a largo y mediano plazo de la manera en que se hacen la mayoría de los negocios hoy en día. El primer problema, es el de suficiencia, se evidencia desde el punto de vista del consumidor, el cual pareciera estar diseñado para comprar y acumular objetos y cosas que luego de un tiempo irán a parar a la basura. El segundo problema es el modelo de negocio que extrae recursos, los transforma, los comercializa de manera repetitiva y obliga al cliente a seguir comprando, olvidando que la mayoría de cosas que produce, terminan en el basurero. La deficiencia actual del consumismo insostenible y del diseño que no piensa en las generaciones futuras son dos caras de la misma moneda. Por eso es que se estudia el problema desde la perspectiva tanto del consumidor, como del productor. Las tendencias internacionales relacionadas con la sostenibilidad están llevando a los negocios por una nueva senda, la cual les dará ventajas competitivas a los adoptadores tempranos. A raíz de los problemas planteados y con el objetivo de encontrar la sostenibilidad empresarial, se estudia una posible solución para cada actor del problema. Por el lado del consumidor, se analiza la teoría que gira alrededor del consumo responsable y de cómo los consumidores tienen el poder de causar un efecto positivo con lo que mejor saben hacer: comprando (y eligiendo que comprar). Por el lado del productor se estudia un nuevo modelo de negocios llamado el sistema producto-servicio, el cual se enfoca a satisfacer necesidades de los clientes por medio de una combinación de prestación de servicios y facilitación de productos, en vez de la comercialización de estos. Es decir que en vez de vender cosas que los consumidores quieran acumular (problema de suficiencia), se les vende soluciones que satisfagan sus necesidades, reteniendo la compañía la propiedad sobre los productos que integran al servicio. Se estudia también de que maneras este modelo particular de sistemas producto-servicio puede ser recibido por los consumidores de hoy en día, tan acostumbrados al modelo actual. Se quiere explorar el sistema de productos y servicio como una alternativa empresarial perdurable que solucione los retos ambientales del siglo XXI. Para poder probar la viabilidad de este hipotético modelo que cambia los patrones de interacción de las empresas con los usuarios, se plantea una idea de negocio que integre productos y servicios para satisfacer las necesidades del cliente. Se escogió un área viii caracterizada por ser de las más consumistas y acumuladoras en cuanto al volumen de compras anual de los clientes: el negocio de la ropa. Y no solo cualquier tipo de ropa, sino el de la moda rápida, un modelo que obliga a los consumidores a comprar ropa con una frecuencia aún mayor. Se hizo esto con el objetivo de probar que el modelo propuesto puede funcionar inclusive bajo los supuestos más “consumistas” que existen hoy en día.
Resumo:
The article shows the classroom like an workplace to move moral development, from the relationship between students and professors in the university atmosphere. It proposes elements to take to the practice the ethics education a transverse curriculum line. It assumes the ethics, from a plural perspective, founded on the knowledge and the human action. It joins the integral formation with the conceptions of education, curriculum, pedagogical models and methodologies of education. It proposes actions to demonstrate the commitment of the professor with the integral formation. Finally, concludes that the professor is agent of moral development and that in the classroom is constructed: identity, autonomy and responsibility, from open and plural relation between professors and students and between these and the knowledge.