Reasoning About Information Provided by Bots
نویسندگان
چکیده
منابع مشابه
Reasoning about Norms Provided by Connicting Regulations
It often happens that several diierent regulations apply to a given organization. And sometimes, these regulations are connicting, that is, for instance, one regulation says that it is forbidden to do some action while another says it is permitted to do the same action. In this paper, we present a logic, called FUSION, to reason when several regulations are merged together. Our approach is to s...
متن کاملReasoning about Information Change
Recently the notions of information and information change have gained a prominent place in several fields of scientific research, such as philosophy, the formal semantics of natural language and computer science. The present paper highlights two of such developments, namely the update semantics of Veltman (1996), and the analysis of communication in distributed systems, in particular the appro...
متن کاملReasoning about Dynamic Information Displays
With increasing use of computing systems while on the move and in constantly changing conditions, whether it is via mobile devices, wearable computers or embedded systems in the environment, time plays an increasingly important role in interaction. The way in which information is represented in an interface is fundamental to interaction with it, and how the information is used in the users task...
متن کاملReasoning about Qualitative Temporal Information
Interval and point algebras have been proposed for representing qualitative temporal information about the relationships between pairs of intervals and pairs of points, respectively. In this paper, we address two related reasoning tasks that arise in these algebras: Given (possibly indefinite) knowledge of the relationships between some intervals or points, (1) find one or more scenarios that a...
متن کاملUpdates by Reasoning about States Updates by Reasoning about States *
We present a language extension to Datalog which allows to specify deterministic update procedures in a declarative way. Existing update languages either rely on procedural aspects of program evaluation or leave the framework of deductive databases and logic programming. In contrast, we show that declarative update semantics can be attained by incorporating state terms into the language. Since ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in Human Neuroscience
سال: 2018
ISSN: 1662-5161
DOI: 10.3389/conf.fnhum.2018.227.00123