نتایج جستجو برای: practical reasoning
تعداد نتایج: 306649 فیلتر نتایج به سال:
We argue that intentions are beliefs—beliefs that are held in light of, and made rational by, practical reasoning. To intend to do something is neither more nor less than to believe, on the basis of one’s practical reasoning, that one will do it. The identification of the mental state of intention with the mental state of belief is what we call strong cognitivism about intentions. It is a stron...
Sledgehammer is a highly successful subsystem of Isabelle/HOL that calls automatic theorem provers to assist with interactive proof construction. It requires no user configuration: it can be invoked with a single mouse gesture at any point in a proof. It automatically finds relevant lemmas from all those currently available. An unusual aspect of its architecture is its use of unsound translatio...
Reasoning about what is best for an agent to do in a particular situation is a challenging task. What makes it even more challenging in a dynamic environment is the existence of norms that aim to regulate a self-interested agent’s behaviour. Practical reasoning is reasoning about what to do in a given situation, particularly in the presence of conflicts between the agent’s practical attitude su...
This paper describes a new approach to representing space and time for practical reasoning. Unlike R, the new models can represent a bounded region of space using only finitely many cells, so they can be manipulated directly. Unlike Z n , they have useful notions of function continuity and region connectedness. Finally, the topology of space is allowed to depend on the situation being represent...
DiPRA (Distributed Practical Reasoning Architecture) implements the main principles of practical reasoning via the distributed action selection paradigm. We introduce and motivate the underlying theoretical and computational peculiarities of DiPRA and we describe its components, also providing as a case study a guards-and-thieves task.
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated reasoning techniques to be used on, and by, the agents themselves. The possible worlds semantics offered by modal logic has proved to be a successful framework in which to model mental attitudes of agents such as belie...
This paper argues that practical reasoning is a mental process which leads a person from a set of existent mental states to an intention. In Section 1, I defend this view against two other proposals according to which practical reasoning either concludes in an action itself or in a normative belief. Section 2 discusses the correctness of practical reasoning and explains how the correctness of i...
Is knowledge necessary or sufficient or both necessary and sufficient for acceptable practical reasoning and rational action? Several authors (e.g., Williamson, Hawthorne, and Stanley) have recently argued that the answer to these questions is positive. In this paper I present several objections against this view (both in its basic form as well in more developed forms). I also offer a sketch of...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید