“At least one” problem with “some” formal reasoning paradigms
نویسندگان
چکیده
منابع مشابه
“At least one” caching
We consider a variant of the caching problem, where each request is a set of pages of a fixed size, instead of a single page. In order to serve such a request, we require at least one of those pages to be present in the cache. Each page is assumed to have unit size and unit cost for getting loaded into the cache. We prove lower bounds on the competitive ratio for this problem in both the determ...
متن کاملThe Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
The model of tree automata with equality and disequality constraints was introduced in 2007 by Filiot, Talbot and Tison. In this paper we show that if there is at least one disequality constraint, the emptiness problem is NP-hard.
متن کاملAt Least Some Determiners Aren't Determiners
One of the success stories in formal semantics is the analysis of NPs as generalized quantifiers, which can be traced back from Barwise & Cooper (1981) via Montague to Frege. The great attraction of this analysis is that it allows for a compositional analysis of the meaning of noun phrases that is consistent with independently motivated assumptions about their syntax. For example, Barwise and C...
متن کاملReasoning for Moving Blocks Problem: Formal Representation and Implementation
The combined approach of the Qualitative Reasoning and Probabilistic Functions for the knowledge representation is proposed. The method aims at represent uncertain, qualitative knowledge that is essential for the moving blocks task’s execution. The attempt to formalize the commonsense knowledge is performed with the Situation Calculus language for reasoning and robot’s beliefs representation. T...
متن کاملThe Prevalence of at Least One-Time Substance Abuse among Kerman Pre-university Male Students
Background: Substance abuse is one of the main health problems in Iran and awareness about its spread and procedure of spread in the society, particularly the susceptible society of students, is very important with regard to the population pyramid of Iran. Methods: This study was performed by cross-sectional method. The sampling size was 610 male students in pre-university grade by a probabilis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Memory & Cognition
سال: 2008
ISSN: 0090-502X,1532-5946
DOI: 10.3758/mc.36.1.217