Church-Turing Thesis, mechanistic project, and Godelian Arguments offer different perspectives of informal intuitions behind the relationship existing between the notion of intuitively provable and the definition of d...
详细信息
ISBN:
(数字)9783319472867
ISBN:
(纸本)9783319472867;9783319472850
Church-Turing Thesis, mechanistic project, and Godelian Arguments offer different perspectives of informal intuitions behind the relationship existing between the notion of intuitively provable and the definition of decidability by some Turing machine. One of the most formal lines of research in this setting is represented by the theory of knowing machines, based on an extension of Peano Arithmetic, encompassing an epistemic notion of knowledge formalized through a modal operator denoting intuitive provability. In this framework, variants of the Church-Turing Thesis can be constructed and interpreted to characterize the knowledge that can be acquired by machines. In this paper, we survey such a theory of knowing machines and extend some recent results proving that a machine can know its own code exactly but cannot know its own correctness (despite actually being sound). In particular, we define a machine that, for (at least) a specific case, knows its own code and knows to be sound.
Developing technology to attend to social demands is an increasing challenge for the information and communicationtechnology (ICT) area. Ubiquitous Computing, Wearable Computing, Social Software, and the Internet of ...
详细信息
ISBN:
(纸本)9783319421025;9783319421018
Developing technology to attend to social demands is an increasing challenge for the information and communicationtechnology (ICT) area. Ubiquitous Computing, Wearable Computing, Social Software, and the Internet of Things are examples of how ICT has permeated personal and collective life. technology affects people, even the ones who do not use it. Therefore, designing technology now requires higher social awareness and responsibility, as well as ethical commitment from all stakeholders. Naturally, such a process demands for artifacts and methods grounded on different theories and practices, capable of facilitating the understanding of the social world and its complexity, in an effective way. In this paper, we introduce a Socially Aware Design (SAwD) system which is a CASE tool designed to support early design activities when a problem is understood and a solution is proposed. This tool aids to articulate ideas from Organizational Semiotics and Participatory Design. We present the theoretical and methodological grounds of our work about the design rationale for SAwD and how it disseminates both the practice of a socially aware design and an adoption of theories.
Organisational Semiotics is a discipline that studies signs of organisations, and how these signs aid an analysis and design of technical information systems. The responsiveness of organisations has been discussed as ...
详细信息
ISBN:
(纸本)9783319421025;9783319421018
Organisational Semiotics is a discipline that studies signs of organisations, and how these signs aid an analysis and design of technical information systems. The responsiveness of organisations has been discussed as a key feature to adapt the organisational behaviour in turbulent environments, but there are not studies about the implication of these capabilities on information Systems. Organisational Semiotics can be used as a good approach to understand relationships between living things and organisations in order to develop their responses to the organisation. The purpose of this paper is the proposition of a preliminary model of organisations as living systems, using the concept of organisations as information systems. This paper articulates the information interactions between the border of the system, the environment and the activities of the organisation that maintain this border by methods of organisational semiotics. The future study will focus on the implementation of the proposed framework.
This paper explores the work of building open source biodiversity information infrastructure. We analyse collaboration between a Canadian team and a Brazilian one. In particular we focus on the use of Wing Longitude, ...
详细信息
ISBN:
(数字)9783319501093
ISBN:
(纸本)9783319501093;9783319501086
This paper explores the work of building open source biodiversity information infrastructure. We analyse collaboration between a Canadian team and a Brazilian one. In particular we focus on the use of Wing Longitude, a GitHub space, as a trading zone within which the two teams co-developed solutions. We show how the choice to work in a neutral space, belonging to everyone, and the use of display, representation and assemblage practices enabled sharing of some infrastructural elements, while maintaining other specificities that best suit their diverse cultures. Working together in this trading zone appears as both a practical accomplishment and a commitment to shared ideals.
作者:
Pathak, BuddhiUniv Reading
Henley Business Sch Business Informat Syst & Accounting Reading RG6 6UD Berks England
Service innovation in business ecosystem is attracting more research interest;however, there is less insight into how the formation of ecosystem enables service innovation. The limited prior research on the formation ...
详细信息
ISBN:
(纸本)9783319421025;9783319421018
Service innovation in business ecosystem is attracting more research interest;however, there is less insight into how the formation of ecosystem enables service innovation. The limited prior research on the formation of an ecosystem is characterized by different phases and activities associated with lifecycle of an ecosystem, however it is not connected to the service innovation processes. This work addresses this gap by proposing formation cycle of an ecosystem for service innovation.
Search Engine Optimization (SEO) is the process of increasing a digital profile's visibility within a search engine for relevant search engine results pages. SEO is playing a critical role within the digital marke...
详细信息
ISBN:
(纸本)9783319448053;9783319448046
Search Engine Optimization (SEO) is the process of increasing a digital profile's visibility within a search engine for relevant search engine results pages. SEO is playing a critical role within the digital marketing and communication strategies of many organizations globally. Particularly in the UK, digital marketing budgets have continued to rise in the last decade, despite the economic uncertainties. With the increase of spending in SEO related activities, a number of businesses focusing on SEO services have emerged, offering SEO services with unfounded promises. The SEO services are not regulated and do not have recognized ethical standards. Key influences such as a lack of professional intimacy and the velocity of market change are considered, as well as the possibility that the SEO community is becoming divided in its own understanding of what it fundamentally is. Dilution of industry specialism, through a continual attempt at self-preservation and cannibalization of other methods of online communication, is leaving not only SEO practitioners vulnerable, but also the very clients and consumers they are hired to serve. This raises a clear ethical issue that requires further exploration.
This paper presents an ontology created for classifying and researching material culture and its visual representations, that forms a part of an emerging data-driven research framework on Neoclassicism (ca. 1760-1860)...
详细信息
ISBN:
(纸本)9783319462240;9783319462233
This paper presents an ontology created for classifying and researching material culture and its visual representations, that forms a part of an emerging data-driven research framework on Neoclassicism (ca. 1760-1860). The framework, named Neoclassica, unites a topdown approach to knowledge discovery, represented by the Neoclassicaontology, with innovative methods and techniques for processing multimodal data corresponding with a bottom-up approach. Below we will first describe the Neoclassica framework, discussing the epistemological considerations related with it. Second, we outline the basic objectives of the ontology and explore differences to existing thesauri, as well as relationships with existing standards (CIDOC-CRM). Third, we will give an overview of the most important classes currently provided by the ontology and illustrate the features of the multilingual approach and the descriptive power already inherent to the ontology. Finally, we will give an outlook on the next steps for developing the Neoclassica framework.
This paper proposes a simple implementation of genetic algorithm with dynamic seed to solve deterministic job shop scheduling problems. The proposed methodology relies on a simple indirect binary representation of the...
详细信息
ISBN:
(纸本)9783319511337;9783319511320
This paper proposes a simple implementation of genetic algorithm with dynamic seed to solve deterministic job shop scheduling problems. The proposed methodology relies on a simple indirect binary representation of the chromosome and simple genetic operators (one-point crossover and bit-flip mutation), and it works by changing a seed that generates a solution from time to time, initially defined by the original sequencing of the problem addressed, and then adopting the best individual from the past runs of the GA as the seed for the next runs. The methodology was compared to three different approaches found in recent researches, and its results demonstrate that despite not finding the best results, the methodology, while being easy to be implemented, has its value and can be a starting point to more researches, combining it with other heuristics methods that rely in GA and other evolutionary algorithms as well.
Carl Adam Petri is well known for introducing the nets having his name. It is less known that net theory was, for Petri, the kernel of a radical shift in scientific knowledge. Carl Adam Petri has not written extensive...
详细信息
ISBN:
(数字)9783319472867
ISBN:
(纸本)9783319472867;9783319472850
Carl Adam Petri is well known for introducing the nets having his name. It is less known that net theory was, for Petri, the kernel of a radical shift in scientific knowledge. Carl Adam Petri has not written extensively during his life and this may have been an important reason that only the most applied part of his approach, the use of nets for designing concurrent systems, has become largely popular. In this paper, I try to popularize in a larger community the radical novelty and the relevance of the approach Petri used for developing scientific knowledge of physical and social phenomena. In short, we can say that Petri's approach assumes that knowledge, even scientific knowledge, is rooted in human experience and there is no way, and no necessity, to connect it directly to an external reality. This has, as we will see, much to do with the concept of computing and, indirectly, with the relations between science and philosophy. This paper will summarize three aspects of Petri's thinking, which deserve a wider attention: the notion of model, the new algebraic foundations for a theory of modeling (whose main example are Petri Nets) and its application to Human communication Pragmatics.
An adequate decision method plays an important role in strategic location planning, especially for physical goods. After a breakdown of the value-added network into its natural components, this paper uses strategic po...
详细信息
ISBN:
(纸本)9783319511337;9783319511320
An adequate decision method plays an important role in strategic location planning, especially for physical goods. After a breakdown of the value-added network into its natural components, this paper uses strategic portfolios for determining the different network designs (e.g. production, transport, distribution, service). The portfolios depend on generic market, product and service features and fit together. The combination of the single portfolios represents the design options of the integral value-added network in a comprehensive way.
暂无评论