Ooops, I incidentantly hit the send button prematurely... What I mean is:
Disjunction: ((a -> T) ∧ (b -> T) ∧ c -> T) ∨ ((a -> T) ∧ (b -> F) ∧ c -> T) ∨ ((a -> F) ∧ (b -> T) ∧ c -> T) ∨ ((a -> F) ∧ (b -> F) ∧ c -> T) ∨ ((a -> T) ∧ (b -> F) ∧ c -> F) ∨ ((a -> F) ∧ (b -> T) ∧ c -> F) Result: (a ∧ b) -> c Shouldn't backward chainer be able to conclude the below result from the above disjunction? In my opinion, the difference between this kind of reasoning and construction of code is only in task domain choice and result domain choice. In another code example we start from natural language specification, and search for a source code equivalent by backward chaining. The only "but" is in complexity of source code fragments bindings to natural language. And it is a big "but", in my opinion. 2017-05-07 20:19 GMT+02:00 Ivan Vodišek <[email protected]>: > Correct me if I'm wrong, but isn't backward chainer what Dimitry is > looking for? > > Is it possible to insert a set of formulas: > > (a -> T, b -> T, c -> T) ∨ > > (a -> T, b -> F, c -> T) ∨ > > (a -> F, b -> T, c -> T) ∨ > > (a -> F, b -> F, c -> T) ∨ > > (a -> T, b -> F, c -> F) ∨ > > (a -> F, b -> T, c -> F) > > > (a1 ∧ a2) → a3 > > 2017-05-07 17:46 GMT+02:00 Dmitry Ponyatov <[email protected]>: > >> Is opencog suitable for automated code generation ? >> >> I'm searching in some AI technologies which can be applied in >> transformational programming, especially in automated code generation: >> synthsize programs code in mainstream languages like C(++), Java, JS,... >> basing on declarative highlevel descriptions, reasing code block taking in >> mind target system, predifines class structure, library of code snippets >> and so on. >> >> -- >> 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/ms >> gid/opencog/052d5af3-68db-4e08-9690-b66774d69b05%40googlegroups.com >> <https://groups.google.com/d/msgid/opencog/052d5af3-68db-4e08-9690-b66774d69b05%40googlegroups.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/CAB5%3Dj6X1UpLafHVDQM%2BG4CoKY6RbHamrJT3nyRBVuAbLnAB_JQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
