From here to human-level AI

AbstractHuman-level AI will be achieved, but new ideas are almost certainly needed, so a date cannot be reliably predicted—maybe five years, maybe five hundred years. I'd be inclined to bet on this 21st century.It is not surprising that human-level AI has proved difficult and progress has been slow—though there has been important progress. The slowness and the demand to exploit what has been discovered has led many to mistakenly redefine AI, sometimes in ways that preclude human-level AI—by relegating to humans parts of the task that human-level computer programs would have to do. In the terminology of this paper, it amounts to settling for a bounded informatic situation instead of the more general common sense informatic situation.Overcoming the “brittleness” of present AI systems and reaching human-level AI requires programs that deal with the common sense informatic situation—in which the phenomena to be taken into account in achieving a goal are not fixed in advance.We discuss reaching human-level AI, emphasizing logical AI and especially emphasizing representation problems of information and of reasoning. Ideas for reasoning in the common sense informatic situation include nonmonotonic reasoning, approximate concepts, formalized contexts and introspection

A. Tarskiego kryterium monotoniczności operatora konsekwencji w międzykulturowych badaniach systemów wniskowań

In this article I refer to the issue of comparative research methodology and methods of philosophical argumentation systems with different cultural areas. In relation to that shown by A. Tarski logical consequence operator, will establish criteria for the comparative analysis of systems inferences different cultural areas of the property based on the operator monotonic consequences

Hypothetical reasoning with well founded semantics

publishersversionpublishe

About the original frame problem and some other related problems

El problema de marco es uno de los problemas más controvertidos y difíciles de resolver dentro del campo de la filosofía de la mente, y aun hoy no se ha logrado consensuar su definición ni su solución. Es por esta razón, que nuestro principal objetivo es esclarecer el problema de marco original, y algunos otros problemas relacionados. Sostendremos que incluso esta formulación del problema, de entre varias, posee muchos aspectos y que no puede entenderse como “un” solo problema sino más bien como un conjunto de problemas estrechamente relacionados con la misma cuestión.The frame problem is one of the most controversial and difficult problems to solve within the field of philosophy of the mind, and even today it has not been possible to reach a consensus on its definition or its solution. It is for this reason that our main objective is to clarify the original frame problem, and some other related problems. We will argue that even this formulation of the problem, among several, has many aspects and that it cannot be understood as “one” problem only but rather as a set of problems closely related to the same issue.Fil: Silenzi, María Inés. Universidad Nacional del Sur. Departamento de Humanidades; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Investigaciones Económicas y Sociales del Sur. Universidad Nacional del Sur. Departamento de Economía. Instituto de Investigaciones Económicas y Sociales del Sur; Argentin

Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness

This essay describes a general approach to building perturbation-tolerant autonomous systems, based on the conviction that artificial agents should be able notice when something is amiss, assess the anomaly, and guide a solution into place. We call this basic strategy of self-guided learning the metacognitive loop; it involves the system monitoring, reasoning about, and, when necessary, altering its own decision-making components. In this essay, we (a) argue that equipping agents with a metacognitive loop can help to overcome the brittleness problem, (b) detail the metacognitive loop and its relation to our ongoing work on time-sensitive commonsense reasoning, (c) describe specific, implemented systems whose perturbation tolerance was improved by adding a metacognitive loop, and (d) outline both short-term and long-term research agendas

The myth of domain-independent persistence

The frame problem can be reduced to the problem of inferring the non-existence of causes for change. This paper concerns how these non-existence inferences are made, and shows how many popular approaches lack generality because they rely on a domain-independent assumption of occurrence omniscience. Also, this paper shows how to represent and use appropriate domain-dependent knowledge in three successively more expressive versions, where the causal theories are deductive, non-monotonic, and statistical