----------------------------------- Abel Cavași 02 Feb 2007 13:49 ----------------------------------- M-am gândit că am putea simplifica problema pornind de la o listă de noțiuni utilizate în Fizică și o listă de predicate. Apoi, aleator, să alegem din lista predicatelor o succesiune de predicate, apoi din lista noțiunilor o succesiune de noțiuni, după care, în baza unor reguli implementate (și aici este partea cea mai grea), calculatorul să furnizeze ipoteza care satisface regulile.