Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Hybrid models of reasoning

2020/37/B/HS1/04220

Keywords:

models of reasoning natural language provers deep neural networks

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • HS1_6: Nature of human mind (incl. mind's evolution, bio-psychological conditions of cognition, artificial intelligence)

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Maciej Malicki 

Number of co-investigators in the project: 5

Call: OPUS 19 - announced on 2020-03-16

Amount awarded: 878 880 PLN

Project start date (Y-m-d): 2021-10-01

Project end date (Y-m-d): 2024-09-30

Project duration:: 36 months (the same as in the proposal)

Project status: Project completed

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.