What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About...
Transcript of What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About...
![Page 1: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/1.jpg)
What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI?
Selmer Bringsjord(1) • Naveen Sundar G.(2)
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Department of Cognitive Science(1)
Department of Computer Science(1,2)
Lally School of Management & Technology(1)
Rensselaer Polytechnic Institute (RPI)Troy, New York 12180 USA
Oxford UniversityOxford, UK9/21/2013
Tuesday, October 1, 13
![Page 2: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/2.jpg)
What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI?
Selmer Bringsjord(1) • Naveen Sundar G.(2)
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Department of Cognitive Science(1)
Department of Computer Science(1,2)
Lally School of Management & Technology(1)
Rensselaer Polytechnic Institute (RPI)Troy, New York 12180 USA
Oxford UniversityOxford, UK9/21/2013
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Tuesday, October 1, 13
![Page 3: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/3.jpg)
What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI?
Selmer Bringsjord(1) • Naveen Sundar G.(2)
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Department of Cognitive Science(1)
Department of Computer Science(1,2)
Lally School of Management & Technology(1)
Rensselaer Polytechnic Institute (RPI)Troy, New York 12180 USA
Oxford UniversityOxford, UK9/21/2013
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Made possible by the generosity of:
IBMRPI’s pursuit of ITS/IILE
NSF
JTF
AFOSR
ONR x 2
DARPA
Tuesday, October 1, 13
![Page 4: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/4.jpg)
What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI?
Selmer Bringsjord(1) • Naveen Sundar G.(2)
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Department of Cognitive Science(1)
Department of Computer Science(1,2)
Lally School of Management & Technology(1)
Rensselaer Polytechnic Institute (RPI)Troy, New York 12180 USA
Oxford UniversityOxford, UK9/21/2013
Rensselaer AI & Reasoning (RAIR) Lab(1,2)
Made possible by the generosity of:
IBMRPI’s pursuit of ITS/IILE
NSF
JTF
AFOSR
ONR x 2
DARPA
Tuesday, October 1, 13
![Page 5: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/5.jpg)
Simon: “Chess is a lofty target for AI, yes. Go for it!”
Tuesday, October 1, 13
![Page 6: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/6.jpg)
Tuesday, October 1, 13
![Page 7: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/7.jpg)
“Chess is Too Easy”
Tuesday, October 1, 13
![Page 8: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/8.jpg)
“Chess is Too Easy”
I was right :).
Tuesday, October 1, 13
![Page 9: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/9.jpg)
What about this, then?
Tuesday, October 1, 13
![Page 10: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/10.jpg)
What about this, then?
Tuesday, October 1, 13
![Page 11: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/11.jpg)
What about this, then?
Experts to IBM: “Can’t be done!”
Tuesday, October 1, 13
![Page 12: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/12.jpg)
What about this, then?
Experts to IBM: “Can’t be done!”
No one asked me.
Tuesday, October 1, 13
![Page 13: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/13.jpg)
What about this, then?
Experts to IBM: “Can’t be done!”
No one asked me.
Tuesday, October 1, 13
![Page 14: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/14.jpg)
Tuesday, October 1, 13
![Page 15: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/15.jpg)
Tuesday, October 1, 13
![Page 16: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/16.jpg)
Tuesday, October 1, 13
![Page 17: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/17.jpg)
Tuesday, October 1, 13
![Page 18: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/18.jpg)
u 2 ⌃⇤
Tuesday, October 1, 13
![Page 19: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/19.jpg)
u 2 ⌃⇤
Tuesday, October 1, 13
![Page 20: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/20.jpg)
u 2 ⌃⇤U = (S, . . .)
Tuesday, October 1, 13
![Page 21: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/21.jpg)
u 2 ⌃⇤
U : u �! �U = (S, . . .)
Tuesday, October 1, 13
![Page 22: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/22.jpg)
u 2 ⌃⇤
U : u �! �U = (S, . . .)
Tuesday, October 1, 13
![Page 23: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/23.jpg)
u 2 ⌃⇤
U : u �! �U = (S, . . .)
A(v1 @ u,R) ^A(v2 @ u,R)
Tuesday, October 1, 13
![Page 24: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/24.jpg)
u 2 ⌃⇤
U : u �! �U = (S, . . .)
A(v1 @ u,R) ^A(v2 @ u,R)(Ab(u) ^ u 2 MedBase) ! t(u) = ‘skin cancer’
Tuesday, October 1, 13
![Page 25: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/25.jpg)
u 2 ⌃⇤
U : u �! �U = (S, . . .)
A(v1 @ u,R) ^A(v2 @ u,R)(Ab(u) ^ u 2 MedBase) ! t(u) = ‘skin cancer’
$
Tuesday, October 1, 13
![Page 26: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/26.jpg)
Many thanks to A Bringsjord for this pair of slides, and discussion.
Tuesday, October 1, 13
![Page 27: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/27.jpg)
Tuesday, October 1, 13
![Page 28: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/28.jpg)
Tuesday, October 1, 13
![Page 29: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/29.jpg)
Autonomy “Magic”
Tuesday, October 1, 13
![Page 30: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/30.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
Tuesday, October 1, 13
![Page 31: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/31.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
Tuesday, October 1, 13
![Page 32: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/32.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
!?!?
Tuesday, October 1, 13
![Page 33: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/33.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
!?!?(They sure as heck never consulted with Floridi.)
Tuesday, October 1, 13
![Page 34: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/34.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
!?!?(They sure as heck never consulted with Floridi.)
The little OUP book that could’ve saved HP $6 billion:
Tuesday, October 1, 13
![Page 35: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/35.jpg)
Autonomy “Magic”Understanding 100% of InformationThe characteristic that makes human information unstructured is its form — it does not fit neatly into the rows and columns of a database, but exists in various formats including books, email messages, surveillance video, chat streams, and phone calls that occur across networks, the web, the cloud, and numerous mobile devices. Growing at a rate three times that of structured data, the increasing deluge of unstructured information makes up approximately 90 percent of all information. The challenge for the modern enterprise is to understand and extract value from this rich sea of human information.
Today, with Autonomy, organizations can now process and understand in real time, the meaning of 100 percent of information.
!?!?(They sure as heck never consulted with Floridi.)
The little OUP book that could’ve saved HP $6 billion:
Tuesday, October 1, 13
![Page 36: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/36.jpg)
Let’s in fact talk about 100% of semantic information, using Watson 2.0 as a springboard ...
Tuesday, October 1, 13
![Page 37: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/37.jpg)
Tuesday, October 1, 13
![Page 38: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/38.jpg)
Logic
Tuesday, October 1, 13
![Page 39: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/39.jpg)
Logic
Tuesday, October 1, 13
![Page 40: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/40.jpg)
MiniMax
ularit
y
Logic
Tuesday, October 1, 13
![Page 41: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/41.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
Tuesday, October 1, 13
![Page 42: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/42.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
Tuesday, October 1, 13
![Page 43: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/43.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
Tuesday, October 1, 13
![Page 44: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/44.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL
Tuesday, October 1, 13
![Page 45: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/45.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL
UIMA outp
ut
Tuesday, October 1, 13
![Page 46: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/46.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
UIMA outp
ut
Tuesday, October 1, 13
![Page 47: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/47.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
UIMA outp
ut
Tuesday, October 1, 13
![Page 48: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/48.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
Art of Infallibility 1
UIMA outp
ut
Tuesday, October 1, 13
![Page 49: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/49.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
Art of Infallibility 1
UIMA outp
ut
FOL
Tuesday, October 1, 13
![Page 50: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/50.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
Art of Infallibility 1
UIMA outp
ut
FOLSOL
...
Tuesday, October 1, 13
![Page 51: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/51.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
Art of Infallibility 1
UIMA outp
utepistemic
FOLSOL
...
Tuesday, October 1, 13
![Page 52: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/52.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
Art of Infallibility 1
UIMA outp
utepistemic
FOLSOL
...
Tuesday, October 1, 13
![Page 53: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/53.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
Art of Infallibility 1
UIMA outp
utepistemic
FOLSOL
...
Tuesday, October 1, 13
![Page 54: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/54.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
utepistemic
FOLSOL
...
Tuesday, October 1, 13
![Page 55: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/55.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
FOLSOL
...
Tuesday, October 1, 13
![Page 56: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/56.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOLSOL
...
Tuesday, October 1, 13
![Page 57: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/57.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
SOL
...
Tuesday, October 1, 13
![Page 58: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/58.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
SOL
...
Tuesday, October 1, 13
![Page 59: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/59.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 60: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/60.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 61: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/61.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 62: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/62.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Vivid
Tuesday, October 1, 13
![Page 63: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/63.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 64: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/64.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
DCEC ⇤
Deontic Cognitive Event Calculus
Tuesday, October 1, 13
![Page 65: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/65.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
DCEC ⇤
Deontic Cognitive Event Calculus
1. natural language semantics (non-Montagovian)2. higher-cognition tests (for Psychometric AI) (false-belief test, deliberative mind-reading mirror test for self-consciousness ...)
4. biz & econ simulation 3. ethically correct robots
Tuesday, October 1, 13
![Page 66: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/66.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
DCEC ⇤
Deontic Cognitive Event Calculus
Tuesday, October 1, 13
![Page 67: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/67.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 68: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/68.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Gödel’s “God Theorem”
Tuesday, October 1, 13
![Page 69: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/69.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 70: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/70.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
ITS (Culture, Language, Math)
Tuesday, October 1, 13
![Page 71: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/71.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 72: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/72.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
AI-ified Axiomatic Physics!(Synthese)
Tuesday, October 1, 13
![Page 73: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/73.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 74: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/74.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...
temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Goodstein’s Theorem!
Tuesday, October 1, 13
![Page 75: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/75.jpg)
Licato, J.; Govindarajulu, N.; Bringsjord, S.; Pomeranz, M.; Gittelson, L. 2013. Analogico-Deductive Generation of Godel’s First Incompleteness Theorem from the Liar Paradox. In Proceedings of IJCAI 2013. Pdf
Govindarajulu, N.; Licato, J.; Bringsjord, S. 2013. Small Steps Toward Hypercomputation via Infinitary Machine Proof Verification and Proof Generation. In Proceedings of UCNC 2013. Pdf
Tuesday, October 1, 13
![Page 76: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/76.jpg)
Liar Paradox (L)• Collection of semiformal statements• Syntax not rigorously defined• Represents intuitive understanding of problem
domain
Ending one of AI’s “bad dreams”:
s = “This statement is a lie”There is a statement that is neither
true nor false....
G1• Completely formal statements• Syntax very rigorously defined• Purely mathematical objects: numbers, formal
theories, etc.
s = ?
∃φ∈LA ¬(PA |⎯ φ) ∧ ¬(PA |⎯ ¬φ)...
Tuesday, October 1, 13
![Page 77: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/77.jpg)
Liar Paradox (L)• Collection of semiformal statements• Syntax not rigorously defined• Represents intuitive understanding of problem
domain
Ending one of AI’s “bad dreams”:
s = “This statement is a lie”There is a statement that is neither
true nor false....
G1• Completely formal statements• Syntax very rigorously defined• Purely mathematical objects: numbers, formal
theories, etc.
s = ?
∃φ∈LA ¬(PA |⎯ φ) ∧ ¬(PA |⎯ ¬φ)...
Tuesday, October 1, 13
![Page 78: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/78.jpg)
Liar Paradox (L)• Collection of semiformal statements• Syntax not rigorously defined• Represents intuitive understanding of problem
domain
Ending one of AI’s “bad dreams”:
s = “This statement is a lie”There is a statement that is neither
true nor false....
G1• Completely formal statements• Syntax very rigorously defined• Purely mathematical objects: numbers, formal
theories, etc.
s = ?
∃φ∈LA ¬(PA |⎯ φ) ∧ ¬(PA |⎯ ¬φ)...
S• Semiformal statements (but more formal than L)• Syntax somewhat rigorously defined• Somewhat intuitive; deals with stories of reasoners
and utterances made by inhabitants of an island
s = ¬Bs
∃p ¬Bp ∧ ¬B¬p...
Tuesday, October 1, 13
![Page 79: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/79.jpg)
Liar Paradox (L)• Collection of semiformal statements• Syntax not rigorously defined• Represents intuitive understanding of problem
domain
Ending one of AI’s “bad dreams”:
s = “This statement is a lie”There is a statement that is neither
true nor false....
G1• Completely formal statements• Syntax very rigorously defined• Purely mathematical objects: numbers, formal
theories, etc.
s = ?
∃φ∈LA ¬(PA |⎯ φ) ∧ ¬(PA |⎯ ¬φ)...
S• Semiformal statements (but more formal than L)• Syntax somewhat rigorously defined• Somewhat intuitive; deals with stories of reasoners
and utterances made by inhabitants of an island
s = ¬Bs
∃p ¬Bp ∧ ¬B¬p...
Tuesday, October 1, 13
![Page 80: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/80.jpg)
The Singularity Approaches ...
Tuesday, October 1, 13
![Page 81: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/81.jpg)
The Singularity Approaches ...
Tuesday, October 1, 13
![Page 82: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/82.jpg)
The Singularity Approaches ...
(Good 1965; Chalmers 2010)
Tuesday, October 1, 13
![Page 83: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/83.jpg)
Tuesday, October 1, 13
![Page 84: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/84.jpg)
If AI is only Ray-1 AI ...
Tuesday, October 1, 13
![Page 85: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/85.jpg)
If AI is only Ray-1 AI ...
False!
Tuesday, October 1, 13
![Page 86: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/86.jpg)
Tuesday, October 1, 13
![Page 87: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/87.jpg)
If AI is only Ray-2 AI ...
Tuesday, October 1, 13
![Page 88: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/88.jpg)
If AI is only Ray-2 AI ...
False!
Tuesday, October 1, 13
![Page 89: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/89.jpg)
If AI is only Ray-2 AI ...
False!False!
Tuesday, October 1, 13
![Page 90: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/90.jpg)
If AI is only Ray-2 AI ...
False!
And of course ...
False!
Tuesday, October 1, 13
![Page 91: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/91.jpg)
Tuesday, October 1, 13
![Page 92: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/92.jpg)
... if AI is Ray-3 AI ...
Tuesday, October 1, 13
![Page 93: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/93.jpg)
... if AI is Ray-3 AI ...
False!False!
Tuesday, October 1, 13
![Page 94: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/94.jpg)
“My, that’s rather negative, even violent. Can we talk about positive views, please?”
Tuesday, October 1, 13
![Page 95: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/95.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
Tuesday, October 1, 13
![Page 96: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/96.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
!u!v["kH(n, k, u, v) # "k!H(m, k!, u, v)](programming)
Tuesday, October 1, 13
![Page 97: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/97.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
!u!v["kH(n, k, u, v) # "k!H(m, k!, u, v)](programming)
Tuesday, October 1, 13
![Page 98: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/98.jpg)
SupermindsPeople Harness Hypercomputation,
and More(2003)
Turing Limit
Information Processing
Subjective consciousness, qualia, etc. — phenomena in the incorporeal realm that can’t be expressed in any third-person scheme
persons
animals (chess, go, swimming, flying, locomotion)
Hypercomputation
People Harness Hypercomputation, and More
29
by
SUPERMINDSPeople Harness Hypercomputation, and More
bySelmer Bringsjord and Micael Zenzen
This is the first book-length presentation and defense of a new theory of human andmachine cognition, according to which human persons are superminds. Superminds arecapable of processing information not only at and below the level of Turing machines(standard computers), but above that level (the “Turing Limit”), as information processingdevices that have not yet been (and perhaps can never be) built, but have beenmathematically specified; these devices are known as super-Turing machines orhypercomputers. Superminds, as explained herein, also have properties no machine,whether above or below the Turing Limit, can have. The present book is the third andpivotal volume in Bringsjord’s supermind quartet; the first two books were What RobotsCan and Can’t Be (Kluwer) and AI and Literary Creativity (Lawrence Erlbaum). The finalchapter of this book offers eight prescriptions for the concrete practice of AI and cognitivescience in light of the fact that we are superminds.
SELMER
BR
ING
SJOR
D
AN
D M
ICH
AEL ZEN
ZENSU
PERM
IND
SPeople H
arness Hypercom
putation, and More
KLUWER ACADEMIC PUBLISHERS COGS 29
Bringsjord COGS 29 PB(2)xpr 07-02-2003 16:26 Pagina 1
!u!v["kH(n, k, u, v) # "k!H(m, k!, u, v)](programming)
Tuesday, October 1, 13
![Page 99: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/99.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Tuesday, October 1, 13
![Page 100: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/100.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
What is AI for you?
Tuesday, October 1, 13
![Page 101: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/101.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
What is AI for you?
Tuesday, October 1, 13
![Page 102: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/102.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Elevated AI only!:
“The ultimate goal of AI is to build a person, or more humbly, an animal.” —C&M
What is AI for you?
Tuesday, October 1, 13
![Page 103: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/103.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Darwininan “Canine” AI
Tuesday, October 1, 13
![Page 104: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/104.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
“Monkey” AI
Tuesday, October 1, 13
![Page 105: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/105.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
“Full-Watson” AI
Tuesday, October 1, 13
![Page 106: What Does Watson 2.0 Tell us About the Philosophy, Theory ......What Does Watson 2.0 Tell us About the Philosophy, Theory, & Future of AI? Selmer Bringsjord(1) • Naveen Sundar G.(2)](https://reader033.fdocuments.us/reader033/viewer/2022042222/5ec84b306a47342a7d0750c1/html5/thumbnails/106.jpg)
MiniMax
ularit
y
Logic
propo
stional
logic
semant
ic-web
logic
s
descr
iption l
ogics
fragm
ents
of FOL ...temporal
temporal+epistemic
temporal+epistemic+deontic
Lw1,w
Art of Infallibility 1
UIMA outp
ut
+planning+arg semantics
epistemic
...
FOL
heterogeneous/visual
Infinitary (AoI 2)
SOL
...
Person-Aspiring AI
Tuesday, October 1, 13