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

Bar-Ilan University

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

2 Scopus citations

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

Bibliographical note

Publisher Copyright:
© 2017 CEUR-WS. All rights reserved.

Funding

Work primarily supported by the U. S. Office of Naval Research.

Funders
U. S. Office of Naval Research

Cite this

@article{c3af1f6325e3499e9b22e833eb854689,

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 - https://www.scopus.com/pages/publications/85045571982

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:85045571982

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

Bibliographical note

Funding

Other files and links

Fingerprint

Cite this