probabilistic-dynamic-semantics.github.io/components.html at main · probabilistic-dynamic-semantics/probabilistic-dynamic-semantics.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
<!DOCTYPE html>
<html lang="en" data-theme="dark">
  <head>
    <meta charset="utf-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">

    <title>probabilistic dynamic semantics - components</title>

    <!-- Fonts -->
    <link rel="stylesheet" href="https://fonts.googleapis.com/css2?family=Raleway:wght@400;500;600&family=Roboto:wght@300;400;500&display=swap">

    <!-- Bootstrap -->
    <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css">

    <!-- Site styles -->
    <link rel="stylesheet" href="./css/styles.css">

    <!-- jQuery + Bootstrap JS -->
    <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js" type="text/javascript"></script>
    <script src="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/js/bootstrap.min.js"></script>

    <!-- Print + screen -->
    <link rel="stylesheet" type="text/css" href="./css/screen.css">
    <link rel="stylesheet" type="text/css" media="print" href="./css/print.css">
  </head>

  <body>
    <div class="container">
      <nav id="navbar" class="navbar navbar-default navbar-fixed-top">
        <div class="container">
          <div class="navbar-header">
            <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
              <span class="sr-only">Toggle navigation</span>
              <span class="icon-bar"></span>
              <span class="icon-bar"></span>
              <span class="icon-bar"></span>
            </button>
          </div>

          <div class="navbar-collapse collapse">
<ul class="nav navbar-nav"><li><a href="index.html">about</a></li><li class="active"><a href="components.html">components</a></li><li><a href="writing.html">writing</a></li><li><a href="documentation.html">documentation</a></li><li><a href="installation.html">installation</a></li><li><a href="quickstart.html">quick start</a></li></ul>
</div>
        </div>
      </nav>

      <div class="row">
        <main role="main" class="col-md-10">
          <h2 id="components">Components</h2>
<ul>
<li><a href="https://github.com/probabilistic-dynamic-semantics/pds/tree/main/src/Framework"><code>Framework</code></a>:
<ul>
<li>An encoding of Combinatory Categorial Grammar (CCG)-based grammar fragments, as well as a CKY-style parser with string-based (instead of span-based) memoization.</li>
<li>A framework for typed λ-calculus based on δ-rules, which transform complex semantic representations into simpler (but equivalent) typed probabilistic models.</li>
<li>Code for transforming typed λ-terms into models in the <a href="https://mc-stan.org/">Stan</a> programming language.</li>
</ul></li>
<li><a href="https://github.com/probabilistic-dynamic-semantics/pds/tree/main/src/Theory"><code>Theory</code></a>:
<ul>
<li>An encoding of theories of formal pragmatics, including common grounds and Questions Under Discussion (QUDs).</li>
</ul></li>
<li><a href="https://github.com/probabilistic-dynamic-semantics/pds/tree/main/src/Analysis"><code>Analysis</code></a>:
<ul>
<li>Analyses of particular natural language phenomena, including factivity and vagueness.</li>
</ul></li>
</ul>
          <br>
          <a href="https://github.com/probabilistic-dynamic-semantics" onclick="ga('send', 'event', 'link', 'click', 'github');">
            <img src="images/GitHub-Mark-32px.png">
          </a>
        </main>
      </div>

      <footer class="text-muted small">
        Site proudly generated by
        <a href="http://jaspervdj.be/hakyll">Hakyll</a>
      </footer>
    </div>

    <!-- Floating theme toggle -->
    <button id="theme-toggle" class="theme-toggle" aria-label="Toggle light / dark mode" title="Toggle light / dark mode">
      <!-- 🌙 -->
    </button>

    <!-- Theme toggle logic -->
    <script>
    (function () {
      const root = document.documentElement;
      const toggle = document.getElementById("theme-toggle");

      const saved = localStorage.getItem("theme");
      if (saved) {
        root.dataset.theme = saved;
      }

      // toggle.textContent =
        // root.dataset.theme === "light" ? "🌙" : "☀️";

      toggle.addEventListener("click", function () {
        const next =
          root.dataset.theme === "light" ? "dark" : "light";
        root.dataset.theme = next;
        localStorage.setItem("theme", next);
        // toggle.textContent = next === "light" ? "🌙" : "☀️";
      });
    })();
    </script>
  </body>
</html>