Can statistical software (AMOS, LISREL, SEM, LAVAAN etc) suggest possible sem models without user specification? I am relatively new to sem and was just wondering whether the common softwares used in structural equation modeling has the capability to suggest possible sem models without user input? Or is it that we must always input an initial path model to begin any analysis in sem?
The research and papers I have read so far have always started the analysis with a proposed model (blocks of manifest variables already allocated to a certain latent variable and relationship between latent variables already defined). I understand that we could always do relevant model evaluation and fit criterion for both the partial least squares (exploratory) method and the covariance-based (confirmatory) method to better improve or alter the sem model. However, if I were clueless as to how the possible sem path model might look like to begin with, is that any way/method that the different softwares and packages may help me to obtain a starting model for evaluation?
 A: As far as I know, no SEM software (including AMOS, Lisrel, the sem and lavaan packages, or Mplus) currently will do this and that's a good thing. For a given model, there are equivalent models that have equally good fit (e.g., Stelzl, 1986; Lee & Hershberger, 1990; MacCallum et al., 1993). See also: http://www2.gsu.edu/~mkteer/equival.html
Therefore, based on fit alone, one cannot distinguish between these models. Instead, solid theory and prior empirical findings are needed to define a reasonable model, so that its fit to the data can then be tested.
So, software would need to tap into such knowledge to define well-supported models. With advances in machine learning, natural language processing, and artificial intelligence, this may become possible in some distant future, but we are not there yet.
References
Lee, S., & Hershberger, S. (1990). A simple rule for generating equivalent models in structural equation modeling. Multivariate Behavioral Research, 25, 313-334.
MacCallum, R. C., Wegener, D. T., Uchino, B. N., & Fabrigar, L. R. (1993). The problem of equivalent models in applications of covariance structure analysis. Psychological Bulletin, 114, 185-199.
Stelzl, I. (1986). Changing the causal hypothesis without changing the fit: Some rules for generating equivalent path models. Multivariate Behavioral Research, 21, 309-331.
A: As @wolfgang says, it's a good thing that this is very difficult. Kind of the point of SEM is that you start with a specified model, and then you test it, and use the chi-square (and other fit statistics) to decide if you have a good fit. IN a chapter called "Testing structural equation models" Joreskog talks about this as the 'strictly confirmatory' approach. A second approach is what Joreskog calls 'alternative models'- you have several theoretically defined models and see which one fits best. But what everyone almost always ends up doing is a 'model generating' approach. You can see the pages in the book here: https://goo.gl/zGjAsr (I think). But as he says there, the goal of the analysis is to find a model that fits the data well, but also that "every parameter of the model can be given a substantively meaningful interpretation".  (It's a good chapter, in a good book - it's worth reading the whole chapter, and book.)
So the exploratory approach that you are suggesting kind of goes against the whole principle of SEM. But 
Imagine we have four variables, a, b, c and d. How many possible models could there be?


*

*They could all covary.

*They could all be indicators of a factor.

*They could be indicators of two factors (there are three ways to do this).

*Any three could be indicators, and the fourth could be causal. 

*One factor, with any pair of variables having a correlation (that's 6 models). 

*a -> b-> c-> d

*b -> a -> c-> d
...


And so on, and that's only with 4 variables. 
There are ways of being a bit automated and exploratory, but you always need to specify the basic model. 
AMOS allows 'optional' parameters. It fits a model with every possible combination of optional parameters. That rapidly leads to an awful lot of models - if you have 10 optional parameters that's $2^10=1024$ models. And I had 10 more than 10 models in my list above, with only four variables. 
I've used R to write and then run Mplus files, and then read and store the results (I think there's a package that helps with that now). For reasons I completely forget, I wanted to find the best combination of 10 (I think) predictors, where the predictors were constrained to one or zero.  That's about a thousand models to compare. If I'd had 20 variables, I would have had just over a million models to compare (and if each model had taken 5 seconds to run, it would have taken 576 days).
Finally LISREL has (or did have) the AM option, which automodifies the model. It estimates a model, finds the largest modification index, frees that parameter, reruns the model, etc.  When I was in graduate school we would joke that if your model didn't fit, you could put AM on the OU line, go for lunch, and come back to find it fitted. However, there are papers (which I can't recall the authors of) which showed that even if your model was close to the correct model, this approach rarely ended up with the correct model. If you start with nothing, I hate to think what you would end up with. 
