From d8ddebb2dfadf036ca5a5f6636b1fbd74ec16a18 Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Fri, 15 Mar 2024 14:21:38 +0000 Subject: [PATCH] Started KR paper --- notes.md | 16 +++++++++++++--- text/Empty File | 0 text/iclp24 | 1 + text/kr24 | 1 + text/meetings.md | 61 ------------------------------------------------------------- zugzwang.code-workspace | 3 --- 6 files changed, 15 insertions(+), 67 deletions(-) delete mode 100644 text/Empty File create mode 160000 text/iclp24 create mode 160000 text/kr24 delete mode 100644 text/meetings.md diff --git a/notes.md b/notes.md index 8e6bb26..92ee655 100644 --- a/notes.md +++ b/notes.md @@ -20,7 +20,8 @@ - Clarify the role of "testing of the prior distributions" - Give a general argument [about Bayesian networks] instead of an illustration on a simple example. -See [Reviews file](file://text/paper_01/LLNCS/reviews_IJCAR24.md). +See [Reviews file](text/paper_01/LLNCS/reviews_IJCAR24.md). + - Para ICLP24 @@ -28,6 +29,10 @@ See [Reviews file](file://text/paper_01/LLNCS/reviews_IJCAR24.md). - Considerar scasp. - Para KR24 - Mais formal. +- Overleaf + - authentication key: olp_1oPNhAUwN9ihvWzd4n92hEd9UQUbK44ul5Gg + - zw-kr: git clone https://git@git.overleaf.com/65f422781f1d04e2c0aefd56 + - zw-iclp: git clone https://git@git.overleaf.com/65f422dc70a60d8ab7fde402 ## 2024-01-30 - Exploratory Research Project @@ -201,8 +206,13 @@ What should be the **task for the scholarship student**? _Use the `Python` API o - Get stable models from potassco/s(casp) - other? - ## 2022-12-05 - Created shared folder (gdrive:zugzwang) -- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. \ No newline at end of file +- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. + +## Resources + +### Conferences + +- [Conferences Sheet](https://docs.google.com/spreadsheets/d/1KJdA-zj3Xly-_tSE6tjbd7M9SttC9xBixXoqWZJFVfg/edit#gid=0) \ No newline at end of file diff --git a/text/Empty File b/text/Empty File deleted file mode 100644 index e69de29..0000000 --- a/text/Empty File +++ /dev/null diff --git a/text/iclp24 b/text/iclp24 new file mode 160000 index 0000000..199ef14 --- /dev/null +++ b/text/iclp24 @@ -0,0 +1 @@ +Subproject commit 199ef143774435c7a0883f2baf6317e8aad60223 diff --git a/text/kr24 b/text/kr24 new file mode 160000 index 0000000..540f71b --- /dev/null +++ b/text/kr24 @@ -0,0 +1 @@ +Subproject commit 540f71b89583c67a27c8a8e5cd79a270152008bb diff --git a/text/meetings.md b/text/meetings.md deleted file mode 100644 index 5dd4117..0000000 --- a/text/meetings.md +++ /dev/null @@ -1,61 +0,0 @@ -## Zugzwang Meetings - -### 2023-02-28 | 15:00 | Looking for Application Examples - -> What **applications** are we looking for? -> - (Stochastic) Plan Generation -> - Yale-Shooting Problem -> - (Stochastic) Situation Calculus -> - Frame Problem -> - Given a **Bayesian Network** (or a **Markov Networks**): -> - Represent it. -> - Solve the common probability tasks: marginals, conditionals, parameter learning, inferring unobserved variables, sample generation, _etc._ -> - Given a _solved_ ASP specification: -> - What is the marginal probability of the atom `a`? -> - What other probability queries are important to consider? -> - Given an _unsolved_ ASP specification: -> - What is the probability (distribution?) of the probabilistic fact `a`? -> - What other questions are relevant? E.g. the distribution family of a fact? -> - Given a _solved_ ASP specification and a set of _samples_: -> - How do the probabilities inferred from the specification match the ones from the empiric distribution? -> - Given two _solved_ ASP specification and a set of _samples_: -> - Which specification best describes the empiric distribution? -> -> What should be the **task for the scholarship student**? _Use the `Python` API of `clingo`._ -> 1. Read a string and extract probability annotations; Associate those annotations with the respective atoms. -> 2. Call `clingo` to get stable models. -> 3. Support **computation of the equivalence classes**: _Which functions and relations?_ -> 4. Compute event probability using _weighted model counting_ on the equivalence classes. -> 5. Read a Bayesian Network from a file (`BIF`, `DSC`, `NET`, `RDA`, `RDS`, ...) and generate an annotated "ASP" specification. -> -> 2022 | AAAI | Inference and Learning with Model Uncertainty in Probabilistic Logic Programs -> - Is **"Epistemic Uncertainty (EU)"** the right framework for Zugzwang? How relevant are the epistemic questions in this paper to our work? -> - EU can be represented by _Credal Sets, Subjective Logic_ and _Beta Distributions_? -> - **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). -> - **Are networks, Bayesian Networks in particular, a "good enough" pool of "example applications" to us, for now?** - -### 2023-01-10 | 15:00 - -- Paper -- Project -- Latent Facts - -### 2022-12-12 - -- Is the project proposal ok? How long/detailed should it be? -- Initial exploratory code `event_lattice.py` and `EventLattice.ipynb` done. -- Start writing paper: Introduction, state of the art, motivation - - Identify key problems - - Target Conferences - - KR; - - [ICLP](https://waset.org/language-planning-conference-in-april-2023-in-lisbon); - - [ECAI](https://ecai2023.eu/) -- Next task for prototype: - - Get stable models from potassco/s(casp) - - other? - - -### 2022-12-05 - -- Created shared folder (gdrive:zugzwang) -- Refine project tasks, for Bachelor, M.Sc., Ph.D. students and for researchers. \ No newline at end of file diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace index 5c9d479..3d87d30 100644 --- a/zugzwang.code-workspace +++ b/zugzwang.code-workspace @@ -14,9 +14,6 @@ }, { "path": "../../cv/2024" - }, - { - "path": "../../voar/concursos/2023 | Associado" } ], "settings": { -- libgit2 0.21.2