Sciweavers

    AGI
    2015
    13views Artificial Intelligence» more  AGI 2015»
    Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings
    8 years 7 months ago
    Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings
    Download  intelligence.org
    This paper motivates the study of counterpossibles (logically impossible counterfactuals) as necessary for developing a decision theory suitable for generally intelligent agents e...
    Nate Soares, Benja Fallenstein
    claim paper
    Read More »
    AGI
    2015
    31views Artificial Intelligence» more  AGI 2015»
    Can Machines Learn Logics?
    8 years 7 months ago
    Can Machines Learn Logics?
    Download  www.wakayama-u.ac.jp
    This paper argues the possibility of designing AI that can learn logics from data. We provide an abstract framework for learning logics. In this framework, an agent A provides trai...
    Chiaki Sakama, Katsumi Inoue
    claim paper
    Read More »
    AGI
    2015
    13views Artificial Intelligence» more  AGI 2015»
    Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction
    8 years 7 months ago
    Ultimate Intelligence Part I: Physical Completeness and Objectivity of Induction
    Download  agi-conf.org
    We propose that Solomonoff induction is complete in the physical sense via several strong physical arguments. We also argue that Solomonoff induction is fully applicable to quant...
    Eray Özkural
    claim paper
    Read More »
    AGI
    2015
    20views Artificial Intelligence» more  AGI 2015»
    Comparing Computer Models Solving Number Series Problems
    8 years 7 months ago
    Comparing Computer Models Solving Number Series Problems
    Download  agi-conf.org
    Inductive reasoning requires to find for given instances a general rule. This makes inductive reasoning an excellent test-bed for artificial general intelligence (AGI). An exampl...
    Ute Schmid, Marco Ragni
    claim paper
    Read More »
    AGI
    2015
    21views Artificial Intelligence» more  AGI 2015»
    Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages
    8 years 7 months ago
    Genetic Programming on Program Traces as an Inference Engine for Probabilistic Languages
    Download  agi-conf.org
    Abstract. Methods of simulated annealing and genetic programming over probabilistic program traces are developed firstly. These methods combine expressiveness of Turing-complete pr...
    Vita Batishcheva, Alexey Potapov
    claim paper
    Read More »
    AGI
    2015
    25views Artificial Intelligence» more  AGI 2015»
    Issues in Temporal and Causal Inference
    8 years 7 months ago
    Issues in Temporal and Causal Inference
    Download  agi-conf.org
    This paper discusses several key issues in temporal and causal inference in the context of AGI. The main conclusions are: (1) the representation of temporal information should take...
    Pei Wang, Patrick Hammer
    claim paper
    Read More »
    AGI
    2015
    22views Artificial Intelligence» more  AGI 2015»
    Toward Tractable Universal Induction Through Recursive Program Learning
    8 years 7 months ago
    Toward Tractable Universal Induction Through Recursive Program Learning
    Download  agi-conf.org
    Abstract. Since universal induction is a central topic in artificial general intelligence (AGI), it is argued that compressing all sequences up to a complexity threshold should be...
    Arthur Franz
    claim paper
    Read More »
    AGI
    2015
    23views Artificial Intelligence» more  AGI 2015»
    Anytime Bounded Rationality
    8 years 7 months ago
    Anytime Bounded Rationality
    Download  xenia.media.mit.edu
    Dependable cyber-physical systems strive to deliver anticipative, multi-objective performance anytime, facing deluges of inputs with varying and limited resources. This is even mor...
    Eric Nivel, Kristinn R. Thórisson, Bas R. S...
    claim paper
    Read More »
    AGI
    2015
    24views Artificial Intelligence» more  AGI 2015»
    Plan Recovery in Reactive HTNs Using Symbolic Planning
    8 years 7 months ago
    Plan Recovery in Reactive HTNs Using Symbolic Planning
    Download  agi-conf.org
    Building formal models of the world and using them to plan future action is a central problem in artificial intelligence. In this work, we combine two well-known approaches to thi...
    Lydia Ould Ouali, Charles Rich, Nicolas Sabouret
    claim paper
    Read More »
    AGI
    2015
    15views Artificial Intelligence» more  AGI 2015»
    A New View on Grid Cells Beyond the Cognitive Map Hypothesis
    8 years 7 months ago
    A New View on Grid Cells Beyond the Cognitive Map Hypothesis
    Download  www.fernuni-hagen.de
    Grid cells in the entorhinal cortex are generally considered to be a central part of a path integration system supporting the construction of a cognitive map of the environment in ...
    Jochen Kerdels, Gabriele Peters
    claim paper
    Read More »
    « first‹ previous…272829303132333435…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.