Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  categorical semantics
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
The categorical compositional distributional model of natural language provides a conceptually motivated procedure to compute the meaning of a sentence, given its grammatical structure and the meanings of its words. This approach has outperformed other models in mainstream empirical language processing tasks, but lacks an effective model of lexical entailment. We address this shortcoming by exploiting the freedom in our abstract categorical framework to change our choice of semantic model. This allows us to describe hyponymy as a graded order on meanings, using models of partial information used in quantum computation. Quantum logic embeds in this graded order.
2
Content available remote A Multi-facet Approach to Dynamic Agent Systems
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.
3
Content available remote A multi-facet approach to dynamic agent systems
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.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.