The internal reasoning of robots

Don Perlis; Justin Brody; Sarit Kraus; Michael Miller

The internal reasoning of robots

Don Perlis, Justin Brody, Sarit Kraus, Michael Miller

Department of Computer Science

Bar-Ilan University

Research output: Contribution to journal › Conference article › peer-review

Abstract

We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.

Original language	English
Journal	CEUR Workshop Proceedings
Volume	2052
State	Published - 2017
Event	13th International Symposium on Commonsense Reasoning, COMMONSENSE 2017 - London, United Kingdom Duration: 6 Nov 2017 → 8 Nov 2017

All Science Journal Classification (ASJC) codes

General Computer Science

Cite this

@article{a02a6be5eb9d4986a318daf47bad5bee,

title = "The internal reasoning of robots",

abstract = "We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.",

author = "Don Perlis and Justin Brody and Sarit Kraus and Michael Miller",

note = "Publisher Copyright: {\textcopyright} 2017 CEUR-WS. All rights reserved.; 13th International Symposium on Commonsense Reasoning, COMMONSENSE 2017 ; Conference date: 06-11-2017 Through 08-11-2017",

year = "2017",

language = "الإنجليزيّة",

volume = "2052",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - The internal reasoning of robots

AU - Perlis, Don

AU - Brody, Justin

AU - Kraus, Sarit

AU - Miller, Michael

PY - 2017

Y1 - 2017

N2 - We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.

AB - We argue for the value of examining the internal processes that robots might actually use to draw inferences in a timely way in a dynamic world. This requires a significantly different way of thinking about logic and reasoning, which in turn bears on some traditional logic-related problems such as omniscience and reasoning in the presence of a contradiction, as well as on a wide variety of other AI issues. A nonstandard internally-evolving notion of time seems to be the key that unlocks other tools.

UR - http://www.scopus.com/inward/record.url?scp=85045571982&partnerID=8YFLogxK

M3 - مقالة من مؤنمر

SN - 1613-0073

VL - 2052

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 13th International Symposium on Commonsense Reasoning, COMMONSENSE 2017

Y2 - 6 November 2017 through 8 November 2017

ER -

The internal reasoning of robots

Abstract

All Science Journal Classification (ASJC) codes

Other files and links

Fingerprint

Cite this