1,064 research outputs found
Deciding regular grammar logics with converse through first-order logic
We provide a simple translation of the satisfiability problem for regular
grammar logics with converse into GF2, which is the intersection of the guarded
fragment and the 2-variable fragment of first-order logic. This translation is
theoretically interesting because it translates modal logics with certain frame
conditions into first-order logic, without explicitly expressing the frame
conditions.
A consequence of the translation is that the general satisfiability problem
for regular grammar logics with converse is in EXPTIME. This extends a previous
result of the first author for grammar logics without converse. Using the same
method, we show how some other modal logics can be naturally translated into
GF2, including nominal tense logics and intuitionistic logic.
In our view, the results in this paper show that the natural first-order
fragment corresponding to regular grammar logics is simply GF2 without extra
machinery such as fixed point-operators.Comment: 34 page
Group decision making and quality-of-information in e-Health systems
Knowledge is central to the modern economy and society. Indeed, the knowledge society has transformed
the concept of knowledge and is more and more aware of the need to overcome the lack of knowledge when has to
make options or address its problems and dilemmas. One`s knowledge is less based on exact facts and more on
hypotheses, perceptions or indications. Even when we use new computational artefacts and novel methodologies for
problem solving, like the use of Group Decision Support Systems (GDSS), the question of incomplete information is
in most of the situations marginalized. On the other hand, common sense tells us that when a decision is made it is
impossible to have a perception of all the information involved and the nature of its intrinsic quality. Therefore,
something has to be made in terms of the information available and the process of its evaluation. It is under this
framework that a Multi-valued Extended Logic Programming language will be used for knowledge representation
and reasoning, leading to a model that embodies the Quality-of-Information (QoI) and its quantification, along the
several stages of the decision making process. In this way it is possible to provide a measure of the value of the QoI
that supports the decision itself. This model will be here presented in the context of a GDSS for VirtualECare, a
system aimed at sustaining online healthcare services
Quantum Information Dynamics and Open World Science
One of the fundamental insights of quantum mechanics is that complete knowledge of the state of a quantum system is not possible. Such incomplete knowledge of a physical system is the norm rather than the exception. This is becoming increasingly apparent as we apply scientific methods to increasingly complex situations. Empirically intensive disciplines in the biological, human, and geosciences all operate in situations where valid conclusions must be drawn, but deductive completeness is impossible. This paper argues that such situations are emerging examples of {it Open World} Science. In this paradigm, scientific models are known to be acting with incomplete information. Open World models acknowledge their incompleteness, and respond positively when new information becomes available. Many methods for creating Open World models have been explored analytically in quantitative disciplines such as statistics, and the increasingly mature area of machine learning. This paper examines the role of quantum theory and quantum logic in the underpinnings of Open World models, examining the importance of structural features of such as non-commutativity, degrees of similarity, induction, and the impact of observation. Quantum mechanics is not a problem around the edges of classical theory, but is rather a secure bridgehead in the world of science to come
Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo
This articles is a structured bibliography on theorem provers,
approaches to theorem proving, and theorem proving applications inspired
from Satchmo, the model generation theorem prover developed
in the mid 80es of the 20th century at ECRC, the European Computer-
Industry Research Centre. Note that the bibliography given in this article
is not exhaustive
Philosophical Signposts for Artificial Moral Agent Frameworks
This article focuses on a particular issue under machine ethicsâthat is, the nature of Artificial Moral Agents. Machine ethics is a branch of artificial intelligence that looks into the moral status of artificial agents. Artificial moral agents, on the other hand, are artificial autonomous agents that possess moral value, as well as certain rights and responsibilities. This paper demonstrates that attempts to fully develop a theory that could possibly account for the nature of Artificial Moral Agents may consider certain philosophical ideas, like the standard characterizations of agency, rational agency, moral agency, and artificial agency. At the very least, the said philosophical concepts may be treated as signposts for further research on how to truly account for the nature of Artificial Moral Agents
- âŠ