One of the central issues in AGI would be how thoughts are represented.
To give an example, consider the line of reasoning: "There are 4 apples on the table, and 5 people in the room. 5 is greater than 4. If each person eats one apple then there won't be enough apples for everyone."
I wonder how this can be represented using formal logic. If this reasoning can be done using formal logic, I also doubt how that process is similar to the way humans do it. A sentence like "IsGreater(5,4)" does not capture the entire meaning of "5 is greater than 4" unless the meanings of entities like "5", "4", "IsGreater" are also defined. One question is whether formal logic can adequately represent these concepts. If it can, there are obvious advantages in using it to build an AGI.
Any thoughts about this? =)
yky
To unsubscribe, change your address, or temporarily deactivate your subscription, please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
