Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Naveen Sundar G"'
Autor:
Selmer Bringsjord, Michael Giancola, Naveen Sundar Govindarajulu, John Slowik, James Oswald, Paul Bello, Micah Clark
Publikováno v:
Frontiers in Artificial Intelligence, Vol 6 (2024)
Formal deductive logic, used to express and reason over declarative, axiomatizable content, captures, we now know, essentially all of what is known in mathematics and physics, and captures as well the details of the proofs by which such knowledge has
Externí odkaz:
https://doaj.org/article/3f07fd3f5c6b4f08889cc81d6263e7bf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Selmer Bringsjord, Alex Haig, Simon Ellis, Pauline Oliveros, Joe Valerio, Jonas Braasch, Naveen Sundar G
Publikováno v:
Atlantis Thinking Machines ISBN: 9789462390843
We embrace a “middle-standard” view of creativity in AI, according to which the driving goal is to engineer computational systems able to “trick” humans into regarding them to be human-level creative. We then report upon three versions of our
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b09e04f09548092212315cd9a3612fab
https://doi.org/10.2991/978-94-6239-085-0_14
https://doi.org/10.2991/978-94-6239-085-0_14
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 311, Iss Proc. ARCADE 2019, Pp 43-49 (2019)
In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems. Logics for modeling ethical theories, and their automated reasoners, have require
Externí odkaz:
https://doaj.org/article/97603d6d044f450ca37e1095da42fe6c
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.