Francisco Coelho / zugzwang

Download as
Browse Code »

Commit 3fd981304551df9d9644bf57f1b843f468ab66fe

Authored by Francisco Coelho
1 parent ab101994
Exists in master

Completed TASKS draft; Started Narrative CV

Showing 7 changed files with 409 additions and 137 deletions   Show diff stats
pex2024/candidatura.md
  Diff comments   View file @3fd9813
... ... @@ -189,9 +189,6 @@ MP = 0,40 (0,50 A1 + 0,50 A2) +
189 189  
190 190 ## Questões
191 191  
192   -- O _Principal Contractor_ é a UÉvora ou o NOVALINCS?
193   --
194   -
195 192 ## 2024-01-05 - Next Research Lines
196 193  
197 194 > After the base-setting work of "_An Algebraic Approach to Stochastic ASP_" these are the next tasks to consider. Is summary:
... ...
pex2024/documents/P04 - Plano de trabalho.md 0 → 100644
  Diff comments   View file @3fd9813
... ... @@ -0,0 +1,56 @@
  1 +# P04 - Plano de Trabalho
  2 +
  3 +## Resumo
  4 +
  5 +### Resumo em português (5000c)
  6 +
  7 +### Resumo em inglês (5000c)
  8 +
  9 +## Estado da arte e objetivos (6000c)
  10 +
  11 +## Plano de investigação e métodos (10000c)
  12 +
  13 +## Referências bibliográficas (10000c)
  14 +
  15 +> Inclua publicações citadas na descrição técnica e científica da candidatura. Esta lista não está limitada a publicações dos membros da equipa. (APA, MLA, Chicago)
  16 +
  17 +## Publicações anteriores (5 da equipa)
  18 +
  19 +## Tarefas
  20 +
  21 +(externo)
  22 +
  23 +## Calendarização e gestão do projeto
  24 +
  25 +### Lista de milestones
  26 +
  27 +### Cronograma
  28 +
  29 +> Produza uma descrição da calendarização do projeto em formato electrónico. Sugerimos que utilize como ponto de partida a folha de cálculo que disponibilizamos em 2 formatos: (MS Excel) e ([ODF](https://myfct.fct.pt/Projects/ProjectTimelineManagement?ApplicationId=51568#)). Converta a versão final para formato PDF e faça upload, com a designação timeline.pdf.
  30 +
  31 +
  32 +## Questões éticas
  33 +
  34 +## Agenda 2030
  35 +
  36 +> Os Objetivos de Desenvolvimento Sustentável (ODS) e a Agenda 2030, adotados pela quase totalidade dos países do mundo, no contexto das Nações Unidas, definem as prioridades e aspirações do desenvolvimento sustentável global para 2030 e procuram mobilizar esforços globais à volta de um conjunto de objetivos e metas comuns. São 17 ODS, em áreas que afetam a qualidade de vida de todos os cidadãos do mundo e daqueles que ainda estão para vir. [Mais informação sobre os ODS das Nações](https://myfct.fct.pt/Projects/Agenda2030?ApplicationId=51568#).
  37 +
  38 +### Enquadramento da candidatura nos ODS da Agenda 2030 das Nações Unidas
  39 +(uma linha)
  40 +
  41 +### Fundamentação do enquadramento (3000c)
  42 +
  43 +## Outros projetos
  44 +
  45 +> Devem ser listados as candidaturas submetidas ou projetos aprovados (liderados pelo IR) através de avaliação por pares que se tenham iniciado há menos de 5 anos (concluídos ou em curso).
  46 +
  47 +### JuPy
  48 +
  49 +#### Relação com esta candidatura
  50 +- Foi adquirido conhecimento e experiência sobre implementação e execução de programas num sistema distribuído HPC.
  51 +- Foram estabelecidas relações de cooperação técnica e científica entre o PI e a equipa de gestão do cluster "Oblivion | HPCUE"
  52 +
  53 +- Knowledge and experience was acquired about implementing and executing programs in a distributed HPC system.
  54 +- Technical and scientific cooperation relationships were established between the PI and the management team of the "Oblivion | HPCUE" cluster.
  55 +
  56 +## Ficheiros anexos
... ...
pex2024/documents/calcs.jl 0 → 100644
  Diff comments   View file @3fd9813
... ... @@ -0,0 +1,26 @@
  1 +using Dates
  2 +
  3 +function budget(items, overhead=0.25)
  4 + partial = sum(items)
  5 + partial_overhead = overhead * partial
  6 + total = partial + partial_overhead
  7 + return (partial, partial_overhead, total)
  8 +end
  9 +
  10 +function get_budget()
  11 + items = [3000, 500]
  12 + (partial, overhead, total) = budget(items)
  13 + println("Partial : $(partial)\nOverhead: $(overhead)\nTotal : $total")
  14 +end
  15 +
  16 +function project_month(n, startdate=Date(2024,09,01))
  17 + months = Dates.Month(n)
  18 + return startdate + months
  19 +end
  20 +
  21 +function get_month(month=8)
  22 + cm = project_month(month)
  23 + println("M$(month) -> $(cm)")
  24 +end
  25 +
  26 +get_budget()
0 27 \ No newline at end of file
... ...
pex2024/documents/narrative_cv.md 0 → 100644
  Diff comments   View file @3fd9813
... ... @@ -0,0 +1,55 @@
  1 +# Narrative CV
  2 +
  3 +
  4 + - Contributions to the generation of new ideas, tools, methodologies, or knowledge
  5 + - Contributions to the development of individuals and/or research teams
  6 + - Contributions to the research community and the broader society
  7 + - Selected outputs and/or activities
  8 + - Why would this grant be timely for me, at this point in my career path and/or in my research?
  9 +
  10 +## Percurso Científico e Curricular (2000)
  11 +
  12 +1. 1993, Degree in Mathematics, FCUL.
  13 +2. 1997, Master degree in Mathematics (Algebra), FCUL. About Hilbert's tenth problem (algorithmic resolution of Diophantine equations) and a computational model based on geometric constructions with ruler and compass.
  14 +3. 2006, PhD in Informatics (Computer Science), UL. About deliberation by autonomous agents.
  15 +4. 2008, Article "The euclid abstract machine: Trisection of the angle and the halting problem". Develops the ideas about computing and geometry, started in the master's dissertation.
  16 +5. 2010, Book "Computation Theory, Computability and Complexity" (Escolar Editora). For graduate students.
  17 +6. 2015, Article "Probabilistic perception revision in AgentSpeak(L)". Initial study on the integration of symbolic and statistical AI.
  18 +7. 2016, Book "Introduction to Mathematics - Algebra, Analysis and Optimization" (LIDEL). For undergraduate students.
  19 +8. 2017, Article "A method for regularization of evolutionary polynomial regression" (Applied Soft Computing). Proposes a method for learning polynomial models using genetic algorithms.
  20 +9. 2021, Researcher at the chair "High Performance Computing" at UÉ. Organized and taught an introduction course to the Julia language, aimed at the digital humanities and social sciences.
  21 +10. 2021, Integrated member of the NOVALINCS center. I have been researching the extension of the ASP language with probabilistic annotations.
  22 +11. 2022, CPCA/A0 Project "JuPy". Small project exploring the use of "high-level" languages (Python and Julia) in distributed computing and HPC systems.
  23 +12. 2023, "Zugzwang, Logic and Artificial Intelligence". Work focused on the extension of ASP with probabilistic annotations and the respective induction by a set of data and background knowledge.
  24 +13. 2024, Submitted article "An Algebraic Approach to Stochastic ASP" (IJCAR 2024). Deals with the extension of probability from total choices to stable models and then to general events.
  25 +
  26 +## Contribuições para a Ciência e a Sociedade
  27 +
  28 +### Contribuições da originalidade de ideias, ferramentas, metodologias ou conhecimento (2000)
  29 +
  30 +- Interdisciplinar: Matemática; Lógica; Estatística; Inteligência Artificial
  31 +- Geometria e Computação
  32 +- Bibliotecas e programas
  33 +- Modelos LaTeX para a UÉ
  34 +
  35 +### Contribuições para o desenvolvimento de competências ao nível individual e/ou em equipas (3000)
  36 +
  37 +- Mestrados
  38 +- Doutoramentos
  39 +- Bolsas
  40 +- Cursos
  41 +
  42 +### Contribuições para a Comunidade Científica e para a Sociedade (3000)
  43 +
  44 +- Os dois livros
  45 +- O curso de LaTeX
  46 +- O curso de Julia na Índia
  47 +- O curso de Júlia na Cátedra
  48 +
  49 +### Resultados ou/e atividades relevantes (2500)
  50 +
  51 +- Publicações
  52 +
  53 +### Que relevância atribui a este financiamento para a fase atual da sua carreira e/ou do seu percurso de investigação? (3000)
  54 +
  55 +- Evolução do percurso iniciado com a tese doutoramento; alguns artigos publicados; artigo submetido; colaboração interdisciplinar
0 56 \ No newline at end of file
... ...
pex2024/tasks.md
  Diff comments   View file @3fd9813
... ... @@ -2,243 +2,350 @@
2 2  
3 3 ## Task List
4 4  
5   -### Task LPSP
  5 +### Task LP.SP
6 6  
7 7 - **Denomination**
8 8 - Logic Programs Structure and Properties
9 9 - **Description and expected results:**
10   - - **Objectives**: Clarify the role of logic program structure, eg stratified, or recursive programs or functional symbols, in the equivalence relation of events classes.
11   - - **Methods**: Investigate the types of logic program structures, how they affect known ILP systems and what is the relationship with our approach.
12   - - **Expected Results**: Two papers accepted in A* or A international conferences or Q1 journals.
13   - - **Links to other tasks**: [TODO] (preconditions and results)
14   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
15   - - **Justification for the needed resources**: Members should present the results in international conferences, requiring support for registration, travel, accommodation and food.
  10 + - **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.
  11 + - **Methods**: Investigate logic program structures and composition elements, how they affect stable models, event classes, and existing ASP and ILP systems.
  12 + - **Expected results**: Assessment on the effects of the studied structures and composition elements on stable models, event classes, and existing ASP and ILP systems.
  13 + - **Links to other tasks**:
  14 + - Preconditions from other tasks: None - this is an initial task, a continuation of already done research;
  15 + - Results for other tasks:
  16 + - ISE: This task gives important insights into search strategies and transformation rules.
  17 + - ISF: For computation of the event classes and respective probabilities, this task gives important insights into algorithm design.
  18 + - 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.
  19 + - **Partners and Institution roles**:
  20 + - Universidade de Évora, Principal contractor;
  21 + - **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.
16 22 - **Assigned team members:**
17   - - Francisco Coelho, Universidade de Évora
18   - - Bruno Dinis, Universidade de Évora
19   - - Salvador Abreu, Universidade de Évora
20   -- **Person*Month:**
21   - - [TODO]
  23 + - Francisco Coelho, Universidade de Évora;
  24 + - Salvador Abreu, Universidade de Évora;
  25 + - Bruno Dinis, Universidade de Évora;
  26 +- **Person * Month:**
  27 + | Member | Percentage | Months | P*M |
  28 + |------------------|-----------:|:------:|----:|
  29 + | Francisco Coelho | 16.7% | 6 | 1.0 |
  30 + | Salvador Abreu | 16.7% | 6 | 1.0 |
  31 + | Bruno Dinis | 16.7% | 6 | 1.0 |
  32 + | **Total** | | | 3.0 |
22 33 - **Deliverables:**
23   - - Paper ONE in International Conference: M08
  34 + - A paper accepted in a A* or A international conference or Q1 journal, by 2025-05-01.
24 35 - **Budget**
25   - - Registration, travel, accommodation and food for conference ONE: 3000,00€
26   - - Total, including 25% overheads: 3750,00€
  36 + | Item | Amount |
  37 + |--------------------------------------------------------------------------|---------:|
  38 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  39 + | Overheads (25%) | 750.00€ |
  40 + | **Total** | 3750.00€ |
27 41  
28   -### Task LPEQ
  42 +### Task LP.EQ
29 43  
30 44 - **Denomination**
31   - - The Role of Equivalence Relations in Scoring Programs
  45 + - Equivalence Relations in Scoring Programs
32 46 - **Description and expected results**
33   - - **Objectives**: Clarify the role of the equivalence relation, used to partition the event space, in the performance of methods and applications.
34   - - **Methods**: Investigate variations of the equivalence relation, eg considering only super-events instead of super- and sub-events, and the resulting effects.
35   - - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
36   - - **Links to other tasks**: [TODO] (preconditions and results)
37   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
38   - - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
  47 + - **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.
  48 + - **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.
  49 + - **Expected results**: Assessment on the effects of the variations of the equivalence relation on algorithms related to classes and respective probabilities.
  50 + - **Links to other tasks**:
  51 + - Preconditions from other tasks:
  52 + - 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.
  53 + - Results for other tasks:
  54 + - 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.
  55 + - **Partners and Institution roles**:
  56 + - Universidade de Évora, Principal contractor;
  57 + - **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.
39 58 - **Assigned team members**
40 59 - Francisco Coelho, Universidade de Évora
41 60 - Bruno Dinis, Universidade de Évora
42   -- **Person*Month**
43   - - [TODO]
  61 +- **Person * Month**
  62 + | Member | Percentage | Months | P*M |
  63 + |------------------|-----------:|:------:|----:|
  64 + | Francisco Coelho | 16.7% | 6 | 1.0 |
  65 + | Bruno Dinis | 16.7% | 6 | 1.0 |
  66 + | **Total** | | | 2.0 |
44 67 - **Deliverables**
45   - - Paper TWO in International Conference: M09 - M17
  68 + - A paper accepted in a A* or A international conference or Q1 journal, by 2026-02-01.
46 69 - **Budget**
47   - - Registration, travel, accommodation and food for conference TWO: 3000,00€
48   - - Total, including 25% overheads: 3750,00€
  70 + | Item | Amount |
  71 + |--------------------------------------------------------------------------|---------:|
  72 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  73 + | Overheads (25%) | 750.00€ |
  74 + | **Total** | 3750.00€ |
49 75  
50   -### Task LPERR
  76 +<!--
  77 +### Task LP.ERR
51 78  
52 79 - **Denomination**
53 80 - The Role of the Error Function
54 81 - **Description and expected results**
55 82 - **Objectives**: Explore the role of the error function, used to score a probabilistic ASP wrt observations, in the performance of methods and applications.
56 83 - **Methods**: Investigate variations of the error function, eg Kullback-Leibler divergence instead of the L2 used, observation sets form various domains, and the resulting effects.
57   - - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
  84 + - **Expected results**: One paper accepted in A* or A international conference or Q1 journal.
58 85 - **Links to other tasks**: [TODO] (preconditions and results)
59   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
60   - - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
  86 + - **Partners and Institution roles**: Universidade de Évora [TODO] [ROLES]
  87 + - **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.
61 88 - **Assigned team members**
62 89 - Francisco Coelho, Universidade de Évora
63 90 - Ligia Henriques-Rodrigues, Universidade de Évora
64   -- **Person*Month**
  91 +- **Person * Month**
65 92 - [TODO]
66 93 - **Deliverables**
67 94 - Paper THREE in International Conference: M01 - M08
68 95 - **Budget**
69   - - Registration, travel, accommodation and food for conference THREE: 3000,00€
70   - - Total, including 25% overheads: 3750,00€
  96 + - Registration, travel, accommodation and food for conference THREE: 3000.00€
  97 + - Total, including 25% overheads: 3750.00€
  98 +-->
71 99  
72   -### Task ISASTSE
  100 +### Task ISE
73 101  
74 102 - **Denomination**
75 103 - Inductive Stochastic Answer Set Programs by Space Exploration
76 104 - **Description and expected results**
77   - - **Objectives**: Proceed from scoring programs to induce ASP programs using genetic algorithms or other program space exploration methods.
78   - - **Methods**: Investigate program transformation and program space exploration methods and rules.
79   - - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal.
80   - - **Links to other tasks**: [TODO] (preconditions and results)
81   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
82   - - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food.
  105 + - **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).
  106 + - **Methods**: Investigate program transformation rules and program space exploration algorithms in the context of SASPs.
  107 + - **Expected results**: Compilation and assessment of program transformation rules and space explorations algorithms for SASPs.
  108 + - **Links to other tasks**:
  109 + - Preconditions from other tasks: None - this is an initial task, a continuation of already done research;
  110 + - Results for other tasks:
  111 + - 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).
  112 + - ISF: Induction of SASPs from data and background knowledge, in task ISF, requires the assessments of program space exploration algorithms and program transformation rules.
  113 + - **Partners and Institution roles**:
  114 + - Universidade de Évora, Principal contractor;
  115 + - **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.
83 116 - **Assigned team members**
84 117 - Francisco Coelho, Universidade de Évora
85 118 - Salvador Abreu, Universidade de Évora
86   -- **Person*Month**
87   - - [TODO]
  119 +- **Person * Month**
  120 + | Member | Percentage | Months | P*M |
  121 + |------------------|-----------:|:------:|----:|
  122 + | Francisco Coelho | 16.7% | 6 | 1.0 |
  123 + | Salvador Abreu | 16.7% | 6 | 1.0 |
  124 + | **Total** | | | 2.0 |
88 125 - **Deliverables**
89   - - Paper FOUR in International Conference: M01 - M09
  126 + - A paper accepted in a A* or A international conference or Q1 journal, by 2025-03-01.
90 127 - **Budget**
91   - - Registration, travel, accommodation and food for conference FOUR: 3000,00€
92   - - Total, including 25% overheads: 3750,00€
  128 + | Item | Amount |
  129 + |--------------------------------------------------------------------------|---------:|
  130 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  131 + | Overheads (25%) | 750.00€ |
  132 + | **Total** | 3750.00€ |
93 133  
94 134 ### Task ISF
95 135  
96 136 - **Denomination**
97 137 - Integration with existing ASP and ILP software frameworks
98 138 - **Description and expected results**
99   - - **Objectives**: Exploit and contribute to existing ASP frameworks, such as Potassco.
100   - - **Methods**: Implement a library to parse the ASP language extended with probabilistic annotations; utilize existing ASP frameworks to compute stable models; compute the event classes and respective probabilities.
101   - - **Expected Results**: A library, and the respective API, to parse extended ASP; interface with existing ASP frameworks; compute event classes and respective probabilities.
  139 + - **Objectives**: A library, and its documentation, to enable efficient SASP related computations: parsing, event classes and probabilities, induction.
  140 + - **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).
  141 + - **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.
102 142 - **Links to other tasks**:
103   - - Result: Task HPC; deliverable: Library API
104   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
105   - - **Justification for the needed resources**:
106   - - The implementation amount and complexity requires a fulltime PhD student working over a year, using a suitable laptop.
  143 + - 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.
  144 + - Results for other tasks:
  145 + - HPC: A proposed library API, to guide the implementation in the HPC task.
  146 + - ATS, RWC: These applied tasks require adequate software support, ie the library and documentation delivered by this task.
  147 + - **Partners and Institution roles**:
  148 + - Universidade de Évora, Principal contractor;
  149 + - **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.
107 150 - **Assigned team members**
108 151 - Francisco Coelho, Universidade de Évora
109 152 - BI Scholarship fellow, Universidade de Évora
110   -- **Person*Month**
111   - - [TODO]
  153 +- **Person * Month**
  154 + | Member | Percentage | Months | P*M |
  155 + |-----------------------|-----------:|:------:|-----:|
  156 + | Francisco Coelho | 16.7% | 12 | 2.0 |
  157 + | BI Scholarship fellow | 100.0% | 12 | 12.0 |
  158 + | **Total** | | | 14.0 |
112 159 - **Deliverables**
113   - - Software Library Repository: M03 - M15
114   - - Library API: M06
115   - - Implementation Report: M16
  160 + - Proposal for the library API, by 2024-12-01.
  161 + - Report documenting the features and progress in the library implementation, by 2025-03-01.
  162 + - Paper accepted in a A* or A international conference or Q1 journal, by 2025-06-01.
  163 + - Library, and the respective documentation, to parse SASP; interface with existing ASP frameworks; compute event classes and respective probabilities, by 2025-06-01.
  164 + - Completed PhD thesis, by 2025-09-01.
116 165 - **Budget**
117   - - Laptop computer: 2600,00€
118   - - BI Scholarship: 13735,68€ = 1144,64€ x 12 months
119   - - Total, including 25% overheads: 20419,60€
  166 + | Item | Amount |
  167 + |--------------------------------------------------------------------------|----------:|
  168 + | Laptop Computer | 2600.00€ |
  169 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  170 + | BI Scholarship (12 months, 1144.64€/month) | 13735.68€ |
  171 + | Overheads (25%) | 4833.92€ |
  172 + | **Total** | 24169.60€ |
120 173  
121 174 ### Task HPC
122 175  
123 176 - **Denomination**
124   - - High Performance Computing for Induction and Use of SASP
  177 + - High Performance Computing for Induction and Use of SASPs
125 178 - **Description and expected results**
126   - - **Objectives**: Use High Performance Computing systems to speedup and scale-up applications of our methods.
127   - - **Methods**: Benchmark the benefits of data and process distribution on High Performance Computing systems.
128   - - **Expected Results**: Report on the performance of the distributed versions of the programs to interface with existing ASP frameworks and compute event classes and respective probabilities.
  179 + - **Objectives**: Use High Performance Computing systems to speedup and scale-up applications of SASPs.
  180 + - **Methods**: Benchmark the benefits of data and process distribution for SASPs on High Performance Computing systems.
  181 + - **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;
129 182 - **Links to other tasks**:
130   - - Precondition: Task ISF; Deliverable: Library API
131   - - **Partners and Institution Roles**:
132   - - Universidade de Évora [ROLES]
133   - - High Performance Computing Chair [ROLES]
134   - - **Justification for the needed resources**: [TODO]
  183 + - Preconditions from other tasks:
  184 + - ISF: The proposed library API is utilized to guide this task implementation, in order to strive for compatibility.
  185 + - ISE: Results from task ISE will guide the implementation for induction of SASPs from data and background knowledge.
  186 + - Results for other tasks:
  187 + - ATS, RWC: These applied tasks require adequate software support, ie the library and documentation delivered by this task.
  188 + - **Partners and Institution roles**:
  189 + - Universidade de Évora, Principal contractor;
  190 + - High Performance Computing Chair, Partner institution;
  191 + - **Justification for the needed resources**:
  192 + - A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
  193 + - Adaptation of sequential programs to HPC systems requires expert consultation.
  194 + - An HPC system is required to this task.
135 195 - **Assigned team members**
136 196 - Francisco Coelho, Universidade de Évora
137   - - Miguel Avillez, High Performance Computing Chair
138   -- **Person*Month**
139   - - [TODO]
  197 + - Miguel Avillez, High Performance Computing Chair (as Consultant)
  198 +- **Person * Month**
  199 + | Member | Percentage | Months | P*M |
  200 + |------------------|-----------:|:------:|----:|
  201 + | Francisco Coelho | 16.7% | 12 | 2.0 |
  202 + | Miguel Avillez | 16.7% | 12 | 2.0 |
  203 + | **Total** | | | 4.0 |
140 204 - **Deliverables**
141   - - Software Library Repository: M06 - M18
142   - - Implementation Report: M18
  205 + - 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.
  206 + - Paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.
143 207 - **Budget**
144   - - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
145   - - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
  208 + | Item | Amount |
  209 + |--------------------------------------------------------------------------|---------:|
  210 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  211 + | HPC system | 1000.00€ |
  212 + | Overheads (25%) | 1000.00€ |
  213 + | **Total** | 5000.00€ |
146 214  
147   -### Task APPT
  215 +### Task ATS
148 216  
149 217 - **Denomination**
150   - - Applications of Stochastic ASP in Theoretic Scenarios
  218 + - Applications of SASPs in Theoretic Scenarios
151 219 - **Description and expected results**
152   - - **Objectives**: [TODO]
153   - - **Methods**: [TODO]
154   - - **Expected Results**: [TODO]
155   - - **Links to other tasks**: [TODO] (preconditions and results)
156   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
157   - - **Justification for the needed resources**: [TODO]
  220 + - **Objectives**: Evaluate SASP, and SASP induction, in some theoretic scenarios (toy problems) described in the relevant literature (eg Stochastic Plan Generation, Logic/Statistic Puzzles).
  221 + - **Methods**: Compile a set of theoretic problems; Evaluate hand-coded and induced SASPs on that set; Compare with state-of-the-art results.
  222 + - **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.
  223 + - **Links to other tasks**:
  224 + - Preconditions from other tasks: Libraries, and respective documentation, from tasks IFS and HPC.
  225 + - Results for other tasks: None - This is a final task.
  226 + - **Partners and Institution roles**:
  227 + - Universidade de Évora, Principal contractor;
  228 + - **Justification for the needed resources**:
  229 + - A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
  230 + - An HPC system is required to this task.
158 231 - **Assigned team members**
159   - - [TODO] Member
160   -- **Person*Month**
161   - - [TODO]
  232 + - Francisco Coelho, Universidade de Évora
  233 + - [TODO], [TODO]
  234 +- **Person * Month**
  235 + | Member | Percentage | Months | P*M |
  236 + |------------------|-----------:|:------:|----:|
  237 + | Francisco Coelho | 16.7% | 6 | 1.0 |
  238 + | [TODO] | 16.7% | 6 | 1.0 |
  239 + | **Total** | | | 2.0 |
162 240 - **Deliverables**
163   - - [TODO]Type and Description; evidences and results
  241 + - A paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.
164 242 - **Budget**
165   - - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
166   - - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
  243 + | Item | Amount |
  244 + |--------------------------------------------------------------------------|---------:|
  245 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  246 + | HPC system | 500.00€ |
  247 + | Overheads (25%) | 875.00€ |
  248 + | **Total** | 4375.00€ |
167 249  
  250 +<!--
168 251 ### Task APPS
169 252  
170 253 - **Denomination**
171   - - Applications of Stochastic ASP in Statistic Tasks
  254 + - Applications of SASPs in Statistic Tasks
172 255 - **Description and expected results**
173 256 - **Objectives**: [TODO]
174 257 - **Methods**: [TODO]
175   - - **Expected Results**: [TODO]
  258 + - **Expected results**: [TODO]
176 259 - **Links to other tasks**: [TODO] (preconditions and results)
177   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
  260 + - **Partners and Institution roles**: Universidade de Évora [TODO] [ROLES]
178 261 - **Justification for the needed resources**: [TODO]
179 262 - **Assigned team members**
180 263 - [TODO] Member
181   -- **Person*Month**
  264 +- **Person * Month**
182 265 - [TODO]
183 266 - **Deliverables**
184 267 - [TODO]Type and Description; evidences and results
185 268 - **Budget**
186 269 - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
187 270 - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
  271 +-->
188 272  
189   -### Task APPW
190 273  
191   -- **Denomination**
192   - - Applications of Stochastic ASP in Real World Cases
193   -- **Description and expected results**
194   - - **Objectives**: [TODO]
195   - - **Methods**: [TODO]
196   - - **Expected Results**: [TODO]
197   - - **Links to other tasks**: [TODO] (preconditions and results)
198   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
199   - - **Justification for the needed resources**: [TODO]
200   -- **Assigned team members**
201   - - [TODO] Member
202   -- **Person*Month**
203   - - [TODO]
204   -- **Deliverables**
205   - - [TODO]Type and Description; evidences and results
206   -- **Budget**
207   - - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
208   - - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
209 274  
210   -### Task TaskID
  275 +### Task RWC
211 276  
212 277 - **Denomination**
213   - - [TODO] concise and self-explanatory
  278 + - Applications of SASPs to Real World Cases
214 279 - **Description and expected results**
215   - - **Objectives**: [TODO]
216   - - **Methods**: [TODO]
217   - - **Expected Results**: [TODO]
218   - - **Links to other tasks**: [TODO] (preconditions and results)
219   - - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES]
220   - - **Justification for the needed resources**: [TODO]
  280 + - **Objectives**: Apply SASP, and SASP induction, to some real world cases described in the relevant literature (eg [TODO]).
  281 + - **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.
  282 + - **Expected results**: Assessment of the performance of hard-coded and induced SASPs on the selected problem; List of advantages and problems.
  283 + - **Links to other tasks**:
  284 + - Preconditions from other tasks: Libraries, and respective documentation, from tasks IFS and HPC.
  285 + - Results for other tasks: None - This is a final task.
  286 + - **Partners and Institution roles**:
  287 + - Universidade de Évora, Principal contractor;
  288 + - **Justification for the needed resources**:
  289 + - A member should present the results of this task in an international conference, requiring support for registration, travel, accommodation and food.
  290 + - An HPC system is required to this task.
221 291 - **Assigned team members**
222   - - [TODO] Member
223   -- **Person*Month**
224   - - [TODO]
  292 + - Francisco Coelho, Universidade de Évora
  293 + - [TODO], [TODO]
  294 +- **Person * Month**
  295 + | Member | Percentage | Months | P*M |
  296 + |------------------|-----------:|:------:|----:|
  297 + | Francisco Coelho | 16.7% | 6 | 1.0 |
  298 + | [TODO] | 16.7% | 6 | 1.0 |
  299 + | **Total** | | | 2.0 |
225 300 - **Deliverables**
226   - - [TODO]Type and Description; evidences and results
  301 + - A paper accepted in a A* or A international conference or Q1 journal, by 2026-03-01.
227 302 - **Budget**
228   - - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
229   - - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
  303 + | Item | Amount |
  304 + |--------------------------------------------------------------------------|---------:|
  305 + | Registration, travel, accommodation and food in international conference | 3000.00€ |
  306 + | HPC system | 500.00€ |
  307 + | Overheads (25%) | 875.00€ |
  308 + | **Total** | 4375.00€ |
230 309  
231 310 ## Project Timeline
232 311  
233   -```gantt
234   -title IAM
  312 +```mermaid
  313 +gantt
  314 +title Induction of Stochastic Answer Set Programs by Algebraic Means (IAM)
235 315 dateFormat YYYY-MM-DD
  316 +axisFormat %Y-%m
  317 +
  318 +section Theoretical
  319 + Logic Programs Structure and Properties (LP.SP) :lpsp, 2024-09-01, 6M
  320 + LP.SP Paper :milestone, lpsppaper, 2025-03-01, 0d
  321 + Inductive Stochastic Answer Set Programs by Space Exploration (ISE) :ise, 2024-09-01, 6M
  322 + ISE Paper :milestone, isepaper, 2025-03-01, 0d
  323 + Equivalence Relations in Scoring Programs (LP.EQ) :lpeq, 2025-03-01, 6M
  324 + LP.EQ Paper :milestone, lpeqpaper, 2025-09-01, 0d
  325 + #LPERR :lperr, 2025-09-01, 6M
  326 + #LPERR.PAPER :milestone, lpeqpaper, 2025-05-01, 0d
236 327  
237   -section Tasks
  328 +section Implementation
  329 + Integration with existing ASP and ILP software frameworks (ISF) :isf, 2024-09-01, 12M
  330 + ISF API :milestone, isfapi, 2024-12-01, 0d
  331 + ISF Report :milestone, isfreport, 2025-03-01, 0d
  332 + ISF Paper :milestone, isfpaper, 2025-06-01, 0d
  333 + ISF Library :milestone, isflibrary, 2025-06-01, 0d
  334 + ISF Thesis :milestone, isfthesis, 2025-09-01, 0d
  335 + High Performance Computing for Induction and Use of SASP (HPC) :after isfapi ise, 12M
  336 + HPC Report :milestone, hpcreport, 2025-09-01, 0d
  337 + HPC Paper :milestone, hpcpaper, 2026-03-01, 0d
  338 +
  339 +section Application
  340 + Applications of SASPs in Theoretic Scenarios (ATS) :appt, 2025-09-01, 6M
  341 + ATS Paper :milestone, apptpaper, 2026-03-01, 0d
  342 + #APPS :after appt, 4M
  343 + Applications of SASPs to Real World Cases (RWC) :appw, 2025-09-01, 6M
  344 + RWC Paper :milestone, appwpaper, 2026-03-01, 0d
238 345  
239   - task1 :a1, 2024-09-01, 30d
240 346 ```
241 347  
  348 +<!--
242 349 - **Project timeline and management.** list of milestones, the timeline and the description of the management structure
243 350 - **Milestones list**
244 351 - milestone = objective achieved; phase completed; result obtained
... ... @@ -250,4 +357,31 @@ section Tasks
250 357 - start with the available spreadsheet
251 358 - upload "timeline.pdf"
252 359 - Indicate **partner responsible for task**; **acronyms of partners involved**
253   - - **Management** project management structure: coordination; meetings; reporting structure
254 360 \ No newline at end of file
  361 + - **Management** project management structure: coordination; meetings; reporting structure
  362 +
  363 +-->
  364 +
  365 +<!--
  366 +
  367 +### Task TaskID
  368 +
  369 +- **Denomination**
  370 + - [TODO] concise and self-explanatory
  371 +- **Description and expected results**
  372 + - **Objectives**: [TODO]
  373 + - **Methods**: [TODO]
  374 + - **Expected results**: [TODO]
  375 + - **Links to other tasks**: [TODO] (preconditions and results)
  376 + - **Partners and Institution roles**: Universidade de Évora [TODO] [ROLES]
  377 + - **Justification for the needed resources**: [TODO]
  378 +- **Assigned team members**
  379 + - [TODO] Member
  380 +- **Person * Month**
  381 + - [TODO]
  382 +- **Deliverables**
  383 + - [TODO]Type and Description; evidences and results
  384 +- **Budget**
  385 + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call")
  386 + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates"
  387 +
  388 +-->
... ...
pex2024/tasks.pdf 0 → 100644
View file @3fd9813
No preview for this file type
zugzwang.code-workspace
  Diff comments   View file @3fd9813
... ... @@ -8,6 +8,9 @@
8 8 },
9 9 {
10 10 "path": "../../../prog/contrib/zugzwang"
  11 + },
  12 + {
  13 + "path": "../jupy"
11 14 }
12 15 ],
13 16 "settings": {
... ... @@ -17,6 +20,7 @@
17 20 "Hirings",
18 21 "interpretability",
19 22 "println",
  23 + "SASP",
20 24 "stablecore",
21 25 "testset",
22 26 "uminus"
... ...