tasks.md 23.4 KB
Edit Raw Blame History


Tasks
Task List
Task LP.SP

Denomination


 Logic Programs Structure and Properties

Description and expected results:


Objectives: Clarify the role of logic program structure and composition elements (eg stratified or recursive  programs, functional symbols) in the stable models, our equivalence relation of events, and existing ASP and ILP systems. 
Methods: Investigate logic program structures and composition elements, how they affect stable models, event classes, and existing ASP and ILP systems.
Expected results: Assessment on the effects of the studied structures and composition elements on  stable models, event classes, and existing ASP and ILP systems.
Links to other tasks:
Preconditions from other tasks: None - this is an initial task, a continuation of already done research;
Results for other tasks: 


ISE: This task gives important insights into search strategies and transformation rules.
ISF: For computation of the event classes and respective probabilities, this task gives important insights into algorithm design.
LP.EQ: Different equivalence relations based on the stable models clearly depend on the program structure and composition, so this task gives important insights into that study.

Partners and Institution roles: 
Universidade de Évora, Principal contractor;
Justification for the needed resources: A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.

Assigned team members:


Francisco Coelho, Universidade de Évora;
Salvador Abreu, Universidade de Évora;
Bruno Dinis, Universidade de Évora;

Person * Month:
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   6    | 1.0 |
| Salvador Abreu   |      16.7% |   6    | 1.0 |
| Bruno Dinis      |      16.7% |   6    | 1.0 |
| Total        |            |        | 3.0 |
Deliverables:


A paper accepted in a A* or A international conference or Q1 journal, by 2025-05-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| Overheads (25%)                                                          |  750.00€ |
| Total                                                                | 3750.00€ |

Task LP.EQ

Denomination


Equivalence Relations in Scoring Programs

Description and expected results


Objectives: Clarify the role of the equivalence relation, used to partition the event space, on the performance of algorithms related to classes and respective probabilities. 
Methods: Investigate variations of the equivalence relation (eg, considering only super-events instead of super- and sub-events) and the resulting effects on algorithms related to classes and respective probabilities.
Expected results: Assessment on the effects of the variations of the equivalence relation on algorithms related to classes and respective probabilities.
Links to other tasks:


Preconditions from other tasks: 
LP.SP: Program structure and composition elements, assessed in task LP.SP, contribute to determine the stable models that are, in turn, used to define the equivalence relation, studied here. 
Results for other tasks: 
ATS and RWC - The equivalence relation associates certain events to certain stable models and from this association results event probability. In applications, either theoretical scenarios or real world cases, models (in this case, SASPs) must support the calculus of event probabilities.

Partners and Institution roles:


Universidade de Évora, Principal contractor;

Justification for the needed resources: A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.

Assigned team members


Francisco Coelho, Universidade de Évora
Bruno Dinis, Universidade de Évora

Person * Month
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   6    | 1.0 |
| Bruno Dinis      |      16.7% |   6    | 1.0 |
| Total        |            |        | 2.0 |
Deliverables


A paper accepted in a A* or A international conference or Q1 journal, by 2026-02-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| Overheads (25%)                                                          |  750.00€ |
| Total                                                                | 3750.00€ |


<!--</p>
<h3 id="task-lp-err">Task LP.ERR<a href="#task-lp-err"></a></h3>
<ul>
<li><strong>Denomination</strong>

<ul>
<li>The Role of the Error Function</li>
</ul></li>
<li><strong>Description and expected results</strong>

<ul>
<li><strong>Objectives</strong>: Explore the role of the error function, used to score a probabilistic ASP wrt observations, in the performance of methods and applications.</li>
<li><strong>Methods</strong>: Investigate variations of the error function, eg Kullback-Leibler divergence instead of the L2 used, observation sets form various domains, and the resulting effects.</li>
<li><strong>Expected results</strong>: One paper accepted in A* or A international conference or Q1 journal.</li>
<li><strong>Links to other tasks</strong>: <a href="/fc/zugzwang/blob/3fd981304551df9d9644bf57f1b843f468ab66fe/preconditions and results">TODO</a></li>
<li><strong>Partners and Institution roles</strong>: Universidade de Évora [TODO] [ROLES]</li>
<li><strong>Justification for the needed resources</strong>: A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.</li>
</ul></li>
<li><strong>Assigned team members</strong>

<ul>
<li>Francisco Coelho, Universidade de Évora</li>
<li>Ligia Henriques-Rodrigues, Universidade de Évora</li>
</ul></li>
<li><strong>Person * Month</strong>

<ul>
<li>[TODO]</li>
</ul></li>
<li><strong>Deliverables</strong>

<ul>
<li>Paper THREE in International Conference: M01 - M08</li>
</ul></li>
<li><strong>Budget</strong>

<ul>
<li>Registration, travel, accommodation and food for conference THREE: 3000.00€</li>
<li>Total, including 25% overheads: 3750.00€
-->


Task ISE

Denomination


Inductive Stochastic Answer Set Programs by Space Exploration

Description and expected results


Objectives: Proceed from already established (in existing research) scoring programs methods to induce Stochastic Answer Set Programs (SASPs) using program space exploration algorithms based on program transformation rules (eg genetic algorithms).
Methods: Investigate program transformation rules and program space exploration algorithms in the context of SASPs.

Expected results: Compilation and assessment of program transformation rules and space explorations algorithms for SASPs.
Links to other tasks:


Preconditions from other tasks: None - this is an initial task, a continuation of already done research;
Results for other tasks: 
HPC, ATS, RWC: This is an algorithm oriented research task; its results are to be utilized by the subsequent application tasks: HPC for induction and use of SASPs (HPC), Application of SASPs in Theoretic Scenarios (ATS) and Applications of SASPs to Real World Cases (RWC). 
ISF: Induction of SASPs from data and background knowledge, in task ISF, requires the assessments of program space exploration algorithms and program transformation rules.

Partners and Institution roles:


Universidade de Évora, Principal contractor;

Justification for the needed resources: A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.

Assigned team members


Francisco Coelho, Universidade de Évora
Salvador Abreu, Universidade de Évora

Person * Month
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   6    | 1.0 |
| Salvador Abreu   |      16.7% |   6    | 1.0 |
| Total        |            |        | 2.0 |
Deliverables


A paper accepted in a A* or A international conference or Q1 journal, by 2025-03-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| Overheads (25%)                                                          |  750.00€ |
| Total                                                                | 3750.00€ |

Task ISF

Denomination


Integration with existing ASP and ILP software frameworks

Description and expected results


Objectives: A library, and its documentation, to enable efficient SASP related computations: parsing, event classes and probabilities, induction.
Methods: Implement, test, document and demonstrate a library to process SASP programs (parse the SASP language; utilize existing ASP frameworks to compute stable models; compute the event classes and respective probabilities; induce SASPs from data).
Expected results: A library that implements the algorithms proposed in previous tasks and existing research, to be utilized in future applications and tasks, and associated documentation; A PhD graduation; Contributions to existing ASP frameworks, such as Potassco. 
Links to other tasks: 


Preconditions from other tasks: None - this is an initial task, a continuation of already done research; However, results from task ISE will guide the implementation for induction of SASPs from data and background knowledge.
Results for other tasks: 
HPC: A proposed library API, to guide the implementation in the HPC task.
ATS, RWC: These applied tasks require adequate software support, ie the library and documentation delivered by this task. 

Partners and Institution roles:


Universidade de Évora, Principal contractor;

Justification for the needed resources: The implementation volume and complexity requires a fulltime PhD student working over a year, using a suitable laptop; The PhD student should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.

Assigned team members


Francisco Coelho, Universidade de Évora
BI Scholarship fellow, Universidade de Évora

Person * Month
| Member                | Percentage | Months |  P*M |
|-----------------------|-----------:|:------:|-----:|
| Francisco Coelho      |      16.7% |   12   |  2.0 |
| BI Scholarship fellow |     100.0% |   12   | 12.0 |
| Total             |            |        | 14.0 |
Deliverables


Proposal for the library API, by 2024-12-01.
Report documenting the features and progress in the library implementation, by 2025-03-01.
Paper accepted in a A* or A international conference or Q1 journal, by 2025-06-01.
Library, and the respective documentation, to parse SASP; interface with existing ASP frameworks; compute event classes and respective probabilities, by 2025-06-01.
Completed PhD thesis, by 2025-09-01.

Budget
| Item                                                                     |    Amount |
|--------------------------------------------------------------------------|----------:|
| Laptop Computer                                                          |  2600.00€ |
| Registration, travel, accommodation and food in international conference |  3000.00€ |
| BI Scholarship (12 months, 1144.64€/month)                               | 13735.68€ |
| Overheads (25%)                                                          |  4833.92€ |
| Total                                                                | 24169.60€ |

Task HPC

Denomination


High Performance Computing for Induction and Use of SASPs

Description and expected results


Objectives: Use High Performance Computing systems to speedup and scale-up applications of SASPs.
Methods: Benchmark the benefits of data and process distribution for SASPs on High Performance Computing systems. 
Expected results: Compilation and assessment of distributed SASPs on HPC systems; A library that implements distributed versions of some API functions described in the ISF task, to be utilized in future applications and tasks, and associated documentation; 
Links to other tasks:


Preconditions from other tasks: 
ISF: The proposed library API is utilized to guide this task implementation, in order to strive for compatibility.
ISE: Results from task ISE will guide the implementation for induction of SASPs from data and background knowledge.
Results for other tasks:
ATS, RWC: These applied tasks require adequate software support, ie the library and documentation delivered by this task.

Partners and Institution roles: 


Universidade de Évora, Principal contractor;
High Performance Computing Chair, Partner institution;

Justification for the needed resources: 


A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
Adaptation of sequential programs to HPC systems requires expert consultation.
An HPC system is required to this task.


Assigned team members


Francisco Coelho, Universidade de Évora
Miguel Avillez, High Performance Computing Chair (as Consultant)

Person * Month
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   12   | 2.0 |
| Miguel Avillez   |      16.7% |   12   | 2.0 |
| Total        |            |        | 4.0 |
Deliverables


Report on the performance of the distributed versions of the programs to interface with existing ASP frameworks and compute event classes and respective probabilities, by 2025-09-01.
Paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| HPC system                                                               | 1000.00€ |
| Overheads (25%)                                                          | 1000.00€ |
| Total                                                                | 5000.00€ |

Task ATS

Denomination


Applications of SASPs in Theoretic Scenarios

Description and expected results


Objectives: Evaluate SASP, and SASP induction, in some theoretic scenarios (toy problems) described in the relevant literature (eg Stochastic Plan Generation, Logic/Statistic Puzzles).
Methods: Compile a set of theoretic problems; Evaluate hand-coded and induced SASPs on that set; Compare with state-of-the-art results. 
Expected results: Assessment of the performance of hard-coded and induced SASPs with respect to state-of-the-art systems; List of advantages and problems.
Links to other tasks:


Preconditions from other tasks: Libraries, and respective documentation, from tasks IFS and HPC.
Results for other tasks: None - This is a final task.

Partners and Institution roles:


Universidade de Évora, Principal contractor;

Justification for the needed resources:


A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
An HPC system is required to this task.


Assigned team members


Francisco Coelho, Universidade de Évora
[TODO], [TODO]

Person * Month
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   6    | 1.0 |
| [TODO]           |      16.7% |   6    | 1.0 |
| Total        |            |        | 2.0 |
Deliverables


A paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| HPC system                                                               |  500.00€ |
| Overheads (25%)                                                          |  875.00€ |
| Total                                                                | 4375.00€ |


<!-- </p>
<h3 id="task-apps">Task APPS<a href="#task-apps"></a></h3>
<ul>
<li><strong>Denomination</strong>

<ul>
<li>Applications of SASPs in Statistic Tasks</li>
</ul></li>
<li><strong>Description and expected results</strong>

<ul>
<li><strong>Objectives</strong>: [TODO]</li>
<li><strong>Methods</strong>: [TODO]</li>
<li><strong>Expected results</strong>: [TODO]</li>
<li><strong>Links to other tasks</strong>: <a href="/fc/zugzwang/blob/3fd981304551df9d9644bf57f1b843f468ab66fe/preconditions and results">TODO</a></li>
<li><strong>Partners and Institution roles</strong>: Universidade de Évora [TODO] [ROLES]</li>
<li><strong>Justification for the needed resources</strong>: [TODO]</li>
</ul></li>
<li><strong>Assigned team members</strong>

<ul>
<li>[TODO] Member</li>
</ul></li>
<li><strong>Person * Month</strong>

<ul>
<li>[TODO]</li>
</ul></li>
<li><strong>Deliverables</strong>

<ul>
<li>[TODO]Type  and Description; evidences and results</li>
</ul></li>
<li><strong>Budget</strong>

<ul>
<li>[TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")</li>
<li>[TODO] Amount requested for the task: Include 25% overheads; Consistent with the <em>Principal Contractor Budget table in application form</em>; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
-->


Task RWC

Denomination


Applications of SASPs to Real World Cases 

Description and expected results


Objectives: Apply SASP, and SASP induction, to some real world cases described in the relevant literature (eg [TODO]).
Methods: Gather information in the form of background knowledge (eg from experts) and data (positive and negative examples) about the selected problem; Evaluate hand-coded and induced SASPs in that problem; Compare with other approaches to that problem. 
Expected results: Assessment of the performance of hard-coded and induced SASPs on the selected problem; List of advantages and problems.
Links to other tasks:


Preconditions from other tasks: Libraries, and respective documentation, from tasks IFS and HPC.
Results for other tasks: None - This is a final task.

Partners and Institution roles:


Universidade de Évora, Principal contractor;

Justification for the needed resources:


A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
An HPC system is required to this task.


Assigned team members


Francisco Coelho, Universidade de Évora
[TODO], [TODO]

Person * Month
| Member           | Percentage | Months | P*M |
|------------------|-----------:|:------:|----:|
| Francisco Coelho |      16.7% |   6    | 1.0 |
| [TODO]           |      16.7% |   6    | 1.0 |
| Total        |            |        | 2.0 |
Deliverables


A paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.

Budget
| Item                                                                     |   Amount |
|--------------------------------------------------------------------------|---------:|
| Registration, travel, accommodation and food in international conference | 3000.00€ |
| HPC system                                                               |  500.00€ |
| Overheads (25%)                                                          |  875.00€ |
| Total                                                                | 4375.00€ |

Project Timeline

  
    gantt
title       Induction of Stochastic Answer Set Programs by Algebraic Means (IAM)
dateFormat  YYYY-MM-DD
axisFormat  %Y-%m

section Theoretical
  Logic Programs Structure and Properties (LP.SP)    :lpsp,  2024-09-01, 6M
  LP.SP Paper   :milestone, lpsppaper,  2025-03-01, 0d
  Inductive Stochastic Answer Set Programs by Space Exploration (ISE)     :ise,   2024-09-01, 6M
  ISE Paper     :milestone, isepaper,   2025-03-01, 0d
  Equivalence Relations in Scoring Programs (LP.EQ)    :lpeq,  2025-03-01, 6M
  LP.EQ Paper   :milestone, lpeqpaper,  2025-09-01, 0d
  #LPERR  :lperr, 2025-09-01, 6M
  #LPERR.PAPER  :milestone, lpeqpaper,  2025-05-01, 0d

section Implementation
  Integration with existing ASP and ILP software frameworks (ISF)     :isf,   2024-09-01, 12M
  ISF API       :milestone, isfapi,     2024-12-01, 0d
  ISF Report    :milestone, isfreport,  2025-03-01, 0d
  ISF Paper     :milestone, isfpaper,   2025-06-01, 0d
  ISF Library   :milestone, isflibrary, 2025-06-01, 0d
  ISF Thesis    :milestone, isfthesis,  2025-09-01, 0d
  High Performance Computing for Induction and Use of SASP (HPC)     :after isfapi ise,  12M
  HPC Report    :milestone, hpcreport,  2025-09-01, 0d
  HPC Paper     :milestone, hpcpaper,   2026-03-01, 0d

section Application
  Applications of SASPs in Theoretic Scenarios (ATS)    :appt,  2025-09-01, 6M
  ATS Paper    :milestone, apptpaper,  2026-03-01, 0d
  #APPS   :after appt,        4M
  Applications of SASPs to Real World Cases (RWC)    :appw,  2025-09-01, 6M
  RWC Paper    :milestone, appwpaper,  2026-03-01, 0d


<!--</p>

<ul>
<li><strong>Project timeline and management.</strong> list of milestones, the timeline and the description of the management structure

<ul>
<li><strong>Milestones list</strong></li>
<li>milestone = objective achieved; phase completed; result obtained</li>
<li>include what can be demonstrated or reported on that date</li>
<li>up to 6 milestones</li>
<li>select tasks associated with the milestone</li>
<li>mark milestones on the <strong>timeline</strong>.</li>
<li><strong>Timeline</strong></li>
<li>start with the available spreadsheet</li>
<li>upload "timeline.pdf"</li>
<li>Indicate <strong>partner responsible for task</strong>; <strong>acronyms of partners involved</strong></li>
<li><strong>Management</strong> project management structure: coordination; meetings; reporting structure</li>
</ul></li>
</ul>

<p>-->

<!-- </p>
<h3 id="task-taskid">Task TaskID<a href="#task-taskid"></a></h3>
<ul>
<li><strong>Denomination</strong>

<ul>
<li>[TODO] concise and self-explanatory</li>
</ul></li>
<li><strong>Description and expected results</strong>

<ul>
<li><strong>Objectives</strong>: [TODO]</li>
<li><strong>Methods</strong>: [TODO]</li>
<li><strong>Expected results</strong>: [TODO]</li>
<li><strong>Links to other tasks</strong>: <a href="/fc/zugzwang/blob/3fd981304551df9d9644bf57f1b843f468ab66fe/preconditions and results">TODO</a></li>
<li><strong>Partners and Institution roles</strong>: Universidade de Évora [TODO] [ROLES]</li>
<li><strong>Justification for the needed resources</strong>: [TODO]</li>
</ul></li>
<li><strong>Assigned team members</strong>

<ul>
<li>[TODO] Member</li>
</ul></li>
<li><strong>Person * Month</strong>

<ul>
<li>[TODO]</li>
</ul></li>
<li><strong>Deliverables</strong>

<ul>
<li>[TODO]Type  and Description; evidences and results</li>
</ul></li>
<li><strong>Budget</strong>

<ul>
<li>[TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")</li>
<li>[TODO] Amount requested for the task: Include 25% overheads; Consistent with the <em>Principal Contractor Budget table in application form</em>; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" </li>
</ul></li>
</ul>

<p>-->