The scope and limits of simulation in automated reasoning

&
Artificial Intelligence 233 (C):60-72 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.12.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automated model selection for simulation based on relevance reasoning.Alon Y. Levy, Yumi Iwasaki & Richard Fikes - 1997 - Artificial Intelligence 96 (2):351-394.
Automated reasoning about machines.Andrew Gelsey - 1995 - Artificial Intelligence 74 (1):1-53.
Artificial Intelligence Is Stupid and Causal Reasoning Will Not Fix It.J. Mark Bishop - 2021 - Frontiers in Psychology 11:513474.
Clause trees: a tool for understanding and implementing resolution in automated reasoning.J. D. Horton & Bruce Spencer - 1997 - Artificial Intelligence 92 (1-2):25-89.
Nonmonotonicity and the scope of reasoning.David W. Etherington, Sarit Kraus & Donald Perlis - 1991 - Artificial Intelligence 52 (3):221-261.
Evidential reasoning using stochastic simulation of causal models.Judea Pearl - 1987 - Artificial Intelligence 32 (2):245-257.
A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains.L. Wos, S. Winker, B. Smith, R. Veroff & L. Henschen - 1984 - Artificial Intelligence 22 (3):303-356.
Integrating Reasoning and Action through Simulation.S. Wintermute - 2009 - In B. Goertzel, P. Hitzler & M. Hutter (eds.), Proceedings of the Second Conference on Artificial General Intelligence. Atlantis Press.
Artificial Intelligence: Its Scope and Limits.James H. Fetzer - 1990 - Kluwer Academic Publishers.

Analytics

Added to PP
2020-12-22

Downloads
14 (#1,189,878)

6 months
5 (#897,479)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Causal generative models are just a start.Ernest Davis & Gary Marcus - 2017 - Behavioral and Brain Sciences 40.

Add more citations

References found in this work

Qualitative process theory.Kenneth D. Forbus - 1984 - Artificial Intelligence 24 (1-3):85-168.
Planning for conjunctive goals.David Chapman - 1987 - Artificial Intelligence 32 (3):333-377.
A qualitative physics based on confluences.Johan De Kleer & John Seely Brown - 1984 - Artificial Intelligence 24 (1-3):7-83.
Qualitative simulation.Benjamin Kuipers - 1986 - Artificial Intelligence 29 (3):289-338.

View all 10 references / Add more references