Temat: ontology of situations - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: What is a good formalization?
Jak tworzy się dobre formalizacje?
Autorzy:: Wójtowicz, Anna
Powiązania:: https://bibliotekanauki.pl/articles/2097146.pdf
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: formalization
ontology of situations
lattice of elementary situations
logical dimension
states of affairs
formalizacja
ontologia sytuacji
krata sytuacji elementarnych
wymiar logiczny
stan rzeczy
Opis:: Formalizacja danego zbioru przekonań wyrażonych w pewnym języku polega na przekładzie ich na zdania innego języka. Dobra formalizacja charakteryzuje się tym, że język przekładu jest dobrany właściwie, a przełożone zdania oddają wiernie sens zdań oryginalnych. Na przykładzie ontologii sytuacji pokazuję, jak doskonale rozwiązywał problem formalizacji Profesor Bogusław Wolniewicz.
Źródło:: Przegląd Filozoficzny. Nowa Seria; 2018, 3; 175-188
1230-1493
Pojawia się w:: Przegląd Filozoficzny. Nowa Seria
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
Autorzy:: Zygmunt, Jan
Powiązania:: https://bibliotekanauki.pl/articles/2097360.pdf
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: semilattice
formal ontology of situations
algebraic logic
history of Polish logic
Bogusław Wolniewicz
półkrata
formalna ontologia sytuacji
logika algebraiczna
historia logiki polskiej
Opis:: W eseju przedstawione zostały wybrane kontakty naukowe Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem w okresie od końca lat osiemdziesiątych XX w. do początku XXI w. Kontakty dotyczyły algebraicznych aspektów ontologii sytuacji, a od pewnego momentu – jednego tylko pytania sformułowanego w nocie A question about join-semilattices (Wolniewicz 1990). Esej streszcza dyskusję naukową między B. Wolniewiczem a J. Hawrankiem i J. Zygmuntem, w rezultacie której powstał artykuł Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (Hawranek, Zygmunt 1993), zawierający próbę odpowiedzi na pytanie Wolniewicza. Artykuł Hawranka i Zygmunta jest niżej przedrukowany, a niniejszy esej jest też pomyślany jako wstęp historyczno-analityczny do jego lektury. Historia kontaktów: Wolniewicz – Hawranek & Zygmunt została ukazana za pomocą zachowanej korespondencji, która jest dość obficie cytowana. W listach Profesor Wolniewicz jawi się jako badacz-pasjonat, otwarty na dyskusję, gotowy do dzielenia się z innymi swoimi trudnościami i sukcesami badawczymi.
Źródło:: Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
1230-1493
Pojawia się w:: Przegląd Filozoficzny. Nowa Seria
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Some comments on a question about semilattices with a unit
Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością
Autorzy:: Hawranek, Jacek
Zygmunt, Jan
Powiązania:: https://bibliotekanauki.pl/articles/2097443.pdf
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: join-semilattice
minimal element
B. Wolniewicz’s question
formal ontology of situations
topological space
dense set
Boolean algebra
filter
consequence operation
independent set
półkrata górna
element minimalny
pytanie B. Wolniewicza
formalna ontologia sytuacji
przestrzeń topologiczna
zbiór gęsty
algebra Boole’a
filtr
operacja konsekwencji
zbiór niezależny
Opis:: Artykuł w całości poświęcony jest rozważaniom nad pytaniem Bogusława Wolniewicza postawionym w jego nocie A question about join-semilattices („Bulletin of the Section of Logic” 1990, T. 19, nr 3). Część pierwsza artykułu dotyczy oryginalnego sformułowania tego pytania, w którym chodzi o podanie warunków dostatecznych na to, by w pewnej określonej rodzinie BM podzbiorów półkraty górnej z jednością istniały elementy minimalne. W kolejnych czterech częściach pytanie roztrząsane jest w odniesieniu do innych analogicznych rodzin zbiorów, których elementami są: dowolne zbiory (abstrakcyjne), zbiory gęste w przestrzeni topologicznej; filtry w algebrze Boole’a oraz zbiory domknięte względem operacji konsekwencji.
Źródło:: Przegląd Filozoficzny. Nowa Seria; 2018, 3; 163-174
1230-1493
Pojawia się w:: Przegląd Filozoficzny. Nowa Seria
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Building of CBR’s DB Using Ontology for a Collision Avoidance System
Autorzy:: Park, G. K.
Kim, W. G.
Benedictos, J.
Powiązania:: https://bibliotekanauki.pl/articles/117348.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: anticollision
ontology
Collision Avoidance System
Case Based Reasoning (CBR)
Fuzzy CBR Technique
CBR Data Base
Manoeuvring Situations
Risk of Collision
Opis:: We have proposed Fuzzy-CBR to find a solution from past knowledge retrieved from the database and adapted to the new situation. However, ontology is needed in identifying concepts, relations and instances that are involved in a situation in order to improve and facilitate the efficient retrieval of similar cases from the CBR database. This paper proposes the way to apply ontology for identifying the concepts involved in a new case, used as inputs, for ship collision avoidance support system and in solving for similarity through document articulation and abstraction levels. These ontologies will be used to build a conceptual model of a manoeuvring situation.
Źródło:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation; 2008, 2, 4; 369-374
2083-6473
2083-6481
Pojawia się w:: TransNav : International Journal on Marine Navigation and Safety of Sea Transportation
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "ontology of situations" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język