Translating SUMO-K to Higher-Order Set Theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21730%2F23%3A00372139" target="_blank" >RIV/68407700:21730/23:00372139 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1007/978-3-031-43369-6_14" target="_blank" >https://doi.org/10.1007/978-3-031-43369-6_14</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-43369-6_14" target="_blank" >10.1007/978-3-031-43369-6_14</a>
Alternative languages
Result language
angličtina
Original language name
Translating SUMO-K to Higher-Order Set Theory
Original language description
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal interpretation. It also for the first time embeds a large common-sense ontology into an interactive theorem proving system. We further extend our previous work in finding contradictions in SUMO from first-order constructs to include a portion of SUMO’s higher-order constructs. Finally, using the translation, we can create problems that can be proven using higher-order interactive and automated theorem provers. This is tested in several systems and used to form a corpus of higher-order common-sense reasoning problems.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Frontiers of Combining Systems
ISBN
978-3-031-43368-9
ISSN
2945-9133
e-ISSN
1611-3349
Number of pages
20
Pages from-to
255-274
Publisher name
Springer
Place of publication
Cham
Event location
Praha
Event date
Sep 20, 2023
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
001156327100014