AGM 25 years: twenty-five years of research in belief change

The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions” was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twenty five years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in the original framework, iterated change, applications of the model, its connections with other formal frameworks, computatibility of AGM operations, and criticism of the model.info:eu-repo/semantics/publishedVersio

Research in the Language, Information and Computation Laboratory of the University of Pennsylvania

This report takes its name from the Computational Linguistics Feedback Forum (CLiFF), an informal discussion group for students and faculty. However the scope of the research covered in this report is broader than the title might suggest; this is the yearly report of the LINC Lab, the Language, Information and Computation Laboratory of the University of Pennsylvania. It may at first be hard to see the threads that bind together the work presented here, work by faculty, graduate students and postdocs in the Computer Science and Linguistics Departments, and the Institute for Research in Cognitive Science. It includes prototypical Natural Language fields such as: Combinatorial Categorial Grammars, Tree Adjoining Grammars, syntactic parsing and the syntax-semantics interface; but it extends to statistical methods, plan inference, instruction understanding, intonation, causal reasoning, free word order languages, geometric reasoning, medical informatics, connectionism, and language acquisition. Naturally, this introduction cannot spell out all the connections between these abstracts; we invite you to explore them on your own. In fact, with this issue it’s easier than ever to do so: this document is accessible on the “information superhighway”. Just call up http://www.cis.upenn.edu/~cliff-group/94/cliffnotes.html In addition, you can find many of the papers referenced in the CLiFF Notes on the net. Most can be obtained by following links from the authors’ abstracts in the web version of this report. The abstracts describe the researchers’ many areas of investigation, explain their shared concerns, and present some interesting work in Cognitive Science. We hope its new online format makes the CLiFF Notes a more useful and interesting guide to Computational Linguistics activity at Penn

Understanding for a purpose

Epistemology is a philosophical discipline which has traditionally been concerned with studying the nature of knowledge. For some decades now, a number of epistemologists have been trying to steer their discipline away from the conventional study of knowledge, into a new paradigm centered around the concept of understanding. Increasingly, however, the study of understanding is starting to resemble the study of knowledge in important respects, such as in its preoccupation with the so-called problem of epistemic luck. In my dissertation, I argue that the study of understanding is in need of a methodological reorientation. I propose that instead of formulating a definition of understanding on the basis of our intuitions, which has been the usual modus operandi, we had best strive to let our definition capture the functions that understanding-ascriptions have in a community. With this general guideline in hand, I argue that understanding is a behavioral, rather than a cognitive achievement, and that understanding requires a practical kind of success, rather than truth or truth-approximation. I show that this behaviorist, pragmatist theory of understanding does a better job than more traditional proposals in accounting, among other things, for the value of idealizations in scientific research, the relation between different types of understanding, and the nature of scientific progress

On the Virtues of a Philosophically Pragmatic Reorientation in Environmental Ethics: Adaptive Co-management as a Laboratory

abstract: With global environmental systems under increasing Anthropogenic influence, conservationists and environmental managers are under immense pressure to protect and recover the world’s imperiled species and ecosystems. This effort is often motivated by a sense of moral responsibility, either to nature itself, or to the end of promoting human wellbeing over the long run. In other words, it is the purview of environmental ethics, a branch of applied philosophy that emerged in the 1970s and that for decades has been devoted to understanding and defending an attitude of respect for nature, usually for its own sake. Yet from the very start, environmental ethics has promoted itself as contributing to the resolution of real-world management and policy problems. By most accounts, however, the field has historically failed to deliver on this original promise, and environmental ethicists continue to miss opportunities to make intellectual inroads with key environmental decisionmakers. Inspired by classical and contemporary American philosophers such as Charles Sanders Peirce, William James, John Dewey, and Richard Rorty, I defend in this dissertation the virtues of a more explicitly pragmatic approach to environmental ethics. Specifically, I argue that environmental pragmatism is not only commensurate with pro-environmental attitudes but that it is more likely to lead to viable and sustainable outcomes, particularly in the context of eco-social resilience-building activities (e.g., local experimentation, adaptation, cooperation). In doing so, I call for a recasting of environmental ethics, a project that entails: 1) a conceptual reorientation involving the application of pragmatism applied to environmental problems; 2) a methodological approach linking a pragmatist environmentalism to the tradition and process of adaptive co-management; and 3) an empirical study of stakeholder values and perspectives in conservation collaboratives in Arizona. I conclude that a more pragmatic environmental ethics has the potential to bring a powerful set of ethical and methodological tools to bear in real-world management contexts and, where appropriate, can ground and justify coordinated conservation efforts. Finally, this research responds to critics who suggest that, because it strays too far from the ideological purity of traditional environmental ethics, the pragmatic decision-making process will, in the long run, weaken rather than bolster our commitment to conservation and environmental protection.Dissertation/ThesisDoctoral Dissertation Biology 201

Diagnosing runtime violations of security and dependability properties

Monitoring the preservation of security and dependability (S&D) properties of complex software systems is widely accepted as a necessity. Basic monitoring can detect violations but does not always provide sufficient information for deciding what the appropriate response to a violation is. Such decisions often require additional diagnostic information that explains why a violation has occurred and can, therefore, indicate what would be an appropriate response action to it. In this thesis, we describe a diagnostic procedure for generating explanations of violations of S&D properties developed as extension of a runtime monitoring framewoek, called EVEREST. The procedure is based on a combination of abductive and evidential reasoning about violations of S&D properties which are expressed in Event Calculus

The role of experience in common sense and expert problem solving

Issued as Progress reports [nos. 1-5], Reports [nos. 1-6], and Final report, Project no. G-36-617 (includes Projects nos. GIT-ICS-87/26, GIT-ICS-85/19, and GIT-ICS-85/18