mtConfigurationOption(baseKB,inferTypesFromArgumentTypes).

arg1Isa(acquired/2,agent).
arg2Isa(acquired/2,resource).

arg1Isa(fileContains/2,file).
arg2Isa(fileContains/2,resource).

acquired(System,SoftwareSystem) :-
        fileContains(File,SoftwareSystem),
        acquired(System,File).

hasSoftwareHavingCapability(System,Capability) :-
        hasCapability(SoftwareSystem,Capability),
        acquired(System,SoftwareSystem),!.

%%    "if we assert that we want to have a particular piece of software,
%%    then attempt to download it",

poss(should(download(SoftwareSystem))) :-
        isa(SoftwareSystem,softwareSystem),
        not(acquired(frdcsaProject,SoftwareSystem)),
        (   desires(andrewDougherty,package(X)),
            X = SoftwareSystem ;
            member(SoftwareSystem,X)) ;
        (   desires(andrewDougherty,done(hasSoftwareHavingCapability(frdcsaProject,Capability),e1)),
            hasCapability(SoftwareSystem,Capability),
            acquired(frdcsaProject,SoftwareSystem)) ;
        (   should(package(ToPackageList)),
            member(SoftwareSystem,ToPackageList)).

poss(should(tryToAcquire(SoftwareSystem))) :-
        should(download(SoftwareSystem)),
        not(acquired(SoftwareSystem)).

%%    "if we assert that we desire to have software having a capability,
%%    run radar-web-search -n 300 or such on it, and download the results
%%    and package them",

%% poss(executeCode(Code)) :-

poss(runProgramOn(radarWebSearch,Capability)) :-
        should(tryToAcquire(SoftwareSystem)),
        findall(Capability,hasCapability(SoftwareSystem,Capability),Capabilities),
        member(Capability,Capabilities).

%% periodically rerun the radar-web-search downloads on previously searched for items

%% need to add epistemic rules here, particularly as relates to
%% epistemic actions of discovering more systems with certain
%% capabilities

desires(andrewDougherty,knowMoreAbout(andrewDougherty,Topic)) :-
        isa(Topic,topic).

%%    "so here's the deal.  if we save a paper, move the paper into
%%    digilib storage, convert to text, add to book-analysis system,
%%    extract urls and system names, retrieve and store in our
%%    waybackmachine knockoff the contents of the websites, and run
%%    radar-web-search just on those urls",

%%    "if we assert that we desire to know more about a topic, launch
%%    various searches, such as definitional question answering, google,
%%    etc.",