Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jandson S Ribeiro"'
Autor:
Jandson S Ribeiro
Publikováno v:
CLEI Electronic Journal, Vol 24, Iss 1 (2021)
Dealing with dynamics is a vital problem in Artificial Intelligence (AI). An intelligent system should be able to perceive and interact with its environment to perform its tasks satisfactorily. To do so, it must sense external actions that might inte
Externí odkaz:
https://doaj.org/article/ebfa2fc5be104e55a781c46d77e41d80
Autor:
Jandson S. Ribeiro
Publikováno v:
Biblioteca Digital de Teses e Dissertações da USP
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
One of the main goals of Artificial Intelligence (AI) is to build rational agents that are capable of taking rational decisions autonomously. For this, it is essential to devise mechanisms to properly represent knowledge, and reason about the knowled
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::344b4a3ec73c09bccad93ac2835e5f3f
Autor:
Jandson S. Ribeiro, Matthias Thimm
Publikováno v:
KR
Restoring consistency of a knowledge base, known as consolidation, should preserve as much information as possible of the original knowledge base. On the one hand, the field of belief change captures this principle of minimal change via rationality p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9cd7fd48cd23cf901135274d3075252
https://doi.org/10.24963/kr.2021/50
https://doi.org/10.24963/kr.2021/50
Publikováno v:
AAAI
Scopus-Elsevier
Scopus-Elsevier
Belief change and non-monotonic reasoning are arguably different perspectives on the same phenomenon, namely, jettisoning of currently held beliefs in response to some incompatible evidence. Investigations in this area typically assume, among other t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ccabdaf7ce176dfb5f1783a202dcaf47
https://doi.org/10.1609/aaai.v33i01.33013019
https://doi.org/10.1609/aaai.v33i01.33013019
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030584481
SUM
SUM
We consider the problem of quantitatively assessing the conflict between knowledge bases in knowledge merging scenarios. Using the notion of Craig interpolation we define a series of disagreement measures and analyse their compliance with properties
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ae27f9d56540a5ff480bc47791ab224
https://doi.org/10.1007/978-3-030-58449-8_6
https://doi.org/10.1007/978-3-030-58449-8_6
Publikováno v:
IJCAI
The main paradigms of belief change require the background logic to be Tarskian and finitary. We look at belief update when the underlying logic is not necessarily finitary. We show that in this case the classical construction for KM update does not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::675d9ace183657670237d525dc409842
https://doi.org/10.24963/ijcai.2019/257
https://doi.org/10.24963/ijcai.2019/257
Publikováno v:
Formal Methods and Software Engineering ISBN: 9783319254227
ICFEM
ICFEM
In this work we address the problem of model checking a desired property specified in Computation Tree Logic (CTL) in the presence of partial information. The Kripke Modal Transition System (KMTS) is used for modelling due its capacity to represent i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6fcad638892f5474970db10c15dc779
https://doi.org/10.1007/978-3-319-25423-4_6
https://doi.org/10.1007/978-3-319-25423-4_6