On Tue, Dec 24, 2024 at 12:40 AM James Bowery <[email protected]> wrote:
> Re skolemization see "Get rid of the quantifiers[2]" at: > > http://www.markability.net/prospectus.htm > Thanks, this is nice, but we could use GPT for these things now... I just tried https://www.gpt4.hk/ (Hong Kong version) but ran out of its daily quota. It may not be so reliable if we ask it highly theoretical questions, such as, "is it possible to do this using Horn formulas only?" ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T8685950780e86bd5-M40be2c068956a07434869b92 Delivery options: https://agi.topicbox.com/groups/agi/subscription
