6,937 research outputs found

    Towards Ideal Semantics for Analyzing Stream Reasoning

    Full text link
    The rise of smart applications has drawn interest to logical reasoning over data streams. Recently, different query languages and stream processing/reasoning engines were proposed in different communities. However, due to a lack of theoretical foundations, the expressivity and semantics of these diverse approaches are given only informally. Towards clear specifications and means for analytic study, a formal framework is needed to define their semantics in precise terms. To this end, we present a first step towards an ideal semantics that allows for exact descriptions and comparisons of stream reasoning systems.Comment: International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014). Proceedings of the International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 17-22, technical report, ISSN 1430-3701, Leipzig University, 2014. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-150562 2014,

    What ā€˜mustā€™ adds

    Get PDF
    There is a difference between the conditions in which one can felicitously use a ā€˜mustā€™-claim like and those in which one can use the corresponding claim without the ā€˜mustā€™, as in 'It must be raining out' versus 'It is raining out. It is difficult to pin down just what this difference amounts to. And it is difficult to account for this difference, since assertions of 'Must p' and assertions of p alone seem to have the same basic goal: namely, communicating that p is true. In this paper I give a new account of the conversational role of ā€˜mustā€™. I begin by arguing that a ā€˜mustā€™-claim is felicitous only if there is a shared argument for the proposition it embeds. I then argue that this generalization, which I call Support, can explain the more familiar generalization that ā€˜mustā€™-claims are felicitous only if the speakerā€™s evidence for them is in some sense indirect. Finally, I propose a pragmatic derivation of Support as a manner implicature

    Epistemic Pluralism

    Get PDF
    The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation and semi-negations

    Modal mu-calculi

    Get PDF

    Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support

    Full text link
    A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is the development of suitable means for the control and governance of intelligent autonomous systems. LogiKEy's unifying formal framework is based on semantical embeddings of deontic logics, logic combinations and ethico-legal domain theories in expressive classic higher-order logic (HOL). This meta-logical approach enables the provision of powerful tool support in LogiKEy: off-the-shelf theorem provers and model finders for HOL are assisting the LogiKEy designer of ethical intelligent agents to flexibly experiment with underlying logics and their combinations, with ethico-legal domain theories, and with concrete examples---all at the same time. Continuous improvements of these off-the-shelf provers, without further ado, leverage the reasoning performance in LogiKEy. Case studies, in which the LogiKEy framework and methodology has been applied and tested, give evidence that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure

    Australasian Journal of Philosophy 1947ā€“2016: a retrospective using citation and social network analyses

    Get PDF
    In anticipation of the journalā€™s centenary in 2027 this paper provides a citation network analysis of all available citation and publication data of the Australasian Journal of Philosophy (1923ā€“2017). A total of 2,353 academic articles containing 21,772 references were collated and analyzed. This includes 175 articles that contained author-submitted keywords, 415 publisher-tagged keywords and 519 articles that had abstracts. Results initially focused on finding the most published authors, most cited articles and most cited authors within the journal, followed by most discussed topics and emerging patterns using keywords and abstracts. The analysis then proceeded to apply social network analysis using KumuĀ© ā€“ a visualization platform for mapping systems and relationships using large datasets. Analysis reveals topic clusters both unique to the journal, and inclusive of the journalā€™s history. Results from this analysis reaffirm the journalā€™s continuing focus on topics in traditional analytic philosophy such as morality, epistemology and knowledge, whilst also featuring topics associated with logic and paradox. This paper presents a new approach to analysing and understanding the historic and emerging topics of interest to the journal, and its readership. This has never previously been done for single philosophy journal. This is historically important given the journalā€™s forthcoming centenary
    • ā€¦
    corecore