Zobrazeno 1 - 10
of 368
pro vyhledávání: '"Atomic sentence"'
Publikováno v:
Autonomous Robots. 46:149-174
We present a method for learning multi-stage tasks from demonstrations by learning the logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula. The learner is given successful but potentially suboptimal demonstra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a3bdc68b405f940c6baab4418be64f4
https://doi.org/10.1007/s10514-021-10004-x
https://doi.org/10.1007/s10514-021-10004-x
Publikováno v:
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ACM transactions on computational logic
ACM transactions on computational logic
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, this problem is undecidable; but we
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::271c9b88958a419bb3f60f6b4a59cd04
https://doi.org/10.1145/3427955
https://doi.org/10.1145/3427955
Autor:
Dustin D. Klinger
Publikováno v:
Nazariyat: Journal for the History of Islamic Philosophy and Sciences, Vol 5, Iss 2, Pp 59-80 (2019)
In logic, Quṭb al-Dīn al-Razī was broadly an orthodox Avicennan. However, in his enormously infuential commentary on al-Urmawī’s logic handbook Maṭāliʿ al-anwār, he explicitly criticizes Avicenna and advances a novel analysis of atomic pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c9fa11d57d8c8b0b7338ee2415dd518
https://doi.org/10.12658/nazariyat.5.2.m0073en
https://doi.org/10.12658/nazariyat.5.2.m0073en
Autor:
Silver Bronzo
Publikováno v:
Synthese. 198:3099-3130
It is almost universally accepted that the Frege–Geach Point is necessary for explaining the inferential relations and compositional structure of truth-functionally complex propositions. I argue that this claim rests on a disputable view of proposi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5cd47fcdf8058d4e38ab1b448c0f66ae
https://doi.org/10.1007/s11229-019-02270-1
https://doi.org/10.1007/s11229-019-02270-1
Publikováno v:
Journal of the ACM. 66:1-31
We show how to construct temporal testers for the logic MITL, a prominent linear-time logic for real-time systems. A temporal tester is a transducer that inputs a signal holding the Boolean value of atomic propositions and outputs the truth value of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7e29b1a3e48c09895b94098dfa728c72
https://doi.org/10.1145/3286976
https://doi.org/10.1145/3286976
Autor:
Arvid Båve
Publikováno v:
The Journal of Philosophy. 116:181-205
I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward di
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ca813c901887b1996dd4b894bb7c032
https://doi.org/10.5840/jphil2019116412
https://doi.org/10.5840/jphil2019116412
This paper investigates a collaborative rover-copter path planning and exploration with temporal logic specifications under uncertain environments. The objective of the rover is to complete a mission expressed by a syntactically co-safe linear tempor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4e9783d23614e584745f02e2d3d92818
Publikováno v:
Robotics: Science and Systems
We present a method for learning multi-stage tasks from demonstrations by learning the logical structure and atomic propositions of a consistent linear temporal logic (LTL) formula. The learner is given successful but potentially suboptimal demonstra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0eaabcf0c3d203a18be91d2504f8f987
http://arxiv.org/abs/2006.02411
http://arxiv.org/abs/2006.02411
Autor:
Orna Kupferman
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030617387
RP
RP
Design and control of multi-agent systems correspond to the synthesis of winning strategies in games that model the interaction between the agents. In games with full observability, the strategies of players depend on the full history of the play. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1fb0f4dbd81263b641eb86b18e1da466
https://doi.org/10.1007/978-3-030-61739-4_2
https://doi.org/10.1007/978-3-030-61739-4_2
Autor:
Nevin Climenhaga
The epistemic probability of A given B is the degree to which B evidentially supports A, or makes A plausible. This paper is a first step in answering the question of what determines the values of epistemic probabilities. I break this question into t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f71c9b90f80459cfcde89099539de7b
https://acuresearchbank.acu.edu.au/item/8x407/the-structure-of-epistemic-probabilities
https://acuresearchbank.acu.edu.au/item/8x407/the-structure-of-epistemic-probabilities