Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Trypuz, Robert" wg kryterium: Autor


Wyświetlanie 1-3 z 3
Tytuł:
"Setna" - prosta teoria norm i działań
'Setna' - Simple Theory of Norms and Actions
Autorzy:
Trypuz, Robert
Powiązania:
https://bibliotekanauki.pl/articles/968665.pdf
Data publikacji:
2008-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In the first systems of deontic logic obligatoriness, prohibitiveness and permissibility were features of actions. It was a very natural choice, corresponding to the way in which these concepts were used not only in natural language but also in Law and Ethics. It's well known that contemporary systems of deontic logics do not deal with actions any more. They are simply deontic logics of propositions providing for deontic qualification of states of affairs. Such an approach, although might be useful for instance in Computer Science (especially in security applications, where there is a need of expressing that a certain state of machine is, say, permitted and the other is forbidden), is inadequate for modeling norms of Law and Ethics (and possibly norms of many other fields). In this paper the Simple Theory of Norms and Actions (in short: Setna) is proposed. It is inspired by the first deontic logics, i.e. it's deontic operators take names of actions as their arguments. Additionally this theory has as its part a theory of actions which has not been taken into account in deontic logic until now. Enriching deontic theory with a theory of action gives an account for expressing dependencies which hold between the deontic properties and some other properties of actions. For instance Setna states that two actions that cannot be carried out simultaneously in the same situation should not be both regulated as obligatory-an agent would not be able to follow such a law.
Źródło:
Filozofia Nauki; 2008, 16, 3-4; 155-175
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bity i byty. O pewnym mało znanym zastosowaniu ontologii
Bits and Entities: On an Unnoticed Application of Ontology
Autorzy:
Trypuz, Robert
Garbacz, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/963981.pdf
Data publikacji:
2007-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
In this paper we are focused on the relation between an Ontology (with the capital "O") qua philosophical discipline and an ontology (with the lowercase "o") qua branch of Computer Science. In our view "Ontology" refers to all philosophical groups or schools which take some position on the reality. The meaning of 'ontology' in the second case is not that easy to grasp because of the variety of artefacts which are called 'ontologies' and many activities - aiming at creating the ontologies - called ontological engineering. In general we could state that an ontology is something what is called "ontology" beyond Philosophy, mostly in the Knowledge Management, Artificial Intelligence, Conceptual Modelling or Ontological Engineering and what refers to an engineering artefact describing certain aspect of reality. So understood ontology is always tied to certain language (preferably a logical one) or more precisely to the set of the sentences of this language. It is said that these sentences constitute an ontology and specify the intended meaning of the terms used in these sentences. The ontologists usually focus on describing their conceptualization of the relevant for them aspects of reality. In their ontologies only these properties of reality are taken into account, which are considered as important for the sake of the application. In this sense ontological engineering may ignore Ontologically essential properties, i.e. the ones important from the purely philosophical perspective. The simplest ontologies are catalogues - the list of terms or numbers denoting certain object, glossaries - containing additionally the definitions of the terms, thesauri - the glossaries in which the hierarchy of the terms appear and taxonomies - in which the primitives are hierarchically structured in order to enabling the properties' inheritance. The most sophisticated ontologies are called formal ontologies and they are logical theories fully axiomatized. Ontologies are also divided on the top-level ontologies concerning very general and mostly abstract entities (e.g. property, agent, time) and the domain ontologies dealing with some small domains (e.g. car's parts). For a better understanding of the wide variety of ontologies we give an example of three ontologies: WordNet (thesaurus-like ontology), Cyc (top-level, formal ontology) and Enterprise Ontology (domain ontology). The Ontology plays an important role in ontological engineering. We notice that the ontological engineers more and more often rely on the philosophical literature looking for the solutions of the ontological problems. It is especially visible in the top-ontologies where many Ontological distinctions have been directly adopted. On the other hand we must sadly stress that philosophers seem to be not interested in the ontological engineering at all. We'd like to introduce ontology to t
Źródło:
Filozofia Nauki; 2007, 15, 3; 121-140
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologia praw naukowych w kontekście reprezentacji i udostępniania wyników badań naukowych
Ontology of Scientific Laws in the Context of Representation and Sharing of Research Results
Autorzy:
Trójczak, Rafał
Trypuz, Robert
Kulicki, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/967894.pdf
Data publikacji:
2015-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The aim of the paper is to present an ontology of scientific laws as a tool for presentation of results extracted from research articles. The way we represent scientific laws is founded on our classification of scientific laws, which is based on the works of Kazimierz Ajdukiewicz and Władysław Krajewski. The classification is described formally and complemented with the specification of requirements for each type of law, in order to obtain an ontology in the sense of ontological engineering. The ontology is used to represent research results from the domain of agri-food science. We give examples of representation of laws taken from scientific papers and reasoning algorithms that lead to automatic generation of new information and identification of conflicts in the literature.
Źródło:
Filozofia Nauki; 2015, 23, 4; 19-40
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies