Robert Trypuz

Robert Trypuz
Roche · Roche Pharma Research and Early Development, Data & Analytics, Roche Innovation Center Basel, Switzerland

Ph.D.

About

63
Publications
22,851
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
320
Citations
Citations since 2017
9 Research Items
110 Citations
201720182019202020212022202305101520
201720182019202020212022202305101520
201720182019202020212022202305101520
201720182019202020212022202305101520
Additional affiliations
June 2006 - July 2006
Institut de Recherche en Informatique de Toulouse
Position
  • PhD Student
November 2004 - December 2007
Università degli Studi di Trento
Position
  • PhD Student
November 2004 - November 2007
Italian National Research Council
Position
  • PhD Student
Education
November 2004 - December 2007
Università degli Studi di Trento
Field of study
  • Computer Science

Publications

Publications (63)
Conference Paper
Full-text available
The paper offers a semantic representation of one of the sixteen UNECE standards for meat. The content of the standard is briefly presented in a natural language. Then, the methodology is discussed. Simple Knowledge Organisation System (SKOS) is chosen as the basis of representation. A limited number of ontological object properties extending SKOS...
Conference Paper
Full-text available
We address the problem of the access to the results of scientific publications in the agri-food domain. We focus on the description of main contributions of the papers treating them as accepted or rejected beliefs of their authors expressed in the form of scientific laws. We define the structure of different kinds of scientific laws present in the...
Article
Full-text available
The paper offers a logical characterisation of multi-step actions in the context of deontic notions of obligation, permission and prohibition. Deontic notions for sequentially composed actions (procedures or instructions) are founded on deontic notions for one-step actions. The present work includes a formal study of situations where execution of a...
Article
Full-text available
The paper defines a schema in which to describe the cornucopia applied ontologies. In contradistinction to the main trend in engineering meta-ontology the main ideas that support this schema are inspired by philosophy. Namely, we look at the domain of applied ontologies from the point of view of a certain metaphilosophical tradition. In a nutshell,...
Article
Full-text available
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practi-cal point of view. The fundament for contemporary research...
Chapter
Full-text available
Collaborative development of a shared or standardized ontology presents unique issues in workflow, version control, testing, and quality control. These challenges are similar to challenges faced in large-scale collaborative software development. We have taken this idea as the basis of a collaborative ontology development platform based on familiar...
Article
Full-text available
The paper tackles the problem of the relation between rights and obligations. Two examples of situations in which such a relation occurs are discussed. One concerns the abortion regulations in Polish law, the other one - a clash between freedom of expression and freedom of enterprise occurring in the context of discrimination. The examples are anal...
Preprint
Full-text available
In this paper, we propose virtue ethics as a metaethical theory for autonomous cars, as an alternative to the utilitarian and deontological paradigms. We believe that this theory is more suitable for situations when the mechanisms behind the steering of the car are based on machine learning techniques rather than rule based algorithms. We present t...
Chapter
The main idea behind GraphChain is to use blockchain mechanisms on top of abstract RDF graphs. This paper presents an implementation of GraphChain in the Hyperledger Indy framework. The whole setting is shown to be applied to the RDF graphs containing information about Legal Entity Identifiers (LEIs). The blockchain based data management system pre...
Article
Full-text available
In this paper we propose a formal model that supports moral decisions making by autonomous agents such as for example autonomous vehicles. Such a model—which we call a “Deontic Machine”—helps resolve both typical and atypical moral and legal situations that agents may encounter. The Deontic Machine has two sources of inspiration. The first one is W...
Conference Paper
Full-text available
Autonomous cars are one of the emerging technologies that will have a significant impact on society in the upcoming years. Although the predictions estimate that the traffic safety will be significantly improved, many people are afraid and prefer a human driver's control over vehicles or at least human driver's possibility to take control over the...
Conference Paper
Full-text available
In this paper we present a new idea of creating a Blockchain compliant distributed database which exposes its data with explicit semantics, is easily and natively accessible, and which applies Blockchain securitization mechanisms to the RDF graph data model directly, without additional packaging or specific serialisation. Essentially, the resulting...
Conference Paper
The topic of this paper are the so-called tensed relations, i.e., those relations that hold between objects with respect to time. As tensed relations are not, almost by definition, binary relations, they need a special treatment in the case of such formal languages as OWL where only binary relations are explicitly expressible. We study in this pape...
Article
Full-text available
This paper tackles the problem of inference in normative systems where norms concerning actions and states of affairs appear together. A deontic logic of actions and states is proposed as a solution. It is made up of two independent deontic logics, namely a deontic logic of action and a deontic logic of states, interlinked by bridging definitions....
Chapter
Full-text available
Multivalued setting is quite natural for deontic action logic, where actions are usually treated as obligatory, neutral or forbidden. We apply the ideas of multivalued deontic logic to the phenomenon of a moral dilemma and, broader, to any situation where there are conflicting norms. We formalize three approaches towards normative conflicts. We pre...
Article
Full-text available
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 Wladyslaw Krajewski. The classification is described formally and...
Article
Full-text available
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 K. Ajdukiewicz and W. Krajewski. The classification is described formally and complemented...
Article
Full-text available
The paper tackles two problems. The first one is to grasp the real meaning of Jerzy Kalinowski’s theory of normative sentences. His formal system K 1 is a simple logic formulated in a very limited language (negation is the only operator defined on actions). While presenting it Kalinowski formulated a few interesting philosophical remarks on norms a...
Article
Full-text available
The article presents an ontology called “Science” designed for representing proved and disproved statements extracted from scientific papers from the database of the ProOptiBeef project. We argue that the proved and disproved statements are the best characterization of the content of the papers they are extracted from. We show that ontological repr...
Article
Full-text available
Building on our diverse research traditions in studying reasoning, language and communication, the Polish School of Argumentation integrates different disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Crafting methodological program and establishing organisational in...
Conference Paper
Full-text available
Deontic considerations are usually conducted in one of the following contexts: (i) general norms expressed in: legal documents, regulations or implicitly present in society in the form of moral or social rules; (ii) specific norms, i.e., duties of particular agents in particular situations. Norms of the two kinds refer to obligatory, permitted and...
Article
Full-text available
Abstract: Using ontology for the presentation and implementation of standards in meat production The "UNECE Standard Bovine Meat - Carcases and Cuts" proposed and developed by the Economic Commission for Europe (United Nations Economics for Europe) offers a standardized language unambiguously defining different parts of the carcass at deboning. The...
Chapter
Full-text available
Article
Full-text available
Artykuł prezentuje próbę ufundowania małej, elementarnej Ontologii Stanisława Leśniewskiego na prostej teorii relacji „podpadania przedmiotu pod nazwę”. Skonstruowana teoria pokazuje, że do lingwistycznego modelu Ontologii mogą należeć tylko takie nazwy ogólne, które mają co najmniej dwa desygnaty mające swoje nazwy indywidualne.
Book
This volume describes and analyzes in a systematic way the great contributions of the philosopher Krister Segerberg to the study of real and doxastic actions. Following an introduction which functions as a roadmap to Segerberg's works on actions, the first part of the book covers relations between actions, intentions and routines, dynamic logic as...
Conference Paper
Full-text available
We present an ontology called Science designed for repre-senting scientific laws and rejected hypotheses from scientific papers and experimental results in the area of beef production and consumption. The ontology is designed on the basis of 1) classifications of scientific laws presented in the works of Polish philosophers of science and nature: K...
Chapter
Full-text available
In the paper we discuss different intuitions about the properties of obligatory actions in the framework of deontic action logic based on boolean algebra. Two notions of obligation are distinguished–abstract and processed obligation. We introduce them formally into the system of deontic logic of actions and investigate their properties and mutual r...
Chapter
Full-text available
In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows f...
Conference Paper
Full-text available
The paper concerns beef production and consumption ontology (OntoBeef) and its applications. It is presented the three-stage OntoBeef evaluation process with a special focus on description of interaction of ontologists with domain experts. We also describe Linked Open Data (LOD) philosophy and show how links between OntoBeef and four other ontologi...
Article
Full-text available
The paper presents a formalisation of one of the leading ontologies in Knowledge Management by the name of Formal Knowledge Management Ontology. After elaborating why the latter ontology is not a formal ontology in the sense of logic and how it might benefit from being logic-based, we detail a logical theory Formalised Formal Knowledge Management O...
Conference Paper
Full-text available
We start our investigations from the deontic action model defined in multi-situation settings. Then we discuss the validity of formulas constructed in a language with a finite number of basic actions, parallel and sequential compositions of actions, a free choice operator and the standard deontic operators of obligation, strong permission and prohi...
Conference Paper
Full-text available
The aim of the paper is to point out the modelling choices that lead to different systems of deontic action logic. A kind of a roadmap is presented. On the one hand it can help the reader to find the deontic logic appropriate for an intended application relying on the information considering the way in which a deontic logic represents actions and h...
Conference Paper
Full-text available
We present a current state of development of an ontology of beef production and consumption developed within the interdisciplinary project ProOptiBeef, which focuses on increasing the level of innovation of beef sector in Poland. The ontology is intended to improve communication between specialists from different disciplines and expressing the resu...
Article
Full-text available
The aim of the paper is to apply the software tool Perseus to modelling epistemic interactions. We focus on the issue of agents’ knowledge acquisition, using a logical puzzle in which agents increase their knowledge about the hats they wear. In the paper, first we present a model of epistemic interactions, which allows us to resolve the hats puzzle...
Article
Full-text available
In the paper we present a formal system motivated by a specific methodology of creating norms. According to the methodology, a norm-giver before establishing a set of norms should create a picture of the agent by creating his repertoire of actions. Then, knowing what the agent can do in particular situations, the norm-giver regulates these actions...
Conference Paper
Full-text available
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie in two aspects: the level of closedness of a deontic action logic and the possibility of performing no action at all. It is also shown that the existing definitions of o...
Article
Full-text available
In this paper the class of minimal models C ZI for Kiczuk’s system of physical change ZI is provided and soundness and completeness proofs of ZI with respect to these models are given. ZI logic consists of propositional logic von Wright’s And Then and six specific axioms characterizing the meaning of unary propositional operator “Zm”, read “there...
Conference Paper
Full-text available
The aim of the paper is to apply the software tool Perseus to modelling of epistemic interactions. We focus on the issue of agents' knowledge acquisition, using a logical puzzle in which agents increase their knowledge about hats they wear. In the paper, first we present a model of epistemic interactions, which allows to resolve the hats puzzle. Th...
Conference Paper
Full-text available
The paper presents preliminary results in the area of ontological engi- neering for historical research. Historical information systems are still in the initial stage of development. Our experience hitherto shows that the decisive stage in the development of such systems is a conceptual model and ontological engineering seems to be the right tool t...
Article
Full-text available
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research...
Conference Paper
Full-text available
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using that logic. The model, using notions of situation and epistemic state as foundations, generalizes structures usually used as a semantics for epistemic logics in static and...
Article
Full-text available
The conceptual world of AI is inhabited by a number of epistemic puzzles whose role is to provide a test harness environment for various methods and algorithms. In our paper we focus on those puzzles in which agents either collaborate or compete with one another in order to adopt their epistemological situations to their environment. Our goal is to...
Conference Paper
Full-text available
The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roman Ingarden and from the psychological results obtained in the Lvov-Warsaw school. Ontobella is applied as the conceptual framework for a computer system that collects information a...
Article
Full-text available
WSTĘP Logiczne badania nad formalną reprezentacją zdań wyrażających ludzkie dziaøania można podzielić na dwa rozøączne podejścia. Pierwsze z nich, które jest gøównym przedmiotem tego artykuøu, ma swoje źródøo w pismach św. Anzelma z Canterbury1. Będziemy je nazywać paradygmatem anzel- miańskim (w skrócie PA). Fundamentem PA jest zaøożenie, że najle...
Article
Full-text available
Trudno jest znaleźć bardziej uderzający kontrast niż ten, który zachodzi pomiędzy postawą poznawczą inżyniera a postawą filozofa. Nawet jeżeli zajmujemy się etyką środowiska a nasz kolega inżynier bada teoretyczne podstawy kształtowania krajobrazu, to pomiędzy naszymi a jego metodami i celami badawczymi rozpościera się przepaść, wyznaczona przez op...
Conference Paper
Full-text available
The aim of this paper is to propose two formal solutions to a well- known problem in the recent philosophical literature called the Video Game puzzle. The Video Game puzzle was introduced by Michael Bratman in the 80's and then became a challenge for any theory of intention and action. A few approaches to this puzzle have been dis- cussed in philos...
Article
Full-text available
The purpose of this paper is to draw a preliminary model of an ontology of organizations. The emphasis is on the structural aspects of organizations and the relations that these have with the design process of the organization itself on the one hand, and with its normative layer on the other. @InProceedings{bottazzi_et_al:DSP:2007:904, author = {Em...
Conference Paper
Full-text available
A variety of disciplines and research areas have separately studied the no- tions of action, agents and agency, but no integrated and well-developed formal ontol- ogy for them is currently available. This paper is a first atte mpt at bridging this gap, focusing especially on the relationship between agency and action. The departure point is STIT lo...
Article
Full-text available
It is well known that verb phrases can be classified into lexical as-pectual classes, the most popular ones being: activity (e.g., run), state (e.g., sit), accomplishment (e.g., climb a mountain) and achievement (e.g., reach the summit). Although existing formal theories and logics of actions only consider telic actions, that is, accomplishments an...
Article
Full-text available
Sommario Lo scopo di questo contributo è quello di introdurre la nozione di intenzioni collettive non mediate, e di sottolinearne l'importanza nell'attuale dibattito interdisciplinare sull'intenzionalità collettiva. Intuitivamente, si tratta del tipo di intenzioni che agenti individuali coinvolti in azioni collettive intratterrebbero quando la loro...

Network

Cited By

Projects

Projects (4)
Project
Autonomous vehicles are one of the emerging technologies that may have a significant impact for society in the upcoming years. We believe that it is very important for autonomous vehicles' designers is to make clear what hierarchy of values they impose on their vehicles. That will enable the potential owners and users of self-driving cars, other traffic participants, and public in general to accept or reject the wide scale usage of such vehicles. That is also important from the point of view of legal regulations for the area. The main research hypothesis of this proposal is that formal modelling of self-driving cars and their environment, especially modelling using the tools of logic is a useful step toward clear specification of expectations concerning the behaviour of autonomous vehicles leading to aforementioned social consensus in that matter. Thus, we propose the language of logic, especially first order logic and its limited variants specific for knowledge representation such as description logic or ontology web language (OWL) as a tool to specify the elements of environment and their properties, potential risk factors, values and preferences. Moreover, we believe that the existing research results from the of deontic logic and related disciplines may be successfully applied to the problems of the intended behaviour of self-driving cars.
Project
Exercising one’s rights, or acting on one’s permission can generate obligations for others. Contract law and international law provide examples. Debtors are obligated to comply when their creditors exercise their right to request payment. Free­trade agreements place their signatories under the obligation not to pass protectionist regulations. A similar phenomenon holds for permissions stemming from morality or rationality. Others ought not infringe my individual right to dignity. In negotiation, one party making a permissible offer might put the other under the (rational) obligation to accept it. When exactly, then, do permissions and rights generate obligations? Is there a general structure common to these examples? How are such obligations distributed between the parties involved, be they individual or institutional actors? Are the generated obligations strict or could they be overridden, even when they stem from inalienable rights? These are fundamental questions regarding the dynamic and social or multi­agent aspects of obligations, permissions and rights. Deontic logic, viz. the logical study of obligations and permissions, has long been concerned with the relation between permissions and obligations. Usually, however, the relation is understood the other way around. Obligations imply permissions, or permissions constrain the promulgation of further obligations. However, the dynamic generation of obligations by rights and permissions has received comparatively little attention. The project will fill this gap by focusing on three essential aspects of obligations generated from permissions and rights. First, we will study how explicit permissions generate a dynamics of obligations, and compare it to case where permissions are weak, i.e. the mere absence of prohibitions. Second, we will consider how permissions and rights issued by high­level legal authority generate obligations on its constituents, especially in complex organizations. Finally, we will study the defeasible character of obligations stemming from permissions. Obligations generated from rights and permissions are central to German and Polish law, and these will provide the main sources of “data” for the analysis in this project.