Wyniki wyszukiwania - Biblioteka Nauki

1

Outsourcing usług logistycznych w przemyśle spożywczym

100%

Budzyńska K.

|

tom nr 4

PL

Outsourcing jest kierunkiem, który zyskuje coraz większego znaczenia w wielu branżach. Zlecanie usług podmiotom zewnętrznym, które są wyspecjalizowane może przynieść wiele korzyści, są to rozwiązania sprawdzone i optymalizujące procesy oraz koszty. W artykule zostało przedstawione pojecie outsourcingu usług logistycznych w przedsiębiorstwach spożywczych. Zaprezentowano powody, które mogą wpłynąć na wybór zewnętrznego dostawcę usług logistycznych.

EN

Outsourcing is a domain which, in recent years, recorded an increasement of importance on the ground of many industries. Ordering of services to external entities, which are specialized, can provide a lot of benefits. This tested solutions results in costs and processes optimization. This article presents the concept of outsourcing of logistics services applied in the food enterprises. The author presented the most important arguments which to affect the choice of external supplier.

2

Changing probabilistic beliefs in persuasion

63%

Budzyńska K. , Kacprzak M.

|

tom Z. 6

23-39

EN

The aim of the paper is to extend our formal model of persuasion with an aspect of change of uncertainty interpreted probabilistically. The general goal of our research is to apply this model to design a logic and a software tool that allow for verification of persuasive multi-agent systems (MAS). To develop such a model, we analyze and then adopt the Probabilistic Dynamic Epistemic Logic introduced by B. Kooi. We show that the extensions proposed in this paper allow us to represent selected aspects of persuasion and apply the model in the resource re-allocation problem in multi-agent systems.

PL

Celem pracy jest rozszerzenie zaproponowanego przez nas formalnego modelu perswazji o aspekt zmiany niepewności przekonań agentów interpretowanych w teorii prawdopodobieństwa. Wzbogacony model jest podstawą do zdefiniowania logiki i zaprojektowania narzędzia, które umożliwia automatyczną weryfikację perswazyjnych systemów wieloagentowych. W celu realizacji tego zadania analizujemy i adaptujemy Probabilistyczną Dynamiczną Epistemiczną Logikę wprowadzoną przez B. Kooi. Zastosowanie zaproponowanego podejścia do analizowania wybranych aspektów perswazji omawiamy na przykładzie problemu alokacji zasobów w rozproszonych komputerowych systemach.

3

A Logic for Reasoning about Persuasion

63%

Budzyńska K. , Kacprzak M.

|

2008

|

tom Vol. 85, nr 1-4

51-65

EN

In the article, we introduce a sound and complete deductive system (AGn) which can be used to reason about persuasion process performed in distributed systems of agents in circumstances of uncertain and incomplete information. In order to express degrees of beliefs of these agents, we adopt methods of Logic of Graded Modalities. To represent degrees' changes resulting from the persuasion, we apply tools of Algorithmic Logic and Dynamic Logic. As a result, we interpret arguments as actions which lead to change of grades of agents' beliefs.

4

Perseus. Software for Analyzing Persuasion Process

51%

Budzyńska K. , Kacprzak M. , Rembelski P.

|

2009

|

tom Vol. 93, nr 1-3

65-79

EN

The aim of the paper is to present the software tool Perseus and show how it can be used to examine multi-agent systems where the ability to persuade is specified. Especially we want to study the issues such as: what arguments individuals use to successfully convince others, what type of a persuader guarantees a victory etc. This work describes implementation of the tool and discusses what questions about persuasion process Perseus can answer and how it is done.

5

Update of Probabilistic Beliefs: Implementation and Parametric Verification

51%

Budzyńska K. , Kacprzak M. , Rembelski P.

|

2010

|

tom Vol. 102, nr 1

35-48

EN

The aim of the paper is to propose how to enrich a formal model of persuasion with a specification for actions which are typical for persuasion process. First, since these actions are verbal, they influence a receiver but do not change the agent’s environment. In a formal framework, we represent them as actions that change not the particular state of a model, but the whole model. Second, effects of those actions depend on how much the receiver trusts the persuader. To formally model this phenomenon, we use a trust function. Finally, we want to represent uncertainty in terms of probability. Thus far, our model did not allow to express those properties of the persuasion process. Therefore, in this paper we extend Multimodal Logic of Actions and Graded Beliefs (AGn) with Probabilistic Dynamic Epistemic Logic (PDEL) and elements of Reputation Management framework (RM). Incorporation of PDEL into the model of persuasion requires some modifications of PDEL. Such extended model is then used to enrich Perseus - our software tool that enables to examine persuasive multi-agent systems. New components of the tool allow us to execute parametric verification of the different properties related to updating probabilistic beliefs in persuasion.