Searched for: subject%3A%22Logic%22
(1 - 20 of 181)

Pages

document
Kramer, R.P. (author)
book 1981
document
Gerritsen, F.A. (author)
This report describes the design and implementation of the Delft Image Processor DIP-1. In this pipelined image-processing computer, a number of storage and processing modules which operate concurrently and synchronously (hardware floating-point ALUs and multiplier, conversion table and cellularlogic table) may be interconnected in a...
report 1982
document
Groothuizen, R.J.P. (author)
In this report several methods for modeling uncertainty in expert systems are discussed. An overview is given of methods used in various existing expert systems and an attempt is made to put these methods into their proper perspective.
report 1986
document
Annevelink, J. (author)
doctoral thesis 1988
document
Hellendoorn, J. (author)
report 1989
document
Roos, N. (author)
In this paper two kinds of uncertainty, general and specific uncertainty, are distinguished. General uncertainty denotes an uncertainty about which objects of a class belong to a relation. Sentences in which it occurs can be view as describing incomplete knowledge. An example of such a sentence is: "Most humans have brown eyes". Specific...
report 1989
document
Roos, N. (author)
In this thesis, which consists of two parts, two different subjects are discussed. In the first part of the thesis a logic for reasoning with inconsistent knowledge will be described. The second part of the thesis contains a proposal for to view a reasoning process as a process of constructing a partial model of the world we are reasoning about....
report 1991
document
Brand, A.J. (author)
doctoral thesis 1992
document
Jager, R. (author)
doctoral thesis 1995
document
Van den Eijkel, G.C. (author)
doctoral thesis 1999
document
Ciftcioglu, O. (author), Durmisevic, S. (author), Sariyildiz, S. (author)
The last decade, civil engineering has exercised a rapidly growing interest in the application of neurally inspired computing techniques. The motive for this interest was the promises of certain information processing characteristics, which are similar to some extend, to those of human brain. The immediate examples of these include an ability to...
conference paper 2001
document
Van Den Berg, R. (author)
Very little distinguishes the first transistor presented by Bell Telephone Labs researchers Bardeen, Shockley, and Brattain in 1947 from the Single Electron Transistor (set) developed by tu delft physicist Pieter Heij. The set,which switches using single electrons, can only be observed with the aid of an electron microscope. Over the past four...
journal article 2002
document
De Weerdt, M.M. (author), Bos, A. (author), Tonino, H. (author), Witteveen, C. (author)
In a multi-agent system, agents are carrying out certain tasks by executing plans. Consequently, the problem of finding a plan, given a certain goal, has been given a lot of attention in the literature. Instead of concentrating on this problem, the focus of this paper is on cooperation between agents which already have constructed plans for...
journal article 2003
document
Lageweg, C.R. (author)
In this dissertation we investigate the implementation of computer arithmetic operations with Single Electron Tunneling (SET) technology based circuits. In our research we focus on the effective utilization of the SET technologys specific characteristic, i.e., the ability to control the transport of individual electrons. We pursue two main...
doctoral thesis 2004
document
Lokhorst, G.J.C. (author)
We present a new axiomatization of the deontic fragment of Anderson's relevant deontic logic, give an Andersonian reduction of a relevant version of Mally's deontic logic previously discussed in this journal, study the effect of adding propositional quantification to Anderson's system, and discuss the meaning of Anderson's propositional constant...
journal article 2006
document
Máhr, T. (author), De Weerdt, M.M. (author), Srour, F.J. (author), Zuidwijk, R. (author)
Decision support within transport companies should not only use traditional objective functions, but also reason about qualitative effects on all involved actors. We propose a fuzzy logic rule base that can be used in addition to traditional operation research tools to calculate not just optimal solutions, but solutions that are optimal with...
conference paper 2006
document
Hughes, J. (author), Kroes, P. (author), Zwart, S. (author)
journal article 2007
document
Wiegel, V. (author)
In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern...
doctoral thesis 2007
document
Lodewijks, G. (author)
conference paper 2008
document
Jespersen, B. (author)
In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be...
journal article 2008
Searched for: subject%3A%22Logic%22
(1 - 20 of 181)

Pages