Wyniki wyszukiwania - BazTech

1

A Multi-facet Approach to Dynamic Agent Systems

Bednarczyk M.A., Pawłowski A., Bernardinello L., Pomello L., Borzyszkowski T.

Fundamenta Informaticae

|

2008

|

Vol. 85, nr 1-4

19-33

EN

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

2

A multi-facet approach to dynamic agent systems

Bednarczyk M., Bernardinello L., Borzyszkowski T., Pawłowski W., Pomello L.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2007

|

Nr 1001

1-22

EN

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a numbci of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronisation operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

PL

W pracy rozważa się problem modularnego definiowania złożonych, hybrydowych, dyskretnych systemów agentowych. Modularność wynika z patrzenia na system z różnych perspektyw, z których każda opisuje pewne specyficzne jego aspekty. Zdefiniowano operator, który synchronizuje systemy agentoiuo zorientowane w oparciu o wspólnych agentów oraz tranzycje. Konstrukcja operatora synchonizującego okazuje się być produktem w odpowiedniej kategorii. Pokazano także, że logikę opisu temporalnych i strukturalnych własności systemu agentowego, będącego produktem perspektyw, można otrzymać przez odpowiednie złożenie systemów logicznych dla perspektyw.

3

Generalized Interpolation in First Order Logic

Borzyszkowski T.

Fundamenta Informaticae

|

2005

|

Vol. 66, nr 3

199--219

EN

We consider the Craig Interpolation Property for many sorted first-order logic. The Craig Interpolation Property explored in this paper is inspired by the institution independent generalization of this property presented in [21]. In [3] the author presents the interpolation result for the institution of many sorted first-order logic, with both morphisms in the pushout square being injective on sort names. The author also shows that the Craig Interpolation Property does not hold when both morphisms are certain morphisms which are noninjective on sort names. An open question in that paper was whether the interpolation property holds with only one morphism being injective on sort names. In this paper we give answer to this question. Following the overall structure of the classical proof presented in [7] for single sorted first-order logic, but with new technicalities concerning the many sorted case, we show that many sorted first-order logic has the interpolation property when just one (left or right) morphism is injective on sort names.