Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Christos Moyzes"'
Autor:
Costas D. Koutras, Konstantinos Liaskos, Christos Moyzes, Christos Nomikos, Christos Rantsoudis
Publikováno v:
Annals of Mathematics and Artificial Intelligence. 90:397-424
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ae1d5468d923d9d1525dbc6788bf54e
https://doi.org/10.1007/s10472-021-09779-7
https://doi.org/10.1007/s10472-021-09779-7
Publikováno v:
Logic Journal of the IGPL. 31:68-95
Weak filters were introduced by K. Schlechta in the ’90s with the aim of interpreting defaults via a generalized ‘most’ quantifier in first-order logic. They arguably represent the largest class of structures that qualify as a ‘collection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::99ea2d1b8ae7536799958af3afc5a62b
https://doi.org/10.1093/jigpal/jzab030
https://doi.org/10.1093/jigpal/jzab030
Publikováno v:
Journal of Logic and Computation. 27:2303-2339
We introduce KBE, a modal epistemic logic for reasoning about Knowledge, Belief and Estimation, three attitudes involved in an agent's decision-making process. In our logic, Knowledge and Belief are captured by S4.2, a modal logic holding a distingui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04df7133f33643241e453040fd29dfda
https://doi.org/10.1093/logcom/exx016
https://doi.org/10.1093/logcom/exx016
Publikováno v:
JOURNAL OF LOGIC AND COMPUTATION
We develop a logic for reasoning about semi-public environments , i.e. environments in which a process is executing, and where agents in the environment have partial and potentially different views of the process. Previous work on this problem illust
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::74e334df025dfdda0f962bb502bdc29c
https://doi.org/10.1093/logcom/exv086
https://doi.org/10.1093/logcom/exv086
Publikováno v:
SAC
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 166 (2), pp.167-197. ⟨10.3233/FI-2019-1799⟩
Fundamenta Informaticae
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2019, 166 (2), pp.167-197. ⟨10.3233/FI-2019-1799⟩
International audience; Default conditionals are statements that express a condition of normality, in the form ‘if φ then normally ψ’ and are of primary importance in Knowledge Representation. There exist modal approaches to the construction of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a9c02887bb7d19bbef4c268e838b6f0
https://doi.org/10.1145/3019612.3019714
https://doi.org/10.1145/3019612.3019714
Publikováno v:
Logics in Artificial Intelligence ISBN: 9783319115573
JELIA
JELIA
We introduce KBE, a modal epistemic logic for reasoning about Knowledge, Belief and Estimation, three attitudes involved in an agent's decision-making process. In our logic, Knowledge and Belief are captured by S4.2, a modal logic holding a distingui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9d141c493a836d546e8a4ef5df817f3
https://doi.org/10.1007/978-3-319-11558-0_47
https://doi.org/10.1007/978-3-319-11558-0_47
Publikováno v:
Logics in Artificial Intelligence ISBN: 9783319115573
JELIA
JELIA
We investigate the minimal knowledge approach of Halpern-Moses 'only knowing' in the context of two syntactic variants of stable belief sets that aim in avoiding the unreasonably perfect omniscient agent modelled in R. Stalnaker's original definition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8b11fcb0f543829f1bae424f0229f0f
https://doi.org/10.1007/978-3-319-11558-0_20
https://doi.org/10.1007/978-3-319-11558-0_20
Publikováno v:
Artificial Intelligence: Methods and Applications ISBN: 9783319070636
SETN
SETN
The modality ‘true in many cases’ is used to handle non-classical patterns of reasoning, like ‘probably φ is the case’ or ‘normally φ holds’. It is of interest in Knowledge Representation as it has found interesting applications in Epis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc1814ed92addecc5f754d2770bbff4f
https://doi.org/10.1007/978-3-319-07064-3_17
https://doi.org/10.1007/978-3-319-07064-3_17
Publikováno v:
University of Groningen
IJCAI
IJCAI
In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ffcf2cb21c2cba128f1f2f5b545e743b
https://research.rug.nl/en/publications/f75e907f-202a-4482-b582-4a366182c843
https://research.rug.nl/en/publications/f75e907f-202a-4482-b582-4a366182c843