[agi] What is the current state of the art in automated reasoning/automated theorem proving?

Hello, Does someone have any knowledge of the best automated reasoning algorithms and techniques existing today? And what they are capable of? From what I could find in Google, it seems that theorem proving is successfully used in applied areas like integrated circuit verification, but there is

Re: [agi] What is the current state of the art in automated reasoning/automated theorem proving?

Hi. Does someone have any knowledge of the best automated reasoning algorithms and techniques existing today? And what they are capable of? From what I could find in Google, it seems that theorem proving is successfully used in applied areas like integrated circuit verification, but there is

Re: Re: [agi] What is the current state of the art in automated reasoning/automated theorem proving?

I do believe your talking about multiple modules.. those of,Perception,Reasoning,Actions, Perception modules recognizes and or understands the differences between modules... Reasoning is the logic behind any possable changes in those modules and Actions is the goal based direction someone

Re: [agi] What is the current state of the art in automated reasoning/automated theorem proving?

Hello, Does someone have any knowledge of the best automated reasoning algorithms and techniques existing today? And what they are capable of? From what I could find in Google, it seems that theorem proving is successfully used in applied areas like integrated circuit verification, but there