inference
Scala compiler cannot infer mix-in type for pattern matching
I have a use case for algebraic groups over finite permutation sets. Because I would like to use the group for various permutation classes which are otherwise unrelated, I would like to do this as a m[详细]
2023-04-12 01:52 分类:问答Lightweight inference engine interfaceable with Ruby
I have a large Ruby application that is just crying out for the addition of an inference engine; I don\'t need a lot of functionality, am not afraid of integrating C libraries, and am coming up empty[详细]
2023-04-10 10:43 分类:问答Scala type (inference) issue?
I\'m developing a REST webservice in Scala using the Jersey JAX-RS reference implementation and I\'m getting a strange error.[详细]
2023-04-01 09:16 分类:问答Prolog Beginner - Is This a Bad Idea?
The application I\'m working on is a \"configurator\" of sorts. It\'s written in C# and I even wrote a rules engine to go with it. The idea is that there are a bunch of propositional logic statements,[详细]
2023-03-21 19:32 分类:问答Allegrograph - Functors like RDF objects properties?
Using Allegrograph, Prolog functors are pretty awesome, but there is one downside. Let\'s say you define a functor that links two entities, for example parentOf which equals to \"!n:motherOf OR !n:f[详细]
2023-03-20 10:20 分类:问答Search control in Haskell
Suppose you\'re writing a program that searches an exponentially large or infinite space: gameplaying, theorem proving, optimization etc, anything where you can\'t search the entire space, and the qua[详细]
2023-03-18 06:32 分类:问答C# generic interface type inference question
I\'m not sure how to phrase this question concisely without just giving the example so here goes: public interface IThing<T>[详细]
2023-03-11 06:15 分类:问答Ideal algorithmic approach -- Rule-engine / Decision-Tree and some Learning logic?
My requirement is probably close to what one expects of an \"Expert System\". And looking for the simplest solution, that can give me real-time or near-real time inference, with some offline (non-real[详细]
2023-03-08 00:55 分类:问答Inference Engine implementation in java
I am trying to think of an algorithm where I can create number of possible binary combinations for my inference engine implementation[详细]
2023-03-05 18:04 分类:问答What's the difference between an inference machine and a semantic reasoner?
I found some short articles about both, and for me it sounds like both figure out things through logic, si开发者_StackOverflow中文版milar to how Prolog works. I must add I am new to this field so I mi[详细]
2023-03-03 11:44 分类:问答