Click here to Skip to main content
15,886,693 members
Home / Discussions / Algorithms
   

Algorithms

 
QuestionOptimization algorithm Pin
Gordon Knot6-Mar-14 5:15
Gordon Knot6-Mar-14 5:15 
AnswerRe: Optimization algorithm Pin
Stefan_Lang7-Mar-14 2:07
Stefan_Lang7-Mar-14 2:07 
GeneralRe: Optimization algorithm Pin
jschell7-Mar-14 9:25
jschell7-Mar-14 9:25 
GeneralRe: Optimization algorithm Pin
Gordon Knot11-Mar-14 14:36
Gordon Knot11-Mar-14 14:36 
GeneralRe: Optimization algorithm Pin
Gordon Knot11-Mar-14 14:34
Gordon Knot11-Mar-14 14:34 
SuggestionRe: Optimization algorithm Pin
Matt T Heffron11-Mar-14 15:38
professionalMatt T Heffron11-Mar-14 15:38 
GeneralRe: Optimization algorithm Pin
Stefan_Lang21-May-14 2:58
Stefan_Lang21-May-14 2:58 
Questionalgorithm for proving a set of logical conditions is not self-contradictory Pin
BillWoodruff20-Feb-14 6:57
professionalBillWoodruff20-Feb-14 6:57 
I have been interested in Decision Tables [^] a long time, and lately I found myself wanting to do some exploratory programming to create a Decision Table UI, and parse it, and crank out a bunch of complex logical assertions in a form that would be useful for creating a set of "business rules," state-machines, language-parsers, etc.

I suspect some of you "old-timers" here have experience with decision table software, and theory.

The most interesting aspect of decision-table theory, to me, is the analysis of a set of complex logical statements to see if there are ambiguities, contradictions, or "incompleteness."

I don't quite know how to conceptualize the dynamics of the process of logical verification; I'm posting this message to just ask for some pointers to any resources you are aware of for theory or algorithms useful for this.

I'm not looking to find code, at this point. I have been searching on the web, and have been examining the various commercial software packages for Windows for decision tables (pricey !). Nothing yet has really given me any ideas on the theory/algorithms for logical "provability."

thanks, Bill
“But I don't want to go among mad people,” Alice remarked.

“Oh, you can't help that,” said the Cat: “we're all mad here. I'm mad. You're mad.”

“How do you know I'm mad?” said Alice.

“You must be," said the Cat, or you wouldn't have come here.” Lewis Carroll

GeneralRe: algorithm for proving a set of logical conditions is not self-contradictory Pin
harold aptroot20-Feb-14 7:49
harold aptroot20-Feb-14 7:49 
GeneralRe: algorithm for proving a set of logical conditions is not self-contradictory Pin
BillWoodruff20-Feb-14 10:10
professionalBillWoodruff20-Feb-14 10:10 
GeneralRe: algorithm for proving a set of logical conditions is not self-contradictory Pin
harold aptroot20-Feb-14 10:54
harold aptroot20-Feb-14 10:54 
QuestionBraille Alphabet Generation through images Pin
mittra14-Feb-14 3:58
mittra14-Feb-14 3:58 
AnswerRe: Braille Alphabet Generation through images Pin
Richard MacCutchan14-Feb-14 5:22
mveRichard MacCutchan14-Feb-14 5:22 
GeneralRe: Braille Alphabet Generation through images Pin
mittra14-Feb-14 9:30
mittra14-Feb-14 9:30 
QuestionBest algorithm for sound pattern storage and searching not to use any RDBMS then what?.. Pin
RahulAJoshi27-Jan-14 17:57
RahulAJoshi27-Jan-14 17:57 
AnswerRe: Best algorithm for sound pattern storage and searching not to use any RDBMS then what?.. Pin
Alan Balkany29-Jan-14 4:50
Alan Balkany29-Jan-14 4:50 
GeneralRe: Best algorithm for sound pattern storage and searching not to use any RDBMS then what?.. Pin
RahulAJoshi29-Jan-14 5:11
RahulAJoshi29-Jan-14 5:11 
Questionfind shortest root in maze using recursion Pin
Member 1055197427-Jan-14 5:23
Member 1055197427-Jan-14 5:23 
AnswerRe: find shortest root in maze using recursion Pin
Kornfeld Eliyahu Peter27-Jan-14 8:10
professionalKornfeld Eliyahu Peter27-Jan-14 8:10 
QuestionRe: find shortest root in maze using recursion Pin
thatraja27-Jan-14 14:16
professionalthatraja27-Jan-14 14:16 
Questionpattern/string matching algorithm Pin
asdf2321122-Jan-14 22:42
asdf2321122-Jan-14 22:42 
QuestionOptimizing connectivity queries in a Directed Acyclic Graph Pin
ssuryakumar8915-Jan-14 17:55
ssuryakumar8915-Jan-14 17:55 
SuggestionBuilding dual axis solar tracking algorithm Pin
Member 105152259-Jan-14 20:14
professionalMember 105152259-Jan-14 20:14 
Questiondynamic activity selection Pin
Member 1040514815-Nov-13 21:11
Member 1040514815-Nov-13 21:11 
AnswerRe: dynamic activity selection Pin
Alan Balkany27-Nov-13 5:26
Alan Balkany27-Nov-13 5:26 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.