Knowledge modelling with the open source tool myCBR

Building knowledge intensive Case-Based Reasoning applications requires tools that support this on-going process between domain experts and knowledge engineers. In this paper we will introduce how the open source tool myCBR 3 allows for flexible knowledge elicitation and formalisation form CBR and non CBR experts. We detail on myCBR 3 's versatile approach to similarity modelling and will give an overview of the Knowledge Engineering workbench, providing the tools for the modelling process. We underline our presentation with three case studies of knowledge modelling for technical diagnosis and recommendation systems using myCBR 3

Memories of inauthenticity: Stiegler and the lost spirit of capitalism

No description supplie

The "Artificial Mathematician" Objection: Exploring the (Im)possibility of Automating Mathematical Understanding

Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer

Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory

To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015 Recent advances in knowledge compilation introduced techniques to compile \emph{positive} logic programs into propositional logic, essentially exploiting the constructive nature of the least fixpoint computation. This approach has several advantages over existing approaches: it maintains logical equivalence, does not require (expensive) loop-breaking preprocessing or the introduction of auxiliary variables, and significantly outperforms existing algorithms. Unfortunately, this technique is limited to \emph{negation-free} programs. In this paper, we show how to extend it to general logic programs under the well-founded semantics. We develop our work in approximation fixpoint theory, an algebraical framework that unifies semantics of different logics. As such, our algebraical results are also applicable to autoepistemic logic, default logic and abstract dialectical frameworks

Three Applications of an Austin/Wittgenstein Ontological Insight

On the first page of How to do Things with Words, Austin claims that `making a statement" is primary, and `statement" derivative – a `logical construction", as he calls it, out of the makings of statements. Wittgenstein, in similar vein, takes `explaining the meaning" to be primary with `meaning" a derivative notion. He says that `[m]eaning is what an explanation of meaning explains (Wittgenstein 1974, 68). Part of Wittgenstein"s point is that giving explanations of meaning is, like the making of statements, a perfectly common, everyday occurrence, but asking what meaning is is a perverse question of the sort that gives philosophy a bad name – Austin makes the same point in his paper `The Meaning of a Word" (Austin 1961, 23-43). Wittgenstein"s diagnosis of why philosophers are misled is very simple: the mistake lies in supposing that, for every noun there is an object named (unum nomen, unum nominatum) and so coming to believe that there is something – some thing – named by the noun `meaning". He says that he wants to cure us of the temptation to look about us for some object which you might call `the meaning" (Wittgenstein 1958, 1). This is hardly a new insight. Kant famously argued, in the Transcendental Aesthetic, that the noun `time" does not name a thing and one consequence of this conclusion is that talk of the Big Bang as marking the beginning of time is nonsensical. Are there some comparably important conclusions that can be drawn from the thesis that the nouns `meaning" and `statement" do not name objects? The answer, as I hope to demonstrate, is `Yes"

Exploring the fit between CSR and innovation

An exploration of the fit or space between CSR and innovation is presented, based on the RESPONSE project, a 15-month study involving 60 SMEs throughout Europe. The main practical output of the project was the Social Innovation model, yet a conceptual understanding of CSR and innovation is best advanced through the three hypotheses that constitute the conclusions of the project: H1) The diffusion of CSR should be modelled on the diffusion of innovation; H2) CSR implementation and innovation can be configured to form a virtuous circle; and H3) There is a maturity path toward true integration of CSR and innovation. These three hypotheses inform, respectively, on the background, results and development of the project. H1 is framed within the context of the original European Commission call and proposal; H2 ties in with the Social Innovation model; and H3 is discussed in the light of a short case involving a high-performing SME. Since the hypotheses were the result of the project, we do not attempt to prove them here, but discuss their significance, with the idea that further research and community development will fully evaluate their accuracy.Corporate social responsibility; innovation; small and medium-size enterprises;

Reflective equilibrium on the fringe : The tragic threefold story of a failed methodology for logical theorising

Reflective equilibrium, as a methodology for the ‘formation of log- ics’, fails on the fringe, where intricate details can make or break a logical the- ory. On the fringe, the process of theorification cannot be methodologically governed by anything like reflective equilibrium. When logical theorising gets tricky, there is nothing on the pre-theoretical side on which our theoretical claims can reflect of—at least not in any meaningful way. Indeed, the fringe is exclusively the domain of theoretical negotiations and the methodological power of reflective equilibrium is merely nominal.info:eu-repo/semantics/acceptedVersio

The Role of Action Research in the Study of Small Business Marketing and Retailer Loyalty Card Data

The small business is challenged on a daily basis to compete in an ever demanding and ever expanding marketplace. As a result of new technologies such as market intelligence databases, small business owner-managers are playing catch–up with larger and more resource based firms in maintaining current insight into the market. Larger firms have typically been better positioned to afford and analyse the latest market intelligence data for internal marketing purposes. This study provides insight into three action research case studies through a participatory action research, investigating the ways in which traditionally informal small business owner-managers addressed marketing challenges through the utilisation of free access of formalised retailer loyalty card data for the first time in their daily business marketing activities