Steps Toward a Computational
نویسندگان
چکیده
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-order, axiomatic theory of abstract objects, we show (1) how to represent a fragment of that theory in prover9’s first-order syntax, and (2) how prover9 then finds proofs of interesting theorems of metaphysics, such as that every possible world is maximal. We conclude the paper by discussing some issues for further research.
منابع مشابه
Steps Toward Deep Lexical Acquisition
I describe steps toward “deep lexical acquisition” based on naive theories, motivated by modern results of developmental psychology. I argue that today’s machine learning paradigm is inappropriate to take these steps. Instead we must develop computational accounts of naive theory representations, mechanisms of theory acquisition, and the mapping of naive theories to lexicalizable concepts. This...
متن کاملToward The Computational Representation of Individual Cognitive, Emotional, and Cultural State: A Peacekeeping Scenario Simulation
The present paper outlines an approach to representing cognitive, cultural, and physiological variability in the computational representation an individual U.S. peacekeeper as he interacts with an unexpected target (two young Iraqi girls) in an ambiguous situation while faced with a high-consequence decision that will greatly impact subsequent events. This project sought to demonstrate steps to...
متن کاملFirst Steps Toward a Computational Theory of Autism
A computational model with three interacting components for context sensitive reinforcement learning, context processing and automation can autonomously learn a focus attention and a shift attention task. The performance of the model is similar to that of normal children, and when a single parameter is changed, the performance on the two tasks approaches that of autistic children.
متن کاملDesign of the optimal magnetic field in application of functionalized CNT-based drug delivery toward the cell membrane: Computational Analysis
Recently, Carbon Nano (CN) structures are widely used in medical applications, especially the detection and treatment of cancer disease. Among various types of CNs, Carbone Nano Tubes (CNTs) attracted many researchers' attention to consider them toward clinical application. Regarding the intrinsic structure of CNTs, they can be used widely in drug delivery applications. Functionalized CNTs and ...
متن کاملSteps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کاملToward the Computational Representation of Individual Cultural, Cognitive, and Physiological State: The Sensor Shooter Simulation
This report documents an exploratory FY 00 LDRD project that sought to demonstrate the first steps toward a realistic computational representation of the variability encountered in individual human behavior. Realism, as conceptualized in this project, required that the human representation address the underlying psychological, cultural, physiological, and environmental stressors. The present re...
متن کامل