Hi Linas, ASP is the right tool for the job, though I must admit that it has a learning curve; from my POV at least.
Currently we have decided to use PDDL for prototyping and then implement an ASP version when the biz constraints become quite concrete. Thank you for your generous help. On Thu, Jan 4, 2018, 07:21 Linas Vepstas <[email protected]> wrote: > On Wed, Jan 3, 2018 at 9:57 AM, Nil Geisweiller <[email protected]> > wrote: > > >> Actually you'd have to use an ImplicationScope, not an Implication >> > > Are you sure? I thought ImplicationScope did something very different; > didn't we conclude this conversation a few weeks ago? > > >> But as efficient as it might be in practice I suspect there are cases >> where open-ended inference can solve the problem in a few steps while such >> a solver would take millions. >> > > Well, not everything in life is a satisfiability problem. I recall some > lecture with a diagram that showed "problems reducible to satisfiability > problems" and "other problems that are not reducible to satisfiability > problems", and in the "other" category were some examples of reasonable > things you might want to do. I don't recall what they were. > > "would take millions" can be still be done in seconds on modern CPU's, and > that's the break-through. > > For things like airplane scheduling, where crisp logic is desirable, > constraint satisfaction is the way to go. > > For things like common-sense reasoning, well, I remain confused. I'm > heads-down paying attention to other things. > > --linas > > >> Nil >> > > > > -- > *"The problem is not that artificial intelligence will get too smart and > take over the world," computer scientist Pedro Domingos writes, "the > problem is that it's too stupid and already has." * > > -- > You received this message because you are subscribed to the Google Groups > "opencog" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/opencog. > To view this discussion on the web visit > https://groups.google.com/d/msgid/opencog/CAHrUA35%3DAyj8dSeFqPKXd4fvGyV0QUVEuUvzEE2c7wPBz6LHOg%40mail.gmail.com > <https://groups.google.com/d/msgid/opencog/CAHrUA35%3DAyj8dSeFqPKXd4fvGyV0QUVEuUvzEE2c7wPBz6LHOg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/CAHmauB4MHKUj_Trrwt5f8Ug_TPe0p6AZP1aM0iH%2BgRaLNq%3DYNA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
