/sci/ - Science & Math » Thread #13005042

9KiB, 224x123, 1234.png

View Same Google iqdb SauceNAO

Anonymous Tue 20 Apr 14:01:18 2021 No.13005042 View Reply Original Report

Quoted By: >>13005080 >>13005092 >>13005151 >>13005674

Which research areas of artificial intelligence still heavily use mathematical logic? I'm not really interested in statistics and machine learning.

Anonymous

View Same Google iqdb SauceNAO One ring.jpg, 139KiB, 853x852

Anonymous Tue 20 Apr 2021 14:11:03 No.13005080 Report

Quoted By:

>>13005042

$\exists ! K[X] \forall X$

There is One polynomial Ring to rule them all

Anonymous

Anonymous Tue 20 Apr 2021 14:13:45 No.13005092 Report

Quoted By:

>>13005042
That would be plain vanilla programming.

https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence

Anonymous

Anonymous Tue 20 Apr 2021 14:16:05 No.13005101 Report

Quoted By: >>13005183

Thankfully Minsky died in 2016. All logic can be enconded as probabilistic statements anyway. But you are probably too brainlet to understand that.

Anonymous

Anonymous Tue 20 Apr 2021 14:18:07 No.13005112 Report

Quoted By:

Automated Reasoning

Anonymous

Anonymous Tue 20 Apr 2021 14:30:11 No.13005151 Report

Quoted By:

>>13005042
i will make i do my damn best effort to make all fields in software enginwering as mathematically hard as possible to stop you niggers that keep saturating the market in hopes of ge rich quick secure jobs

Anonymous

Anonymous Tue 20 Apr 2021 14:39:28 No.13005183 Report

Quoted By: >>13005686

>>13005101
>implying every topos is Boolean

Anonymous

Anonymous Tue 20 Apr 2021 16:36:38 No.13005674 Report

Quoted By:

>>13005042
Epistemic logic is a pretty big research area. Joseph Halpern and Judea Pearl are the go-to on that topic.
That being said, if you want to do logic, you'll probably become pretty familiar with statistics and probability, as well. Although, probably not machine learning.

Anonymous

Anonymous Tue 20 Apr 2021 16:38:48 No.13005686 Report

Quoted By:

>>13005183
> implying every type theory is extensional

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches