[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Using TLC to model check "rule-based expert systems"
On Tuesday, 30 April 2019 12:42:14 UTC-4, Stephan Merz wrote:
I don't have any experience with expert systems, but I guess in principle what you suggest should be possible. I am a bit afraid, though, about TLC being overwhelmed with the state space, and I'd consider using constraint solving for finding values that match guards of different rules and then explore the actions of these rules.
I have the same worries about state space (even if I were to do some "smart" things to limit it), and I've also been thinking that constraint solving might be the right approach. Thanks for helping give confidence to my thoughts!
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.