Natural Events

This paper develops an inductive theory of predictive common sense reasoning. The theory provides the basis for an integrated solution to the three traditional problems of reasoning about change; the frame, qualification, and ramification problems. The theory is also capable of representing non-deterministic events, and it provides a means for stating defeasible preferences over the outcomes of conflicting simultaneous events.

[1]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[2]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[5]  David E. Smith,et al.  Reasoning About Action II: The Qualification Problem , 1988, Artif. Intell..

[6]  R. Pargetter,et al.  Metaphysics of causation , 1990 .

[7]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[8]  Massimo Marraffa,et al.  Philosophical Papers, vol. I , 1994 .

[9]  H. Nijssen,et al.  The occurrence of Brama brama (Bonnaterre, 1788) along the coast of the Netherlands in 1974 and 1975 (Pisces, Perciformes, Bramidae) , 1976 .

[10]  Andrew B. Baker,et al.  Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..

[11]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[12]  S. Gottwald.  Many-Valued Logics , 2007 .

[13]  Ah Taylor,et al.  Latitudinal displacements of the gulf-stream (1966 to 1977) and their relation to changes in temperature and zooplankton abundance in the ne atlantic , 1980 .

[14]  John Bell.  Simultaneous Events: Conflicts and Preferences , 2001, ECSQARU.

[15]  B. Russell.  I.—On the Notion of Cause , 1913 .

[16]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[17]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[18]  E. Sandewall.  Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .

[19]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[20]  J. M. Larrazabal,et al.  Reasoning about change , 1991 .

[21]  G. J. Broekhuysen.  The Extremes in Percentages of Dissolved Oxygen To Which the Fauna of a Zostera Field in the Tide Zone At Nieuwediep Can Be Exposed , 1934 .

[22]  Edward M. Hundert,et al.  The Cement of the Universe , 1990 .

[23]  John Bell.  A Common Sense Theory of Causation , 2003, CONTEXT.

[24]  J. Mill.  A System of Logic , 1843 .

[25]  D. Crisp,et al.  The Effects of the Severe Winter of 1962-63 on Marine Life in Britain , 1964 .

[26]  Ned Hall,et al.  Causation and counterfactuals , 2004 .

[27]  J. J. Beukema,et al.  Annual variation in reproductive success and biomass of the major macrozoobenthic species living in a tidal flat area of the Wadden Sea , 1982 .

[28]  John Bell,et al.  Causation and Causal Conditionals , 2004, KR.

[29]  J. McCarthy.  Circumscription|a Form of Nonmonotonic Reasoning , 1979 .

[30]  E. Craig,et al.  The Oxford dictionary of philosophy , 2008 .

[31]  A. White.  Essays on Actions and Events. , 1981 .

[32]  Michael Thielscher,et al.  Ramification and Causality , 1997, Artif. Intell..

[33]  Erik Sandewall,et al.  Assessments of Ramification Methods that Use Static Domain Constraints , 1996, International Conference on Principles of Knowledge Representation and Reasoning.

[34]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[35]  J. R. Lumby,et al.  On the unusual Mortality amongst Fish during March and April 1929, in the North Sea , 1929 .

[36]  Fangzhen Lin.  On the relationships between static and dynamic causal rules in the situation calculus , 1998, AAAI 1998.

[37]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[38]  Cliff B. Jones,et al.  A logic covering undefinedness in program proofs , 1984, Acta Informatica.

[39]  John Bell.  A model-based approach to predictive causal reasoning , 1996 .

[40]  V. Lifschitz.  Formal theories of action , 1987 .

[41]  Murray Shanahan.  Solving the frame problem - a mathematical investigation of the common sense law of inertia , 1997 .

[42]  J. Earman,et al.  The Cement Of The Universe , 1974 .

[43]  Max Gillbricht,et al.  Eine “red tide” in der südlichen Nordsee und ihre Beziehungen zur Umwelt , 1983, Helgoländer Meeresuntersuchungen.

[44]  J. J. Zijlstra,et al.  On the Recruitment of O-Group Plaice in the North Sea , 1984 .

[45]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[46]  John Bell,et al.  Pragmatic Reasoning A model-based theory , 1992 .

[47]  Jeffrey Mervis,et al.  A Stimulus for Science , 2009, Science.

[48]  T. Troward.  Causes and conditions. , 1919 .

[49]  Patrick Doherty.  Partiality, Modality and Nonmonotonicity , 1996 .

[50]  E. Ziegelmeier,et al.  Über Massenvorkommen verschiedener makrobenthaler Wirbelloser während der Wiederbesiedlungsphase nach Schädigungen durch „katastrophale“ Umwelteinflüsse , 1970, Helgoländer wissenschaftliche Meeresuntersuchungen.

[51]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[52]  John Bell,et al.  Causation as Production , 2006, ECAI.

[53]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[54]  Erich Ziegelmeier,et al.  Einwirkungen des kalten Winters 1962/63 auf das Makrobenthos im Ostteil der Deutschen Bucht , 1964, Helgoländer wissenschaftliche Meeresuntersuchungen.

[55]  David Cushing,et al.  Climate and fisheries , 1982 .

[56]  John Bell,et al.  Building Models of Prediction Theories , 1998, KR.

[57]  Edward D. Goldberg,et al.  North Sea science. , 1975 .

[58]  J. Mackie,et al.  I . CAUSES AND CONDITIONS , 2008 .

[59]  Daniele Theseider Dupré,et al.  An Inductive Definition Approach to Ramifications , 1998, Electron. Trans. Artif. Intell..

[60]  V. Dethlefsen,et al.  Oxygen deficiency and effects on bottom fauna in the eastern German Bight 1982 , 1983 .

[61]  Fangzhen Lin,et al.  Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.

[62]  Javier Pinto,et al.  Causality in Theories of Action , 1998 .

[63]  R S Glover,et al.  Natural fluctuations of populations. , 1979, Ecotoxicology and environmental safety.

[64]  Peter M. J. Woodhead,et al.  The death of north sea fish during the winter of 1962/63, particularly with reference to the sole,Solea vulgaris , 1964, Helgoländer wissenschaftliche Meeresuntersuchungen.

[65]  P. C. Reid.  Continuous plankton records: Changes in the composition and abundance of the phytoplankton of the north-eastern Atlantic ocean and North Sea, 1958–1974 , 1977 .

[66]  Raymond Reiter,et al.  Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.

[67]  M. Norton,et al.  A Guide to Parallel Paragraph and Page References in Oxford University Press Editions of Hume's Enquiry concerning Human Understanding , 2002, Hume Studies.

[68]  David Hume.  A Treatise of Human Nature: Being an Attempt to introduce the experimental Method of Reasoning into Moral Subjects , 1972 .

[69]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[70]  A. C. Simpson.  Some Observations on the Mortality of Fish and the Distribution of Plankton in the Southern North Sea during the Cold Winter, 1946-1947 , 1953 .

[71]  W. Hickel,et al.  Sedimentbeschaffenheit und Bakteriengehalt im Sediment eines zukünftigen Verklappungsgebietes von Industrieabwässern nordwestlich Helgolands , 1969, Helgoländer wissenschaftliche Meeresuntersuchungen.

[72]  John H. Steele,et al.  The Structure of Plankton Communities , 1977 .

[73]  J. J. Beukema,et al.  Zoobenthos responses to eutrophication of the Dutch Wadden Sea , 1986 .

[74]  Erik Sandewall.  Features and fluents : representation of knowledge about dynamical systems , 1994 .

[75]  Michael Gelfond,et al.  What are the Limitations of the Situation Calculus? , 1991, Automated Reasoning: Essays in Honor of Woody Bledsoe.

[76]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[77]  Peter M. J. Woodhead,et al.  Changes in the behaviour of the sole,Solea vulgaris, during cold winters, and the relation between the winter catch and sea temperatures , 1964, Helgoländer wissenschaftliche Meeresuntersuchungen.

[78]  J. J. Beukema,et al.  Biomass and species richness of the macrobenthic animals living on a tidal flat area in the Dutch Wadden Sea: Effects of a severe winter , 1979 .

[79]  N. Y. Foo,et al.  Reasoning about Action: An Argumentation - Theoretic Approach , 2005, J. Artif. Intell. Res..

[80]  J. S. Gray,et al.  Marine Biology of Polar Regions and Effects of Stress on Marine Organisms. , 1986 .

[81]  A. Macintyre.  The Oxford Dictionary of Philosophy , 1996 .

[82]  Vladimir Lifschitz,et al.  Frames in the Space of Situations , 1990, Artif. Intell..