SNePS, the Semantic Network Processing System 45, 54], has been designed to be a system for representing the beliefs of a natural-language-using intelligent system (a \cognitive agent"). It has always been the intention that a SNePS-based \knowledge base" would ultimatelybe built, not by a programmeror knowledge engineer entering representations of knowledge in some formallanguage or data entry system, but by a human informing it using a natural language (NL) (generally supposed to be English), or by the system reading books or (...) articles that had been prepared for human readers. Because of this motivation, the criteria for the development of SNePS have included: it should be able to represent anything and everything expressible in NL; it should be able to represent generic, as well as speci c information; it should be able to use the generic and the speci c information to reason and infer information implied by what it has been told; it cannot count on any particular order among the pieces of information it is given; it must continue to act reasonably even if the information it is given includes circular de nitions, recursive rules, and inconsistent information. (shrink)

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many of (...) the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting are discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain‐specific inference processes, or by structural information. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

Computationalism, the notion that cognition is computation, is a working hypothesis of many AI researchers and Cognitive Scientists. Although it has not been proved, neither has it been disproved. In this paper, I give some refutations to some well-known alleged refutations of computationalism. My arguments have two themes: people are more limited than is often recognized in these debates; computer systems are more complicated than is often recognized in these debates. To underline the latter point, I sketch the design and (...) abilities of a possible embodied computer system. (shrink)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

This paper outlines some of the moral issues I faced when working in the field with homeless children and children with cerebral palsy. Bill Bunge argues that the 'immediacy' of fieldwork requires that we divest ourselves of theoretical and philosophical pretensions to attend the urgency of our participants' context. I use personal examples of powerful and contradictory experiences from working with young people in the field to highlight the importance of a moral integrity that recognizes vulnerability and the needs of (...) the moment. (shrink)

This paper outlines some of the moral issues I faced when working in the field with homeless children and children with cerebral palsy. Bill Bunge argues that the 'immediacy' of fieldwork requires...

This paper develops a synthesis of three basic societal dimensions. These three qualify as basic dimensions by virtue of being collectively inclusive, mutually exclusive to a higher degree than any alternative dimensions we have explored, and universally applicable, i.e., to all social situations. We take the six transact dimensions to be such a set. Of these six we here develop a synthesis of three (acts, people, and time) which we take to be most basic, not in the sense of relative (...) importance to human life and welfare, but in the sense of being completely mutually exclusive, of being explicitly as well as implicitly necessary in the modelling of a very large proportion of social situations, and of being not at all elusive when observed as here in all-or-none units for the acts, “noses counted” for the people, and discrete units of time. For these reasons we consider this set of dimensions especially suitable for first attempts at synthesized rational and predictive models (as distinct from purely analytical, empirical and descriptive models). It is anticipated, however, that as initial efforts increase our scientific skill, essentially the same modelbuilding techniques will be applicable when the “trickiest” or most compounded of the transact dimensions, namely values and circumstances, are also dealt with. Other systems of synthesized, predictive models which we are exploring are described briefly in a later note. (shrink)

DNA‐based typing methods are increasingly important for the characterisation of bacteria. They are used to monitor the epidemiology of pathogens with public health significance and also to help understand the evolution and population biology of bacteria. However, these methods require accuracy and reproducibility and are often of a high‐throughput nature. Laboratory automation is therefore the key to the successful implementation of such methods. This review describes the impact of automation on DNA‐based typing methods, particularly multi‐locus sequence typing (MLST), and the (...) method components that can be automated. BioEssays 24:858–862, 2002. © 2002 Wiley Periodicals, Inc. (shrink)

This _Biographical Dictionary_ provides detailed accounts of the lives, works, influence and reception of thinkers from all the major philosophical schools and traditions of the twentieth-century. This unique volume covers the lives and careers of thinkers from all areas of philosophy - from analytic philosophy to Zen and from formal logic to aesthetics. All the major figures of philosophy, such as Nietzsche, Wittgenstein and Russell are examined and analysed. The scope of the work is not merely restricted to the major (...) figures in western philosophy but also covers in depth a significant number of thinkers from the near and far east and from the non-European Hispanic-language communities. The _Biographical Dictionary_ also includes a number of general entries dealing with important schools of philosophy, such as the Vienna Circle, or currents of thought, such as vitalism. These allow the reader to set the individual biographies in the context of the philosophical history of the period. With entries written by over 100 leading philosophy scholars, the _Biographical Dictionary_ is the most comprehensive survey of twentieth-century thinkers to date. _Structure_ The book is structured alphabetically by philosopher. Each entry is identically structured for ease of access and covers: * nationality * dates and places of birth and death * philosophical style or school * areas of interest * higher education * significant influences * main appointments * main publications * secondary literature * account of intellectual development and main ideas * critical reception and impact At the end of the book a _glossary_ gives accounts of the schools, movements and traditions to which these philosophers belonged, and thorough _indexes_ enable the reader to access the information in several ways: * by nationality * by major areas of contribution to philosophy e.g. aesthetics * by major influences on the thinker concerned e.g. Plato, Kant, Wittgenstein. (shrink)

Gottfried Wilhelm Leibniz was one of the first Modern philosophers, and as such, one of the most significant. His contributions were often pathbreaking and his imprint still remains on fields such as logic, mathematics, science, international law, and ethics. While publishing relatively little during his life, he was in regular correspondence with important philosophers and even political leaders.

Five symposia from a conference in 1975 debating on some of the largest topics in the search for reason.

Stuart C. Brown; VII—Intentionality without Grammar, Proceedings of the Aristotelian Society, Volume 65, Issue 1, 1 June 1965, Pages 123–146, https://doi.org/10.

A reply to Stuart Brown on how to understand the concept of learning.

With the entry-level student in mind, Stuart Brown guides the reader through three main topics: whether or not there is life after death; whether or not there is a powerful, beneficent intelligence controlling the universe; and the nature and appropriate defence of religious belief or faith. Each chapter is linked to readings by commentators on religion and belief, such as David Hume, John Hick, Richard Dawkins and William James. Key features also include activities and exercises, chapter summaries and guides (...) to further reading. (shrink)

European philosophy from the late seventeenth century through most of the eighteenth is broadly conceived as the "Enlightenment," a period of empricist reaction to the great seventeeth century Rationalists. This volume begins with Herbert of Cherbury and the Cambridge Platonists and with Newton and the early English Enlightenment. Locke is a key figure, as a result of his importance both in the development of British and Irish philosophy and because of his seminal influence in the Enlightenment as a whole. British (...) Philosophy and the Age of the Enlightenment includes discussion of the Scott Enlightenment and its influence on the German Aufklaring , and consequently on Kant. The French Enlightenment, which in turn affected the late radical Enlightenment, especially Bentham, is also considered here. This survey brings together clear, authorative chapters from leading experts and provides a scholarly introduction to this period in the history of philosophy. It includes a glossary of technical terms and a chronological table of important political, philosophical, scientific and other cultural events. (shrink)

This essay is concerned with a cluster of related problems which arise for an understanding of religious belief. In my treatment of them I have confined myself to examples drawn almost entirely from the Christian religion. I have accepted this restriction more out of necessity than partiality. It is difficult enough for a European philosopher to avoid unintentionally caricaturing that religion. The risk of his misrepresenting religions which have little influence his own culture must be even greater. I have, however, (...) tried to make a virtue out of this restriction by addressing myself to some issues which have been of particular concern to Christian thinkers in recent years. But I hope that the bearing of my treatment of them on religious belief in general will be apparent. For few of them are peculiar to the Christian religion. (shrink)