•  77
    Free choice and contextually permitted actions
    with F. Dignum and R. J. Wieringa
    Studia Logica 57 (1). 1996.
    We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.
  •  51
    An integrated framework for ought-to-be and ought-to-do constraints
    with P. D'Altan and R. J. Wieringa
    Artificial Intelligence and Law 4 (2): 77-111. 1996.
  •  50
    This essay briefly describes a few of the problems associated with using personhood language to defend the right to life of the pre‐implantation embryo. Arguing that an immaterial soul explains the personal identity of an embryo is problematic for many people because there is no apparent spiritual activity in the unborn. While some scholars argue that the embryo has the potential to act as an adult person and thus should be protected from harm, others contend that potentiality alone is insuffici…Read more
  •  45
  •  28
    It is argued that the use of induced pluripotent stem cells for regenerative therapy may soon be ethically practicable and could sidestep the various objections pertaining to other types of stem cell (human embryonic stem cells, and stem cells obtained by altered nuclear transfer or somatic cell nuclear transfer)
  •  28
    Human embryonic stem cells and respect for life
    Journal of Medical Ethics 26 (3): 166-170. 2000.
    The purpose of this essay is to stimulate academic discussion about the ethical justification of using human primordial stem cells for tissue transplantation, cell replacement, and gene therapy. There are intriguing alternatives to using embryos obtained from elective abortions and in vitro fertilisation to reconstitute damaged or dysfunctional human organs. These include the expansion and transplantation of latent adult progenitor cells
  •  23
    On programming KARO agents
    with F. de Boer, R. van Eijk, K. Hindriks, and W. van der Hoek
    Logic Journal of the IGPL 9 (2): 245-256. 2001.
    After having defined the KARO logic for specifying intelligent agents in earlier work we now turn to the question how to realise agents specified in the KARO framework. To this end we look at agent programming languages that we have defined, and investigate how programs in these languages can be linked to the KARO logic
  •  18
    Seeing Is Believing
    with Bernd van Linder and Wiebe van der Hoek
    Journal of Logic, Language and Information 6 (1): 33-61. 1997.
    In this paper a formal framework is proposed in which variousinformative actions are combined, corresponding to the different ways in whichrational agents can acquire information. In order to solve the variousconflicts that could possibly occur when acquiring information fromdifferent sources, we propose a classification of the informationthat an agent possesses according to credibility. Based on this classification, we formalize what itmeans for agents to have seen or heard something, or to bel…Read more
  •  15
    A verification framework for agent programming with declarative goals
    with F. S. de Boer, K. V. Hindriks, and W. van der Hoek
    Journal of Applied Logic 5 (2): 277-302. 2007.
  •  6
    A logical approach to the dynamics of commitments
    with W. van der Hoek and B. van Linder
    Artificial Intelligence 113 (1-2): 1-40. 1999.
  •  5
    Epistemic Logic
    In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic, Blackwell. 2017.
    Knowledge has been a subject of philosophical study since ancient times. This is not surprising since knowledge is crucial for humans to control their actions and the appetite for acquiring it seems innate to the human race. Philosophy, therefore, has always occupied itself with the question as to the nature of knowledge. This area of philosophy is generally referred to as epistemology from the Greek word for knowledge: episteme. Plato defined knowledge as “justified true belief,” and this defin…Read more