Edinburgh Research Explorer

Implicitly Learning to Reason in First-Order Logic (Extended Abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publication17th International Conference on Principles of Knowledge Representation and Reasoning
Number of pages2
Publication statusAccepted/In press - 23 Jul 2020
Event17th International Conference on Principles of Knowledge Representation and Reasoning - Rhodes, Greece
Duration: 12 Sep 202018 Sep 2020
https://kr2020.inf.unibz.it/

Conference

Conference17th International Conference on Principles of Knowledge Representation and Reasoning
Abbreviated titleKR 2020
CountryGreece
CityRhodes
Period12/09/2018/09/20
Internet address

Abstract

The tension between deduction and induction is perhaps the most fundamental issue in areas such as philosophy, cognition and artificial intelligence. The deduction camp concerns itself with questions about the expressiveness of formal languages for capturing knowledge about the world, together with proof systems for reasoning from such knowledge bases. The learning camp attempts to generalize from examples about partial descriptions about the world. In an influential paper, Valiant (2000) recognized that the challenge of learning should be integrated with deduction. In particular, he proposed a semantics to capture the quality possessed by the output of (probably approximately correct) PAC-learning algorithms when formulated in a logic. Although weaker than classical entailment, it allows for a powerful model theoretic framework for answering queries.

Event

ID: 158924551