Problems in Artificial Intelligence
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
The Dramatic True Story of the Frame Default
The Dramatic True Story of the Frame Default Vladimir Lifschitz University of Texas at Austin Abstract This is an expository article about the solution to the frame problem pro- posed in 1980 by Raymond Reiter. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated areas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important appli- cations. 1 Introduction This is an expository article about the dramatic story of the solution to the frame problem proposed in 1980 by Raymond Reiter [22]. For years, his “frame default” remained untested and suspect. But developments in some seemingly unrelated ar- eas of computer science—logic programming and satisfiability solvers—eventually exonerated the frame default and turned it into a basis for important applications. This paper grew out of the Great Moments in KR talk given at the 13th Inter- national Conference on Principles of Knowledge Representation and Reasoning. It does not attempt to provide a comprehensive history of research on the frame problem: the story of the frame default is only a small part of the big picture, and many deep and valuable ideas are not even mentioned here. The reader can learn more about work on the frame problem from the monographs [17, 21, 24, 25, 27]. 2 What Is the Frame Problem? The frame problem [16] is the problem of describing a dynamic domain without explicitly specifying which conditions are not affected by executing actions. Here is a simple example. Initially, Alice is in the room, and Bob is not. -
Why Dreyfus' Frame Problem Argument Cannot Justify Anti
Why Dreyfus’ Frame Problem Argument Cannot Justify Anti- Representational AI Nancy Salay ([email protected]) Department of Philosophy, Watson Hall 309 Queen‘s University, Kingston, ON K7L 3N6 Abstract disembodied cognitive models will not work, and this Hubert Dreyfus has argued recently that the frame problem, conclusion needs to be heard. By disentangling the ideas of discussion of which has fallen out of favour in the AI embodiment and representation, at least with respect to community, is still a deal breaker for the majority of AI Dreyfus‘ frame problem argument, the real locus of the projects, despite the fact that the logical version of it has been general polemic between traditional computational- solved. (Shanahan 1997, Thielscher 1998). Dreyfus thinks representational cognitive science and the more recent that the frame problem will disappear only once we abandon the Cartesian foundations from which it stems and adopt, embodied approaches is revealed. From this, I hope that instead, a thoroughly Heideggerian model of cognition, in productive debate will ensue. particular one that does not appeal to representations. I argue The paper proceeds in the following way: in section I, I that Dreyfus is too hasty in his condemnation of all describe and distinguish the logical version of the frame representational views; the argument he provides licenses problem and the philosophical one that remains unsolved; in only a rejection of disembodied models of cognition. In casting his net too broadly, Dreyfus circumscribes the section II, I rehearse Dreyfus‘ negative argument, what I‘ll cognitive playing field so closely that one is left wondering be calling his frame problem argument; in section III, I how his Heideggerian alternative could ever provide a highlight some key points from Dreyfus‘ positive account of foundation explanatorily robust enough for a theory of a Heideggerian alternative; in section IV, I make my case cognition. -
Answers to Exercises
Appendix A Answers to Exercises Answers to some of the exercises can be verified by running CLINGO, and they are not included here. 2.1. (c) Replace rule (1.1) by large(C) :- size(C,S), S > 500. 2.2. (a) X is a child of Y if Y is a parent of X. 2.3. (a) large(germany) :- size(germany,83), size(uk,64), 83 > 64. (b) child(dan,bob) :- parent(bob,dan). 2.4. (b), (c), and (d). 2.5. parent(ann,bob; bob,carol; bob,dan). 2.8. p(0,0*0+0+41) :- 0 = 0..3. 2.10. p(2**N,2**(N+1)) :- N = 0..3. 2.11. (a) p(N,(-1)**N) :- N = 0..4. (b) p(M,N) :- M = 1..4, N = 1..4, M >= N. 2.12. (a) grandparent(X,Z) :- parent(X,Y), parent(Y,Z). 2.13. (a) sibling(X,Y) :- parent(Z,X), parent(Z,Y), X != Y. 2.14. enrolled(S) :- enrolled(S,C). 2.15. same_city(X,Y) :- lives_in(X,C), lives_in(Y,C), X!=Y. 2.16. older(X,Y) :- age(X,M), age(Y,N), M > N. 2.18. Line 5: noncoprime(N) :- N = 1..n, I = 2..N, N\I = 0, k\I = 0. Line 10: coprime(N) :- N = 1..n, not noncoprime(N). © Springer Nature Switzerland AG 2019 149 V. Lifschitz, Answer Set Programming, https://doi.org/10.1007/978-3-030-24658-7 150 A Answers to Exercises 2.19. Line 6: three(N) :- N = 1..n, I = 0..n, J = 0..n, K = 0..n, N=I**2+J**2+K**2. -
Artificial Intelligence Is Stupid and Causal Reasoning Won't Fix It
Artificial Intelligence is stupid and causal reasoning wont fix it J. Mark Bishop1 1 TCIDA, Goldsmiths, University of London, London, UK Email: [email protected] Abstract Artificial Neural Networks have reached `Grandmaster' and even `super- human' performance' across a variety of games, from those involving perfect- information, such as Go [Silver et al., 2016]; to those involving imperfect- information, such as `Starcraft' [Vinyals et al., 2019]. Such technological developments from AI-labs have ushered concomitant applications across the world of business, where an `AI' brand-tag is fast becoming ubiquitous. A corollary of such widespread commercial deployment is that when AI gets things wrong - an autonomous vehicle crashes; a chatbot exhibits `racist' behaviour; automated credit-scoring processes `discriminate' on gender etc. - there are often significant financial, legal and brand consequences, and the incident becomes major news. As Judea Pearl sees it, the underlying reason for such mistakes is that \... all the impressive achievements of deep learning amount to just curve fitting". The key, Pearl suggests [Pearl and Mackenzie, 2018], is to replace `reasoning by association' with `causal reasoning' - the ability to infer causes from observed phenomena. It is a point that was echoed by Gary Marcus and Ernest Davis in a recent piece for the New York Times: \we need to stop building computer systems that merely get better and better at detecting statistical patterns in data sets { often using an approach known as \Deep Learning" { and start building computer systems that from the moment of arXiv:2008.07371v1 [cs.CY] 20 Jul 2020 their assembly innately grasp three basic concepts: time, space and causal- ity"[Marcus and Davis, 2019]. -
Temporal Projection and Explanation
Temporal Projection and Explanation Andrew B. Baker and Matthew L. Ginsberg Computer Science Department Stanford University Stanford, California 94305 Abstract given is in fact somewhat simpler than that presented in [Hanks and McDermott, 1987], but still retains all of the We propose a solution to problems involving troublesome features of the original. In Section 3, we go temporal projection and explanation (e.g., the on to describe proposed solutions, and investigate their Yale shooting problem) based on the idea that technical shortcomings. whether a situation is abnormal should not de• The formal underpinnings of our own ideas are pre• pend upon historical information about how sented in Section 4, and we return to the Yale shooting the situation arose. We apply these ideas both scenario in Section 5, showing that our notions can be to the Yale shooting scenario and to a blocks used to solve both the original problem and the variant world domain that needs to address the quali• presented in Section 2. In Section 6, we extend our ideas fication problem. to deal with the qualification problem in a simple blocks world scenario. Concluding remarks are contained in 1 Introduction Section 7. The paper [1987] by Hanks and McDermott describing 2 The Yale shooting the Yale shooting problem has generated such a flurry of responses that it is difficult to imagine what another The Yale shooting problem involves reasoning about a one can contribute. The points raised by Hanks and sequence of actions. In order to keep our notation as McDermott, both formal and philosophical, have been manageable as possible, we will denote the fact that some discussed at substantial length elsewhere. -
The Thought Experiments Are Rigged: Mechanistic Understanding Inhibits Mentalistic Understanding
Georgia State University ScholarWorks @ Georgia State University Philosophy Theses Department of Philosophy Summer 8-13-2013 The Thought Experiments are Rigged: Mechanistic Understanding Inhibits Mentalistic Understanding Toni S. Adleberg Georgia State University Follow this and additional works at: https://scholarworks.gsu.edu/philosophy_theses Recommended Citation Adleberg, Toni S., "The Thought Experiments are Rigged: Mechanistic Understanding Inhibits Mentalistic Understanding." Thesis, Georgia State University, 2013. https://scholarworks.gsu.edu/philosophy_theses/141 This Thesis is brought to you for free and open access by the Department of Philosophy at ScholarWorks @ Georgia State University. It has been accepted for inclusion in Philosophy Theses by an authorized administrator of ScholarWorks @ Georgia State University. For more information, please contact [email protected]. THE THOUGHT EXPERIMENTS ARE RIGGED: MECHANISTIC UNDERSTANDING INHIBITS MENTALISTIC UNDERSTANDING by TONI ADLEBERG Under the Direction of Eddy Nahmias ABSTRACT Many well-known arguments in the philosophy of mind use thought experiments to elicit intuitions about consciousness. Often, these thought experiments include mechanistic explana- tions of a systems’ behavior. I argue that when we understand a system as a mechanism, we are not likely to understand it as an agent. According to Arico, Fiala, Goldberg, and Nichols’ (2011) AGENCY Model, understanding a system as an agent is necessary for generating the intuition that it is conscious. Thus, if we are presented with a mechanistic description of a system, we will be very unlikely to understand that system as conscious. Many of the thought experiments in the philosophy of mind describe systems mechanistically. I argue that my account of consciousness attributions is preferable to the “Simplicity Intuition” account proposed by David Barnett (2008) because it is more explanatory and more consistent with our intuitions. -
Introduction to Philosophy Fall 2019—Test 3 1. According to Descartes, … A. What I Really Am Is a Body, but I Also Possess
Introduction to Philosophy Fall 2019—Test 3 1. According to Descartes, … a. what I really am is a body, but I also possess a mind. b. minds and bodies can’t causally interact with one another, but God fools us into believing they do. c. cats and dogs have immortal souls, just like us. d. conscious states always have physical causes, but never have physical effects. e. what I really am is a mind, but I also possess a body. 2. Which of the following would Descartes agree with? a. We can conceive of existing without a body. b. We can conceive of existing without a mind. c. We can conceive of existing without either a mind or a body. d. We can’t conceive of mental substance. e. We can’t conceive of material substance. 3. Substance dualism is the view that … a. there are two kinds of minds. b. there are two kinds of “basic stuff” in the world. c. there are two kinds of physical particles. d. there are two kinds of people in the world—those who divide the world into two kinds of people, and those that don’t. e. material substance comes in two forms, matter and energy. 4. We call a property “accidental” (as opposed to “essential”) when ... a. it is the result of a car crash. b. it follows from a thing’s very nature. c. it is a property a thing can’t lose (without ceasing to exist). d. it is a property a thing can lose (without ceasing to exist). -
Robert Boyce Brandom Addresses
Brandom Curriculum Vitae Robert Boyce Brandom Addresses Office Home Philosophy Department 1118 King Ave. 1001 Cathedral of Learning Pittsburgh, PA 15206-1437 University of Pittsburgh U.S.A Pittsburgh, PA 15260 U.S.A. ORCID 0000-0001-5478-8567 Telephone Email Office: 412-624-5776 [email protected] Fax: 412-624-5377 Home: 412-661-6190 Web http://www.pitt.edu/~rbrandom Academic Positions Distinguished Professor of Philosophy, University of Pittsburgh (2007-present) Fellow, Center for the Philosophy of Science, University of Pittsburgh (1977–present) Spinoza Chair, University of Amsterdam (2021) Cardinal Mercier Chair, Katholieke Universiteit Leuven (2020) Leibniz Professor, Universität Leipzig (2008) Fellow, All Souls College, Oxford (2006) Fellow, Center for Advanced Study in the Behavioral Sciences Stanford University (2002-2003) Distinguished Service Professor of Philosophy, University of Pittsburgh (1998-2006) Professor, Philosophy Department, University of Pittsburgh (1991–1998) Associate Professor, Philosophy Department, University of Pittsburgh (1981–1990) Assistant Professor, Philosophy Department, University of Pittsburgh (1976–1981) 1 Brandom Honors and Awards Fellow, British Academy (elected 2018) Fellow, American Academy of Arts and Sciences (elected 2000) Anneliese Maier Forschungspreis, Alexander von Humboldt Stiftung (€ 250,000) (2014) Distinguished Achievement in the Humanities Award, Andrew W. Mellon Foundation ($1,500,000) (2004) Jean-Pierre Barricelli Book Prize, (for A Spirit of Trust), best book on Romanticism International Conference on Romanticism (2019) Education Ph.D. Philosophy: 1977, Princeton University Thesis: Practice and Object Directors: Richard Rorty and David K. Lewis Porter Ogden Jacobus Fellow, Princeton, 1975–76 Whiting Fellow, 1974–76 B.A. 1972, Yale University Summa cum laude Honors with Exceptional Distinction, Philosophy Phi Beta Kappa, 1971 Languages English: Native Speaker German: Reading French: Reading Python Erdős Number: 5 2 Brandom Publications Books: 1. -
Preston, John, & Bishop, Mark
Preston, John, & Bishop, Mark (2002), Views into the Chinese Room: New Essays on Searle and Artificial Intelligence (Oxford: Oxford University Press), xvi + 410 pp., ISBN 0-19-825057-6. Reviewed by: William J. Rapaport Department of Computer Science and Engineering, Department of Philosophy, and Center for Cognitive Science, State University of New York at Buffalo, Buffalo, NY 14260-2000; [email protected], http://www.cse.buffalo.edu/ rapaport ∼ This anthology’s 20 new articles and bibliography attest to continued interest in Searle’s (1980) Chinese Room Argument. Preston’s excellent “Introduction” ties the history and nature of cognitive science, computation, AI, and the CRA to relevant chapters. Searle (“Twenty-One Years in the Chinese Room”) says, “purely . syntactical processes of the implemented computer program could not by themselves . guarantee . semantic content . essential to human cognition” (51). “Semantic content” appears to be mind-external entities “attached” (53) to the program’s symbols. But the program’s implementation must accept these entities as input (suitably transduced), so the program in execution, accepting and processing this input, would provide the required content. The transduced input would then be internal representatives of the external content and would be related to the symbols of the formal, syntactic program in ways that play the same roles as the “attachment” relationships between the external contents and the symbols (Rapaport 2000). The “semantic content” could then just be those mind-internal -
Digital Culture: Pragmatic and Philosophical Challenges
DIOGENES Diogenes 211: 23–39 ISSN 0392-1921 Digital Culture: Pragmatic and Philosophical Challenges Marcelo Dascal Over the coming decades, the so-called telematic technologies are destined to grow more and more encompassing in scale and the repercussions they will have on our professional and personal lives will become ever more accentuated. The transforma- tions resulting from the digitization of data have already profoundly modified a great many of the activities of human life and exercise significant influence on the way we design, draw up, store and send documents, as well as on the means used for locating information in libraries, databases and on the net. These changes are transforming the nature of international communication and are modifying the way in which we carry out research, engage in study, keep our accounts, plan our travel, do our shopping, look after our health, organize our leisure time, undertake wars and so on. The time is not far off when miniaturized digital systems will be installed everywhere – in our homes and offices, in the car, in our pockets or even embedded within the bodies of each one of us. They will help us to keep control over every aspect of our lives and will efficiently and effectively carry out multiple tasks which today we have to devote precious time to. As a consequence, our ways of acting and thinking will be transformed. These new winds of change, which are blowing strongly, are giving birth to a new culture to which the name ‘digital culture’ has been given.1 It is timely that a study should be made of the different aspects and consequences of this culture, but that this study should not be just undertaken from the point of view of the simple user who quickly embraces the latest successful inno- vation, in reaction essentially to market forces. -
Having Thought: Essays in the Metaphysics of Mind by John Haugeland Lynne Rudder Baker Phil
Review: [Untitled] Reviewed Work(s): Having Thought: Essays in the Metaphysics of Mind by John Haugeland Lynne Rudder Baker Philosophy of Science, Vol. 66, No. 3. (Sep., 1999), pp. 494-495. Stable URL: http://links.jstor.org/sici?sici=0031-8248%28199909%2966%3A3%3C494%3AHTEITM%3E2.0.CO%3B2-1 Philosophy of Science is currently published by The University of Chicago Press. Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/journals/ucpress.html. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected]. -
Phil. Colloquium Archives 2018
FALL 2018 1. Friday, September 14, 2018 - 3:00pm, BEH 215 "Defending Deflationism from a Forceful Objection." James Woodbridge, Department of Philosophy, University of Nevada Las Vegas This talk presents work done in collaboration with Brad Armour-Garb. We offer a unified picture of deflationism about truth, by explaining the proper way to understand the interrelations between (what Bar-On and Simmons (2007) call) conceptual, linguistic and metaphysical deflationism. I will then present our defense of deflationism against Bar-On and Simmons (2007)'s objection that conceptual deflationism is incompatible with the explanatory role the concept of truth plays in an account of assertion or assertoric illocutionary force. We defend deflationism, rather than just conceptual deflationism, because we take Bar-On and Simmons's stance on their target to involve a mistake. They purport to raise an objection merely to conceptual deflationism, putting the issues involved in metaphysical deflationism and linguistic deflationism to one side. I will explain how that cannot really be done because it mistakenly treats the three categories of deflationary views as running independently and as being at the same theoretical level. As we argue, given the relationships between them, a challenge to conceptual deflationism would flow upward and would amount to a challenge to linguistic deflationism, too, and, thus, to deflationism as a whole. Having defended conceptual deflationism against Bar-On and Simmon's objection, we conclude that deflationism about truth, understood primarily as a view about truth- talk, but with the other theses that brings with it, remains a viable position to endorse. 2. Friday, October 5, 2018 - 3:00pm, BEH 215 "Theorizing Testimony in Argumentative Contexts: Problems for Assurance." David Godden, Department of Philosophy, Michigan State University Standardly the testimonial acceptance of some claim, p, is analyzed as some subject, S, accepting that p on the basis of another's say-so.