Commit d8ddebb2dfadf036ca5a5f6636b1fbd74ec16a18
1 parent
4fffc2cd
Exists in
master
Started KR paper
Showing
6 changed files
with
15 additions
and
67 deletions
Show diff stats
notes.md
| @@ -20,7 +20,8 @@ | @@ -20,7 +20,8 @@ | ||
| 20 | - Clarify the role of "testing of the prior distributions" | 20 | - Clarify the role of "testing of the prior distributions" |
| 21 | - Give a general argument [about Bayesian networks] instead of an illustration on a simple example. | 21 | - Give a general argument [about Bayesian networks] instead of an illustration on a simple example. |
| 22 | 22 | ||
| 23 | -See [Reviews file](file://text/paper_01/LLNCS/reviews_IJCAR24.md). | 23 | +See [Reviews file](text/paper_01/LLNCS/reviews_IJCAR24.md). |
| 24 | + | ||
| 24 | 25 | ||
| 25 | 26 | ||
| 26 | - Para ICLP24 | 27 | - Para ICLP24 |
| @@ -28,6 +29,10 @@ See [Reviews file](file://text/paper_01/LLNCS/reviews_IJCAR24.md). | @@ -28,6 +29,10 @@ See [Reviews file](file://text/paper_01/LLNCS/reviews_IJCAR24.md). | ||
| 28 | - Considerar scasp. | 29 | - Considerar scasp. |
| 29 | - Para KR24 | 30 | - Para KR24 |
| 30 | - Mais formal. | 31 | - Mais formal. |
| 32 | +- Overleaf | ||
| 33 | + - authentication key: olp_1oPNhAUwN9ihvWzd4n92hEd9UQUbK44ul5Gg | ||
| 34 | + - zw-kr: git clone https://git@git.overleaf.com/65f422781f1d04e2c0aefd56 | ||
| 35 | + - zw-iclp: git clone https://git@git.overleaf.com/65f422dc70a60d8ab7fde402 | ||
| 31 | 36 | ||
| 32 | ## 2024-01-30 - Exploratory Research Project | 37 | ## 2024-01-30 - Exploratory Research Project |
| 33 | 38 | ||
| @@ -201,8 +206,13 @@ What should be the **task for the scholarship student**? _Use the `Python` API o | @@ -201,8 +206,13 @@ What should be the **task for the scholarship student**? _Use the `Python` API o | ||
| 201 | - Get stable models from potassco/s(casp) | 206 | - Get stable models from potassco/s(casp) |
| 202 | - other? | 207 | - other? |
| 203 | 208 | ||
| 204 | - | ||
| 205 | ## 2022-12-05 | 209 | ## 2022-12-05 |
| 206 | 210 | ||
| 207 | - Created shared folder (gdrive:zugzwang) <https://drive.google.com/drive/folders/1xs-cjxWJzn2JxqeNgh9LX5xWN50BW-Be?usp=share_link> | 211 | - Created shared folder (gdrive:zugzwang) <https://drive.google.com/drive/folders/1xs-cjxWJzn2JxqeNgh9LX5xWN50BW-Be?usp=share_link> |
| 208 | -- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. | ||
| 209 | \ No newline at end of file | 212 | \ No newline at end of file |
| 213 | +- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. | ||
| 214 | + | ||
| 215 | +## Resources | ||
| 216 | + | ||
| 217 | +### Conferences | ||
| 218 | + | ||
| 219 | +- [Conferences Sheet](https://docs.google.com/spreadsheets/d/1KJdA-zj3Xly-_tSE6tjbd7M9SttC9xBixXoqWZJFVfg/edit#gid=0) | ||
| 210 | \ No newline at end of file | 220 | \ No newline at end of file |
text/Empty File
| @@ -0,0 +1 @@ | @@ -0,0 +1 @@ | ||
| 1 | +Subproject commit 199ef143774435c7a0883f2baf6317e8aad60223 |
| @@ -0,0 +1 @@ | @@ -0,0 +1 @@ | ||
| 1 | +Subproject commit 540f71b89583c67a27c8a8e5cd79a270152008bb |
text/meetings.md
| @@ -1,61 +0,0 @@ | @@ -1,61 +0,0 @@ | ||
| 1 | -## Zugzwang Meetings | ||
| 2 | - | ||
| 3 | -### 2023-02-28 | 15:00 | Looking for Application Examples | ||
| 4 | - | ||
| 5 | -> What **applications** are we looking for? | ||
| 6 | -> - (Stochastic) Plan Generation | ||
| 7 | -> - Yale-Shooting Problem | ||
| 8 | -> - (Stochastic) Situation Calculus | ||
| 9 | -> - Frame Problem | ||
| 10 | -> - Given a **Bayesian Network** (or a **Markov Networks**): | ||
| 11 | -> - Represent it. | ||
| 12 | -> - Solve the common probability tasks: marginals, conditionals, parameter learning, inferring unobserved variables, sample generation, _etc._ | ||
| 13 | -> - Given a _solved_ ASP specification: | ||
| 14 | -> - What is the marginal probability of the atom `a`? | ||
| 15 | -> - What other probability queries are important to consider? | ||
| 16 | -> - Given an _unsolved_ ASP specification: | ||
| 17 | -> - What is the probability (distribution?) of the probabilistic fact `a`? | ||
| 18 | -> - What other questions are relevant? E.g. the distribution family of a fact? | ||
| 19 | -> - Given a _solved_ ASP specification and a set of _samples_: | ||
| 20 | -> - How do the probabilities inferred from the specification match the ones from the empiric distribution? | ||
| 21 | -> - Given two _solved_ ASP specification and a set of _samples_: | ||
| 22 | -> - Which specification best describes the empiric distribution? | ||
| 23 | -> | ||
| 24 | -> What should be the **task for the scholarship student**? _Use the `Python` API of `clingo`._ | ||
| 25 | -> 1. Read a string and extract probability annotations; Associate those annotations with the respective atoms. | ||
| 26 | -> 2. Call `clingo` to get stable models. | ||
| 27 | -> 3. Support **computation of the equivalence classes**: _Which functions and relations?_ | ||
| 28 | -> 4. Compute event probability using _weighted model counting_ on the equivalence classes. | ||
| 29 | -> 5. Read a Bayesian Network from a file (`BIF`, `DSC`, `NET`, `RDA`, `RDS`, ...) and generate an annotated "ASP" specification. | ||
| 30 | -> | ||
| 31 | -> 2022 | AAAI | Inference and Learning with Model Uncertainty in Probabilistic Logic Programs | ||
| 32 | -> - Is **"Epistemic Uncertainty (EU)"** the right framework for Zugzwang? How relevant are the epistemic questions in this paper to our work? | ||
| 33 | -> - EU can be represented by _Credal Sets, Subjective Logic_ and _Beta Distributions_? | ||
| 34 | -> - **Experiments** made with BNs from [(Kaplan and Ivanovska 2018)](https://www.sciencedirect.com/science/article/pii/S0888613X17302384) and larger networks from the [BNLearn repository](https://www.bnlearn.com/bnrepository). | ||
| 35 | -> - **Are networks, Bayesian Networks in particular, a "good enough" pool of "example applications" to us, for now?** | ||
| 36 | - | ||
| 37 | -### 2023-01-10 | 15:00 | ||
| 38 | - | ||
| 39 | -- Paper | ||
| 40 | -- Project | ||
| 41 | -- Latent Facts | ||
| 42 | - | ||
| 43 | -### 2022-12-12 | ||
| 44 | - | ||
| 45 | -- Is the project proposal ok? How long/detailed should it be? | ||
| 46 | -- Initial exploratory code `event_lattice.py` and `EventLattice.ipynb` done. | ||
| 47 | -- Start writing paper: Introduction, state of the art, motivation | ||
| 48 | - - Identify key problems | ||
| 49 | - - Target Conferences | ||
| 50 | - - KR; | ||
| 51 | - - [ICLP](https://waset.org/language-planning-conference-in-april-2023-in-lisbon); | ||
| 52 | - - [ECAI](https://ecai2023.eu/) | ||
| 53 | -- Next task for prototype: | ||
| 54 | - - Get stable models from potassco/s(casp) | ||
| 55 | - - other? | ||
| 56 | - | ||
| 57 | - | ||
| 58 | -### 2022-12-05 | ||
| 59 | - | ||
| 60 | -- Created shared folder (gdrive:zugzwang) <https://drive.google.com/drive/folders/1xs-cjxWJzn2JxqeNgh9LX5xWN50BW-Be?usp=share_link> | ||
| 61 | -- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. | ||
| 62 | \ No newline at end of file | 0 | \ No newline at end of file |