2022-12-29 22:29:32 +00:00
|
|
|
#!/usr/bin/env python
|
|
|
|
# -*- coding: utf-8 -*-
|
|
|
|
#
|
|
|
|
|
2023-01-02 22:37:40 +00:00
|
|
|
import copy
|
2022-12-29 22:29:32 +00:00
|
|
|
import os
|
2022-12-30 18:34:41 +00:00
|
|
|
import time
|
|
|
|
|
2023-01-02 22:37:40 +00:00
|
|
|
import torch
|
2022-12-30 18:34:41 +00:00
|
|
|
from torch_geometric import seed_everything
|
|
|
|
from torch_geometric.data.makedirs import makedirs
|
|
|
|
from torch_geometric.explain import Explainer
|
|
|
|
from torch_geometric.explain.config import ThresholdConfig
|
|
|
|
from torch_geometric.graphgym.config import cfg
|
|
|
|
from torch_geometric.graphgym.utils.device import auto_select_device
|
|
|
|
|
2022-12-29 22:29:32 +00:00
|
|
|
from explaining_framework.config.explaining_config import explaining_cfg
|
|
|
|
from explaining_framework.utils.explaining.cmd_args import parse_args
|
2022-12-30 18:34:41 +00:00
|
|
|
from explaining_framework.utils.explaining.outline import ExplainingOutline
|
2022-12-30 18:41:56 +00:00
|
|
|
from explaining_framework.utils.explanation.adjust import Adjust
|
2023-01-02 22:37:40 +00:00
|
|
|
from explaining_framework.utils.explanation.io import (
|
|
|
|
explanation_verification, load_explanation, save_explanation)
|
|
|
|
from explaining_framework.utils.io import (is_exists, obj_config_to_str,
|
|
|
|
read_json, write_json, write_yaml)
|
2022-12-30 18:34:41 +00:00
|
|
|
|
|
|
|
# inference, time, force,
|
|
|
|
|
2022-12-30 18:41:56 +00:00
|
|
|
|
2023-01-02 22:37:40 +00:00
|
|
|
def get_pred(explainer, explanation):
|
|
|
|
pred = explainer.get_prediction(x=explanation.x, edge_index=explanation.edge_index)[
|
|
|
|
0
|
|
|
|
]
|
|
|
|
setattr(explanation, "pred", pred)
|
|
|
|
data = explanation.to_dict()
|
|
|
|
if not data.get("node_mask") is None or not data.get("edge_mask") is None:
|
2022-12-30 18:41:56 +00:00
|
|
|
pred_masked = explainer.get_masked_prediction(
|
|
|
|
x=explanation.x,
|
|
|
|
edge_index=explanation.edge_index,
|
2023-01-02 22:37:40 +00:00
|
|
|
node_mask=data.get("node_mask"),
|
|
|
|
edge_mask=data.get("edge_mask"),
|
|
|
|
)[0]
|
|
|
|
setattr(explanation, "pred_exp", pred_masked)
|
|
|
|
|
|
|
|
|
|
|
|
def get_explanation(explainer, item):
|
|
|
|
explanation = explainer(
|
|
|
|
x=item.x,
|
|
|
|
edge_index=item.edge_index,
|
|
|
|
index=int(item.y),
|
|
|
|
target=item.y,
|
|
|
|
)
|
|
|
|
assert explanation_verification(explanation)
|
|
|
|
return explanation
|
2022-12-30 18:34:41 +00:00
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__":
|
|
|
|
args = parse_args()
|
|
|
|
outline = ExplainingOutline(args.explaining_cfg_file)
|
|
|
|
auto_select_device()
|
|
|
|
|
|
|
|
# Load components
|
2023-01-02 22:37:40 +00:00
|
|
|
dataset = outline.dataset
|
2022-12-30 18:34:41 +00:00
|
|
|
model = outline.model.to(cfg.accelerator)
|
2023-01-02 22:37:40 +00:00
|
|
|
model = model.eval()
|
2022-12-30 18:34:41 +00:00
|
|
|
model_info = outline.model_info
|
|
|
|
metrics = outline.metrics
|
|
|
|
explaining_algorithm = outline.explaining_algorithm
|
|
|
|
attacks = outline.attacks
|
|
|
|
explainer_cfg = outline.explainer_cfg
|
|
|
|
model_signature = outline.model_signature
|
|
|
|
|
|
|
|
# Set seed
|
|
|
|
seed_everything(explaining_cfg.seed)
|
|
|
|
|
|
|
|
# Global path
|
|
|
|
global_path = os.path.join(explaining_cfg.out_dir, model_signature)
|
|
|
|
makedirs(global_path)
|
|
|
|
write_yaml(cfg, os.path.join(global_path, "config.yaml"))
|
2022-12-30 18:41:56 +00:00
|
|
|
write_json(model_info, os.path.join(global_path, "info.json"))
|
2022-12-30 18:34:41 +00:00
|
|
|
|
2022-12-30 18:41:56 +00:00
|
|
|
global_path = os.path.join(
|
|
|
|
global_path,
|
|
|
|
explaining_cfg.explainer.name + "_" + obj_config_to_str(explaining_algorithm),
|
|
|
|
)
|
2022-12-30 18:34:41 +00:00
|
|
|
makedirs(global_path)
|
|
|
|
write_yaml(explaining_cfg, os.path.join(global_path, explaining_cfg.cfg_dest))
|
|
|
|
write_yaml(explainer_cfg, os.path.join(global_path, "explainer_cfg.yaml"))
|
|
|
|
|
|
|
|
global_path = os.path.join(global_path, obj_config_to_str(explaining_algorithm))
|
|
|
|
makedirs(global_path)
|
|
|
|
explainer = Explainer(
|
|
|
|
model=model,
|
|
|
|
algorithm=explaining_algorithm,
|
|
|
|
explainer_config=dict(
|
|
|
|
explanation_type=explaining_cfg.explanation_type,
|
|
|
|
node_mask_type="object",
|
|
|
|
edge_mask_type="object",
|
|
|
|
),
|
|
|
|
model_config=dict(
|
|
|
|
mode="regression",
|
|
|
|
task_level=cfg.dataset.task,
|
|
|
|
return_type=explaining_cfg.model_config.return_type,
|
|
|
|
),
|
|
|
|
)
|
2023-01-02 22:37:40 +00:00
|
|
|
if not explaining_cfg.dataset.specific_items is None:
|
|
|
|
indexes = explaining_cfg.dataset.specific_items
|
|
|
|
else:
|
|
|
|
indexes = range(len(dataset))
|
2022-12-30 18:34:41 +00:00
|
|
|
# Save explaining configuration
|
2023-01-02 22:37:40 +00:00
|
|
|
for index, item in zip(indexes, dataset):
|
|
|
|
item = item.to(cfg.accelerator)
|
2022-12-30 18:34:41 +00:00
|
|
|
save_raw_path = os.path.join(global_path, "raw")
|
|
|
|
makedirs(save_raw_path)
|
|
|
|
explanation_path = os.path.join(save_raw_path, f"{index}.json")
|
|
|
|
|
|
|
|
if is_exists(explanation_path):
|
|
|
|
if explaining_cfg.explainer.force:
|
2023-01-02 22:37:40 +00:00
|
|
|
explanation = get_explanation(explainer, item)
|
2022-12-30 18:34:41 +00:00
|
|
|
else:
|
|
|
|
explanation = load_explanation(explanation_path)
|
|
|
|
else:
|
2023-01-02 22:37:40 +00:00
|
|
|
explanation = get_explanation(explainer, item)
|
|
|
|
|
|
|
|
explanation = explanation.to(cfg.accelerator)
|
|
|
|
get_pred(explainer=explainer, explanation=explanation)
|
|
|
|
|
2022-12-30 18:41:56 +00:00
|
|
|
save_explanation(explanation, explanation_path)
|
|
|
|
for apply_relu in [True, False]:
|
|
|
|
for apply_absolute in [True, False]:
|
|
|
|
adjust = Adjust(apply_relu=apply_relu, apply_absolute=apply_absolute)
|
2023-01-02 22:37:40 +00:00
|
|
|
save_raw_path_ = os.path.join(
|
2022-12-30 18:41:56 +00:00
|
|
|
global_path, f"adjust-{obj_config_to_str(adjust)}"
|
|
|
|
)
|
2023-01-02 22:37:40 +00:00
|
|
|
explanation__ = copy.copy(explanation).to(cfg.accelerator)
|
|
|
|
makedirs(save_raw_path_)
|
|
|
|
explanation = adjust.forward(explanation__)
|
|
|
|
explanation_path = os.path.join(save_raw_path_, f"{index}.json")
|
|
|
|
get_pred(explainer, explanation__)
|
|
|
|
save_explanation(explanation__, explanation_path)
|
2022-12-30 18:34:41 +00:00
|
|
|
|
2022-12-30 18:41:56 +00:00
|
|
|
for threshold_approach in ["hard", "topk", "topk_hard"]:
|
2023-01-02 22:37:40 +00:00
|
|
|
if threshold_approach == "hard":
|
|
|
|
threshold_values = explaining_cfg.threshold_config.value
|
|
|
|
elif "topk" in threshold_approach:
|
|
|
|
threshold_values = [3, 5, 10, 20]
|
|
|
|
for threshold_value in threshold_values:
|
2022-12-30 18:34:41 +00:00
|
|
|
|
2022-12-30 18:41:56 +00:00
|
|
|
masking_path = os.path.join(
|
2023-01-02 22:37:40 +00:00
|
|
|
save_raw_path_,
|
|
|
|
f"threshold={threshold_approach}-value={threshold_value}",
|
2022-12-30 18:41:56 +00:00
|
|
|
)
|
2023-01-02 22:37:40 +00:00
|
|
|
makedirs(masking_path)
|
2022-12-30 18:41:56 +00:00
|
|
|
exp_threshold_path = os.path.join(masking_path, f"{index}.json")
|
2022-12-30 18:34:41 +00:00
|
|
|
if is_exists(exp_threshold_path):
|
2023-01-02 22:37:40 +00:00
|
|
|
exp_threshold = load_explanation(exp_threshold_path)
|
2022-12-30 18:34:41 +00:00
|
|
|
else:
|
2022-12-30 18:41:56 +00:00
|
|
|
threshold_conf = {
|
|
|
|
"threshold_type": threshold_approach,
|
|
|
|
"value": threshold_value,
|
|
|
|
}
|
|
|
|
explainer.threshold_config = ThresholdConfig.cast(
|
|
|
|
threshold_conf
|
|
|
|
)
|
2022-12-30 18:34:41 +00:00
|
|
|
|
2023-01-02 22:37:40 +00:00
|
|
|
expl = copy.copy(explanation__).to(cfg.accelerator)
|
2022-12-30 18:34:41 +00:00
|
|
|
exp_threshold = explainer._post_process(expl)
|
2023-01-02 22:37:40 +00:00
|
|
|
exp_threshold = exp_threshold.to(cfg.accelerator)
|
|
|
|
get_pred(explainer, exp_threshold)
|
|
|
|
save_explanation(exp_threshold, exp_threshold_path)
|
2022-12-30 18:34:41 +00:00
|
|
|
for metric in metrics:
|
2022-12-30 18:41:56 +00:00
|
|
|
metric_path = os.path.join(
|
|
|
|
masking_path, f"{obj_config_to_str(metric)}"
|
|
|
|
)
|
2023-01-02 22:37:40 +00:00
|
|
|
makedirs(metric_path)
|
2022-12-30 18:41:56 +00:00
|
|
|
if is_exists(os.path.join(metric_path, f"{index}.json")):
|
2022-12-30 18:34:41 +00:00
|
|
|
continue
|
|
|
|
else:
|
|
|
|
out = metric.forward(exp_threshold)
|
2023-01-02 22:37:40 +00:00
|
|
|
write_json(
|
|
|
|
{f"{metric.name}": out},
|
|
|
|
os.path.join(metric_path, f"{index}.json"),
|
|
|
|
)
|