According to Wikipedia, Logic (from the Ancient Greek: λογική, logike)[1] has two meanings: first, it describes the use of valid reasoning in some activity; second, it names the normative study of reasoning or a branch thereof.[2][3] In the latter sense, it features most prominently in the subjects ...

learn more… | top users | synonyms

0
votes
0answers
30 views

Qualification problem in situation calculus

I am learning AI situation calculus by defining a situation via a situation calculus through the use of states, actions and affects for a robot vacuum world. The question is to what extent do i need ...