Wyniki wyszukiwania - Biblioteka Nauki

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: interactive models

Sortuj według:

Ogranicz wyniki do:

A non-self-referential paradox in epistemic game theory

100%

Karimi A.

Reports on Mathematical Logic

2017

tom Vol. 52

45--56

The beliefs of other people about our own beliefs affect our decision making strategies (and beliefs). In epistemic game theory, player’s beliefs about other players’ beliefs are formalized, and the way how people may reason about other players (before they make their final choice in a game) is explored. In this paper, we introduce a non-self-referential paradox (called “Yablo-like Brandenburger-Keisler paradox”) in epistemic game theory which shows that modeling players’ epistemic beliefs and assumptions in a complete way is impossible. We also present an interactive temporal (belief and) assumption logic to give an appropriate formalization for this Yablo–like Brandenburger-Keisler paradox. Formalizing the new paradox turns it into a theorem in the interactive temporal assumption logic.

Zastosowanie narzędzi VRML w interaktywnym projektowaniu wyrobów

86%

Weiss Z. , Konieczny R. , Kasica M. , Kowalski M.

Zeszyty Naukowe Politechniki Poznańskiej. Budowa Maszyn i Zarządzanie Produkcją

2004

tom Nr 1

471-480

W artykule zostały przedstawione problemy związane z odzyskiem wyrobów u schyłku ich życia na przykładzie pralki automatycznej, produkowanej w dużym zakładzie produkcyjnym. Przedstawiono sposób demontażu pralki oraz przygotowanie części do recyklingu materiałowego. Przedstawiono również oprogramowanie ATROiD, które służy do projektowania demontażu wyrobu oraz oceny jego opłacalności.

The paper presents the works that was carried out in Virtual Design and Automation Centre at Poznań University of Technology. Virtual product models were worked out on the base of geometric data to present the integration of CAD applications and virtual reality environment. The use of VRML tool provides the presentation of product in virtual world and an interactive control which allows the user to manage the displayed data. Virtual models in this format can be spread out in Internet and presented in VR visualization equipment. One of the objectives in VIDA project is the setting up the Virtual Reality Laboratory for the high performance data visualization in the wide range of VIDA activities. The presented models are examples of possible use of virtual reality modeling language (VRML) for data preparing for virtual reality.