A Semantics for 'Typically' in First-Order Default Reasoning

Autor:	Gergei Bana, Mitsuhiro Okada
Rok vydání:	2021
Předmět:	Possible world Set (abstract data type) Theoretical computer science Semantics (computer science) Generalization Computer science Classical logic Embedding First order Default reasoning
Zdroj:	New Frontiers in Artificial Intelligence ISBN: 9783030799410 JSAI-isAI Workshops
DOI:	10.1007/978-3-030-79942-7_1
Popis:	We present a new semantics for first-order conditional logic, which is a generalization of that of Friedman, Halpern and Koller [7]. We utilize Fitting’s embedding of first-order classical logic in first-order S4 to define our semantics. We explain our semantics by showing how it works on the connective expressing “typically implies”. We argue that it has a number of good properties, in particular, it is more adjustable to special situations than that of [7]. For example, we can make sense of nested conditional implications even when a conditional implication does not necessarily hold on the entire set of possible worlds, but where-ever it is satisfied, the conclusion is typically satisfied.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::204e7cf355ef011509a68b2d914b22d8 https://doi.org/10.1007/978-3-030-79942-7_1 Zobrazit plný text záznamu