Papers by James Delgrande
Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007
07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents
ABSTRACT From 26.08. to 30.08.2007, the Dagstuhl Seminar 07351 ``Formal Models of Belief Change i... more ABSTRACT From 26.08. to 30.08.2007, the Dagstuhl Seminar 07351 ``Formal Models of Belief Change in Rational Agents'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available. @InProceedings{bonanno_et_al:DSP:2007:1241, author = {Giacomo Bonanno and James Delgrande and J{'e}r{^o}me Lang and Hans Rott}, title = {07351 Abstracts Collection -- Formal Models of Belief Change in Rational Agents}, booktitle = {Formal Models of Belief Change in Rational Agents}, year = {2007}, editor = {Giacomo Bonanno and James Delgrande and J{'e}r{^o}me Lang and Hans Rott}, number = {07351}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2007/1241}, annote = {Keywords: Belief change, rational agents, information economy, information processing} }
This document gathers the panelists' contribution. @InProceedings{levi_et_al:DSP:2005:358, au... more This document gathers the panelists' contribution. @InProceedings{levi_et_al:DSP:2005:358, author = {Isaac Levi and Giacomo Bonanno and Bernard Walliser and Didier Dubois and Hans Rott and James Delgrande and J{'e}r{^o}me Lang}, title = {05321 -- Panel on belief change}, booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics}, year = {2005}, editor = {James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon}, number = {05321}, series = {Dagstuhl Seminar Proceedings}, ISSN = {1862-4405}, publisher = {Internationales Begegnungs- und Forschungszentrum f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2005/358}, annote = {Keywords: Belief revision, iterated belief revision, update, merging, dynamic logic, possibility theory, conditionals, social choice, distance, complexity} }
Journal of Artificial Intelligence Research, 2008
In this paper we explore a class of belief update operators, in which the definition of the opera... more In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to provide an update operator that is intuitive, in that its definition is based on a recursive ...
Erkenntnis, 1998
We investigate the notion of relevance as it pertains to 'commonsense', subjunctive con... more We investigate the notion of relevance as it pertains to 'commonsense', subjunctive conditionals. Relevance is taken here as a relation between a property (such as having a broken wing) and a conditional (such as birds typically fly). Specifically, we explore a ...
Fomal Lmalts on the Automatic Generation and Maintenance of Integrity Constraints
An Implementation of Consistency-Based Multi-agent Belief Change Using ASP
Lecture Notes in Computer Science, 2015
Implementing Preferences with asprin
Lecture Notes in Computer Science, 2015
Computers & Graphics, 1979
An interactive system, SIMILE, for the construction, manipulation and animation of systems dynami... more An interactive system, SIMILE, for the construction, manipulation and animation of systems dynamics models is described. The system is intended to be used primarily as an educational tool, to allow users to experiment with and develop systems dynamics models. However, the system also may be used for creating films of these models.
Computers & Graphics, 1980
A programming language extension, AGILE, for the processing of graphs within an interactive compu... more A programming language extension, AGILE, for the processing of graphs within an interactive computer graphics environment, is defined. The language is intended to be used for expressing and illustrating graph-theoretic algorithms and applications. However it does not deal with the actual drawing or display of graphs; rather one is able to access an existing general-purpose graphics package. The language then is intended to be used, in conjunction with a graphics package, as a tool for the production of more specialised graphics systems: the language allows one to naturally exploit the underlying graph structure found in a wide class of problems, while a graphics environment permits the elegant display of (and interaction with) such representations.
Computational Intelligence, 1989
This paper addresses the problem in inductive generalization of determining when a general hypoth... more This paper addresses the problem in inductive generalization of determining when a general hypothesis is supported by a particular instance. If we accept that, first, some facts do indeed support a general hypothesis and, second, that an instance that supports a hypothesis also supports all logical consequences of the hypothesis, then unintuitive and problematic results are immediately forthcoming. These assumptions lead, for example, to the conclusion that a blue Honda is confirming evidence for the hypothesis that ravens are black. This problem is variously known as theparadoxes of confirmation or Hempel'spuradox. In this paper I develop a formal characterization of the problem. The assumption that whatever supports all classical consequences of the hypothesis is rejected. Rather, I argue that a weaker notion of consequence should be adopted for determining what consequences of a hypothesis are supported by the same evidence. An extant formal system for learning from examples is used to address these problems of evidential support, and it is shown that in this framework the problems do not arise.
3 NMR Systems and Applications
Nonmonotonic Reasoning
In recent years, a number of systems implementing non-monotonic reasoning, or making extensive us... more In recent years, a number of systems implementing non-monotonic reasoning, or making extensive use of nonmonotonic reasoning approaches, have emerged. These systems have ranged from implementations of systems in traditional nonmonotonic reasoning areas (best exemplified by answer set program implementations) to those in less traditional areas (including belief change and causality). Areas of application have similarly ranged from implementations of systems in traditional areas (best exemplified by planning) to less ...
Computational Intelligence, 1989
In the past, Kripke structures have been used to specify the semantic theory of various modal log... more In the past, Kripke structures have been used to specify the semantic theory of various modal logics. More recently, modal structures have been developed as an alternative to Kripke structures for providing the semantics of such logics. While these approaches are equivalent in a certain sense, it has been argued that modal structures provide a more appropriate basis for representing the modal notions of knowledge and belief. Since these notions, rather than the traditional notions of necessity and possibility, are of particular interest to artificial intelligence, it is of interest to examine the applicability and versatility of these structures. This paper presents an investigation of modal structures by examining how they may be extended to account for generalizations of Kripke structures. To begin with, we present an alternative formulation of modal structures in terms of trees; this formulation emphasizes the relation between Kripke structures and modal structures, by showing how the latter may be obtained from the former by means of a three-step transformation. Following this, we show how modal structures may be extended to represent generalizations of possible worlds, and to represent generalizations of accessibility between possible worlds. Lastly, we show how modal structures may be used in the case of a full first-order system. In all cases, the extensions are shown to be equivalent to the corresponding extension of Kripke structures.
A note on evidence, confirmation in machine learning
Ci, 1989
On the Relation between Reiter's Default Logic
A representation for efficient temporal reasoning
Proceedings of the Thirteenth National Conference on Artificial Intelligence Volume 1, 1996
It has been observed that the temporal reasoning component in a knowledge-based system is frequen... more It has been observed that the temporal reasoning component in a knowledge-based system is frequently a bottleneck. We investigate here a class of graphs appropriate for an interesting class of temporal domains and for which very efficient algorithms for reasoning are ...
A Logic for Representing Default and Prototypical Properties
Ijcai, 1987
A Semantically Justified Approach to Nonmonotonic Reasoning in Logic Programming: Extended Abstract
Lpnmr, 1990
Default Logic Revisited
Kr, 1991
<properties publication 118 /info/www/ext/acres/cf/kr/1991/118/descrip.adl&... more <properties publication 118 /info/www/ext/acres/cf/kr/1991/118/descrip.adl> R-AUTHORS "James P. Delgrande and W. Ken Jackson:" TITLE <= "Default Logic Revisited" <- PAGES "118-127" AUTHOR "James P. Delgrande" OTHERAUTHORS <= "W. Ken Jackson" <- OBJECT ...
Uploads
Papers by James Delgrande