Blar i Master theses på emneord "First-order logic"
Viser treff 1-1 av 1
-
Automatic Encoding From Natural Language to First-Order Horn Clauses
(Master thesis, 2024-06-03)A central topic within the field of machine ethics, and other fields where moral reasoning is needed, is to incorporate large quanta of (moral) rules represented in natural language using a formal specification that can ...