Knowledge Representation and Reasoning (KR&R) is based on the idea that propositional content can be rigorously represented in formal languages long the province of logic, in such a way that these representations can be productively reasoned over by humans and machines; and that this reasoning can be used to produce knowledge-based systems (KBSs). As such, KR&R is a discipline conventionally regarded to range across parts of artificial intelligence (AI), computer science, and especially logic. This standard view of (...) KR&R’s participating fields is correct — but dangerously incomplete. The view is incomplete because, as we explain herein, sophisticated KR&R must rely heavily upon philosophy. Encapsulated, the reason is actually quite straightforward: Sophisticated KR&R must include the representation of not only simple properties, but also concepts that are routine in the formal sciences (theoretical computer science, mathematics, logic, game theory, etc.), and everyday socio-cognitive concepts like mendacity, deception, betrayal, and evil. Because in KR&R the representation of such concepts must be rigorous in order to enable machine reasoning (e.g., machine-generated and machine-checked proofs that a is lying to b) over them, philosophy, devoted as it is in no small part to supplying analyses of such concepts, is a crucial partner in the overall enterprise. To put the point another way: When the knowledge to be represented is such as to require lengthy formulas in expressive formal languages for that representation, philosophy must be involved in the game. In addition, insofar as the advance of KR&R must allow formalisms and processes for representing and reasoning over visual propositional content, philosophy will be a key contributor into the future. (shrink)

It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face (...) value, reflect a significant metaphysical viewpoint, one that can in fact hinder or prejudice the representation of philosophical ideas and arguments. Philosophers have of course noticed this and have, accordingly, sought to alter or extend traditional FOL in novel ways to reflect a more flexible and egalitarian metaphysical standpoint. The purpose of this paper, however, is to document and discuss how similar “adaptations” to FOL—culminating in a standardized framework known as Common Logic —have evolved out of the more practical and applied encounter of FOL with the problem of representing, sharing, and reasoning upon information on the World Wide Web. (shrink)

Machine learning (ML) techniques have become pervasive across a range of different applications, and are now widely used in areas as disparate as recidivism prediction, consumer credit-risk analysis, and insurance pricing. Likewise, in the physical world, ML models are critical components in autonomous agents such as robotic surgeons and self-driving cars. Among the many ethical dimensions that arise in the use of ML technology in such applications, analyzing morally permissible actions is both immediate and profound. For example, there is the (...) potential for learned algorithms to become biased against certain groups. More generally, in so much that the decisions of ML models impact society, both virtually (e.g., denying a loan) and physically (e.g., driving into a pedestrian), notions of accountability, blame and responsibility need to be carefully considered. In this article, we advocate for a two-pronged approach ethical decision-making enabled using rich models of autonomous agency: on the one hand, we need to draw on philosophical notions of such as beliefs, causes, effects and intentions, and look to formalise them, as attempted by the knowledge representation community, but on the other, from a computational perspective, such theories need to also address the problems of tractable reasoning and (probabilistic) knowledge acquisition. As a concrete instance of this tradeoff, we report on a few preliminary results that apply (propositional) tractable probabilistic models to problems in fair ML and automated reasoning of moral principles. Such models are compilation targets for certain types of knowledge representation languages, and can effectively reason in service some computational tasks. They can also be learned from data. Concretely, current evidence suggests that they are attractive structures for jointly addressing three fundamental challenges: reasoning about possible worlds + tractable computation + knowledge acquisition. Thus, these seems like a good starting point for modelling reasoning robots as part of the larger ecosystem where accountability and responsibility is understood more broadly. (shrink)

Deals with topics and insight into the design and architecture of next-generation computing systems that deal with human and social problems. Processor and Internet technologies form the subject matter and focal point, while information and knowledge on the Internet delivered by next-generation mobile networks form the technical core presented.

o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions (...) we show that o structures may be rewritten as special knowledge representation systems. These systems use 0 and 1 as the only values and are called “epistemic”. Their role for the theory of knowledge information systems may be compared to that of the functionally complete matrices in the class of all logical matrices for a given propositional language. (shrink)

The dominating models of information processes have been based on symbolic representations of information and knowledge. During the last decades, a variety of non-symbolic models have been proposed as superior. The prime examples of models within the non-symbolic approach are neural networks. However, to a large extent they lack a higher-level theory of representation. In this paper, conceptual spaces are suggested as an appropriate framework for non- symbolic models. Conceptual spaces consist of a number of (...) 'quality dimensions' that often are derived from perceptual mechanisms. It will be outlined how conceptual spaces can represent various kind of information and how they can be used to describe concept learning. The connections to prototype theory will also be presented. (shrink)

The use of circumscription for formalizing commonsense knowledge and reasoning requires that a circumscription policy be selected for each particular application: we should specify which predicates are circumscribed, which predicates and functions are allowed to vary, and what priorities between the circumscribed predicates are established. The circumscription policy is usually described either informally or using suitable metamathematical notation. In this paper we propose a simple and general formalism which permits describing circumscription policies by axioms, included in the knowledge (...) base along with the axioms describing the objects of reasoning. The new formalism is illustrated by recasting some of the familiar applications of circumscription in its terms. (shrink)

With the aim of giving a naturalistic foundation to the notion of mental representation, Fred Dretske (1981;1988) has put forward and developed the idea that the relation between a representation and its intentional content is grounded on an informational relation. In this explanatory model, mental representations are conceived of as states of organisms which a learning process has selected to play a functional role: a necessary condition for fulfilling this role is that the organism or some proper part (...) of it (presumably situated in the brain) is a natural indicator of the occurrence of a determinate type of event in the environment of the organism (or in the organism but outside of the proper part serving as the indicator). A state of the organism is a natural indicator of a type of event if and only if it carries information about the occurrence of that type of event. Jerry Fodor (1987) has devised and followed another strategy which consists in considering the relation between a mental representation and its intentional object as a relation of lawful, or nomic, dependence. A representational state of an organism has an objective content in virtue of the existence of a relation of nomic dependence between this state - presumably a property of the brain of the organism - and some objective property in the world. This dependence also creates a regular correlation between the occurrences of representational states of a certain type and the states of affairs whose type is their representational content. Both approaches encounter indeterminacy problems: for each, there exist situations in which the explanatory model chosen - information flow or nomic dependence - does not succeed in selecting, purely on the basis of the constraints characteristic of that model, one out of several potential contents for a given representational state. In such cases, that state is related to more than one type of events in accordance with the informational or nomic constraints imposed by those theories. In what follows, I examine an attempt by Pierre Jacob (1997) to solve two problems of indeterminacy threatening the informational theory of mental representation. According to Jacob, one of these problems can be solved with the help of the distinction between the source which is the target of the information and the channel over which the information is transmitted, whereas the solution to the other problem requires the introduction of the concept of function. I shall begin with a consideration of the distinction, with respect to a situation of information transmission, between the source and the channel. I argue that both the source and the channel, and thus the information transmitted, depend not only on the external situation which characterises the source, the channel and the receiving organism, but also on the previous knowledge and the informational needs of the receiver. I then try to show that this relativity of information undermines the solution Jacob proposes to one of the problems of indeterminacy of representational content. Finally, I examine the possibility considered by Dretske and Jacob to solve this 'problem of the reference class' due to the mentioned relativity of information, by grounding the flow of information on lawful dependence instead of statistical dependence. I shall propose two arguments showing first that these two groundings are not equivalent and second that nomic dependence is inappropriate as a grounding for information flow. I conclude by suggesting that the problem of the reference class can be solved within the framework of the informational approach, on the condition of enriching it with functional considerations. (shrink)

The papers collected in this volume exemplify some of the trends in current approaches to logic, language and computation. Written by authors with varied academic backgrounds, the contributions are intended for an interdisciplinary audience. The first part of this volume addresses issues relevant for multi-agent systems: reasoning with incomplete information, reasoning about knowledge and beliefs, and reasoning about games. Proofs as formal objects form the subject of Part II. Topics covered include: contributions on logical frameworks, linear logic, and (...) different approaches to formalized reasoning. Part III focuses on representations and formal methods in linguistic theory, addressing the areas of comparative and temporal expressions, modal subordination, and compositionality. (shrink)

We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Science using prototypes, plans, or schemata; formal semantics in natural language, especially the semantics of the `if-then' conditional construct; and the logic of subjunctive conditionals first developed using a possible worlds semantics by Stalnaker and Lewis. The basic premise of the paper is that both schema-based inference and the semantics of (...) conditionals are based on Dretske's notion of information flow and Barwise and Perry's notion of a constraint in situation semantics. That is, the connection between antecedent and consequent of a conditional `if were the case then would be the case' is an informational relation holding with respect to a pragmatically determined utterance situation. The bridge between AI and conditional logic is that a prototype or planning schema represents a situation type, and the background assumptions underlying the application of a schema in a situation correspond to channel conditions on the flow of information. Adapting the work of Stalnaker and Lewis, the semantics of conditionals is modeled by a refinement ordering on situations: a conditional `if then ' holds with respect to a situation if all the minimal refinements of the situation that support also support . We present new logics of situations, information flow, and subjunctive conditionals based on three-valued partial logic that formalizes our approach, and conclude with a discussion of the resulting theory of conditionals, including the "paradoxes" of conditional implication, the difference between truth conditions and assertability conditions for subjunctive conditionals, and the relationship between subjunctive and indicative conditionals. (shrink)

Higher-order representation (HOR) theories posit that the contents of lower-order brain states enter consciousness when tracked by a higher-order brain state. The nature of higher-order monitoring was examined in light of current scientific knowledge, primarily in experimental perceptual psychology. The most plausible candidate for higher-order state was found to be conceptual short-term memory (CSTM), a buffer memory intimately connected with a semantic engine operating in the medium of the language of thought (LOT). This combination meets many of the (...) requirements of HOR theories, although falling short in some significant respects, most notably the inability of higher- order states to represent more than a small fraction of the information contained in primary states, especially in vision. A possible way round this obstacle is suggested, involving the representation of visual detail by means of ensemble concepts. (shrink)

A theory of information is developed in which the informational content of a signal (structure, event) can be specified. This content is expressed by a sentence describing the condition at a source on which the properties of a signal depend in some lawful way. Information, as so defined, though perfectly objective, has the kind of semantic property (intentionality) that seems to be needed for an analysis of cognition. Perceptual knowledge is an information-dependent internal state with (...) a content corresponding to the information producing it. This picture of knowledge captures most of what makes knowledge an important cpistcmological notion. It also avoids many of the problems infecting traditional justificational accounts of knowledge (knowledge as [justified, true belief those (unlike knowledge) having a content that can be either true or false (e.g., belief) – are described in terms of the way internal (presumably neural) structures acquire during learning a certain information-carrying role. The content of these structures (whether true or false) is identified with the kind of information they were developed to carry. (shrink)

A theory of information is developed in which the informational content of a signal (structure, event) can be specified. This content is expressed by a sentence describing the condition at a source on which the properties of a signal depend in some lawful way. Information, as so defined, though perfectly objective, has the kind of semantic property (intentionality) that seems to be needed for an analysis of cognition. Perceptual knowledge is an information-dependent internal state with (...) a content corresponding to the information producing it. This picture of knowledge captures most of what makes knowledge an important cpistcmological notion. It also avoids many of the problems infecting traditional justificational accounts of knowledge (knowledge as [justified, true belief’). Our information pickup systems are characterized in terms of the way they encode incoming information (perception) for further cognitive processing. Our perceptual experience is distinguished from our perceptual beliefs by the different way sensory information is encoded in these internal structures. Our ropositional attitudes – those (unlike knowledge) having a content that can be either true or false (e.g., belief) – are described in terms of the way internal (presumably neural) structures acquire during learning a certain information-carrying role. The content of these structures (whether true or false) is identified with the kind of information they were developed to carry. (shrink)

Do humans start life with the capacity to detect and mentally represent the objects around them? Or is our object knowledge instead derived only as the result of prolonged experience with the external world? Are we simply able to perceive objects by watching their actions in the world, or do we have to act on objects ourselves in order to learn about their behavior? Finally, do we come to know all aspects of objects in the same way, or are (...) some aspects of our object understanding more epistemologically privileged than others? -/- "The Origins of Object Knowledge" presents the most up-to-date survey of the research into how the developing human mind understands the world of objects and their properties. It presents some of the best findings from leading research groups in the field of object representation approached from the perspective of developmental and comparative psychology. Topics covered in the book all address some aspect of what objects are from a psychological perspective; how humans and animals conceive what they are made of; what properties they possess; how we count them and how we categorize them; even how the difference between animate and inanimate objects leads to different expectations. The chapters also cover the variety of methodologies and techniques that must be used to study infants, young children, and non-human primates and the value of combining approaches to discovering what each group knows. -/- Bringing together leading researchers, communicating the most contemporary and exciting findings within the field of object representation, this volume will be an important work in the cognitive sciences, and of interest to those across the fields of developmental and comparative psychology. (shrink)

This paper aims to perform a qualitative synthesis of literature concerning the representation of information in displaced archives. Methodologically, this communication is configured in a metasynthesis oriented to theory building, constituting a non-reactive, documentary-based and exploratory type of study, focused on articles and books chapters published in English between 1954 and 2019. The collection of texts is supported by the SPICE strategy, applied to the search in databases (WoS and EBSCO). We adopted content analysis according to the (...) assumptions of Charmaz and Finfgeld-Connett. Of the 443 records, 155 texts that responded to the research purposes were included. Three themes emerged from the content analysis around the aforementioned theme with a view to theory building: “anarchivism as (non-) representation”, “archive of the archive”, and “archival canon”. Finally, displaced archives constitute an emerging theme in several domains, so it is important to explore the complex nature of this phenomenon from the point of view of representation and knowledge organization. (shrink)

Introduction -- Basic concepts -- Previous approaches -- Semantic expressions: introduction -- Formal issues -- Semantic expressions: basic features -- Advanced features -- Applications: capture -- Three little pigs -- Applications: creation.

Nonmonotonic reasoning is a discipline of computer science, epistemology, and cognition: It models inferences where classical logic is inadequate in symbolic AI, defines normative models for reasoning with defeasible information in epistemology, and models human reasoning under information change in cognition. Its building blocks are defeasible rules formalised as DeFinetti conditionals. In this thesis, Christian Eichhorn examines qualitative and semi-quantitative inference relations on top said conditionals, using the conditional structure of the knowledge base and Spohn’s Ordinal Conditional (...) Functions, using established properties. Converting network approaches from probabilistics, he shows how to approach the relations with regard to implementation. (shrink)

Challenging Situatedness contends that the production of knowledge is just that—a production, and one fraught with intrinsic and often unconscious biases. In fact, to assume that scientific research is inherently objective, neutral, and therefore genderless can, quite literally, be harmful to one's health. The contributors to this volume instead argue for a situated knowledge, a research model that acknowledges different cultural realities and actively articulates context-rich ways of knowing. Drawing on international research studies—from Cameroon, Ghana, India, and Sweden, (...) among others— Challenging Situatedness is a vital exploration of feminist theory in practice. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

A primary function of mind is to form and manipulate representations to identify and choose survival-enhancing behaviors. Representations are themselves physical systems that can be manipulated to reason about, predict, or plan actions involving the objects they designate. The field of knowledge representation and reasoning turns representation upon itself to study how representations are formed and used by biological and computer systems. Some of the most versatile and successful KRR methods have been imported from computational physics. Features (...) of a problem are mapped onto dimensions of an imaginary physical system in which solution quality is inversely related to energy. Simulating the fictitious physical system on a digital computer yields a low-energy, and hence high-quality, solution to the original problem. This paper suggests a rethinking of the traditional metaphor of cognition as execution of algorithms on a digital computer. It may be both more fruitful and more accurate to conceive of representation as mapping problem features to an energy surface, learning as identifying representations that map good solutions to low free energy, and problem solving as efficient search for low free energy states. This conception of cognition is in natural accord with Stapp's theory of efficacious conscious choice. Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} Normal 0 false false false EN-US X-NONE X-NONE /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0in 5.4pt 0in 5.4pt; mso-para-margin:0in; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;}. (shrink)

The nineteenth century was a period of science and imagery: when scientific theories and discoveries challenged longstanding boundaries between animal, plant, and human, and art and visual culture produced new notions about the place of the human in the natural world. Just as scientists relied on graphic representation to conceptualize their ideas, artists moved seamlessly between scientific debate and creative expression to support or contradict popular scientific theories, such as Darwin's theory of evolution and sexual selection, deliberately drawing (...) on concepts in ways that allowed them to refute popular claims or disrupt conventional knowledges. Focusing on the close kinship between the arts and sciences during the Victorian period, the art historians contributing to this volume reveal the unique ways in which nineteenth-century British and American visual culture participated in making science - and in which science informed art at a crucial moment in the history of the development of the modern world. Together, they explore topics in geology, meteorology, medicine, anatomy, evolution, and zoology, as well as a range of media, from photography to oil painting. This volume reminds us that science and art are not tightly compartmentalized, separate influences, but rather fields that shared forms - manifest as waves, layers, lines, or geometries - and invest in the idea of the evolution of form. (shrink)

One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that employs visualization? What are the cognitive advantages and pitfalls of this reasoning? What kinds of tools can be developed to aid in the use of visual representation? This newest volume on the Studies in Logic and Computation series addresses the logical aspects of the visualization of information. The authors of these (...) specially commissioned papers explore the properties of diagrams, charts, and maps, and their use in problem solving and teaching basic reasoning skills. As computers make visual representations more commonplace, it is important for professionals, researchers and students in computer science, philosophy, and logic to develop an understanding of these tools; this book can clarify the relationship between visuals and information. (shrink)

The starting point of this work is the gap between two distinct traditions in information engineering: knowledge representation and data - driven modelling. The first tradition emphasizes logic as a tool for representing beliefs held by an agent. The second tradition claims that the main source of knowledge is made of observed data, and generally does not use logic as a modelling tool. However, the emergence of fuzzy logic has blurred the boundaries between these two traditions (...) by putting forward fuzzy rules as a Janus-faced tool that may represent knowledge, as well as approximate non-linear functions representing data. This paper lays bare logical foundations of data - driven reasoning whereby a set of formulas is understood as a set of observed facts rather than a set of beliefs. Several representation frameworks are considered from this point of view: classical logic, possibility theory, belief functions, epistemic logic, fuzzy rule-based systems. Mamdani's fuzzy rules are recovered as belonging to the data - driven view. In possibility theory a third set-function, different from possibility and necessity plays a key role in the data - driven view, and corresponds to a particular modality in epistemic logic. A bi-modal logic system is presented which handles both beliefs and observations, and for which a completeness theorem is given. Lastly, our results may shed new light in deontic logic and allow for a distinction between explicit and implicit permission that standard deontic modal logics do not often emphasize. (shrink)

Informal political representation—the phenomenon of speaking or acting on behalf of others although one has not been elected or selected to do so by means of a systematized election or selection procedure—plays a crucial role in advancing the interests of groups. Sometimes, those who emerge as informal political representatives (IPRs) do so willingly (voluntary representatives). But, often, people end up being IPRs, either in their private lives or in more public political forums, over their own protests (unwilling representatives) or (...) even without their knowledge (unwitting representatives)—that is, they are conscripted. None of the few theories of informal political representation extant accommodate conscripted IPRs. The account detailed here introduces the phenomenon of conscripted informal political representation and explains its place in a complete theory of informal political representation. Conscripted IPRs can, like their voluntary counterparts, come to have significant power to influence how various audiences regard those for whom the conscripted IPRs speak or act. Upon attaining such power to influence, conscripted IPRs, like their voluntary counterparts, come to have pro tanto duties to those they represent—duties that arise despite IPRs’ unwittingness or unwillingness. Understanding the phenomenon of conscripted informal political representation allows us to surface essential normative questions about informal political representation that are otherwise occluded. (shrink)

Three experiments investigated reasoners' beliefs about causal powers; that is, their beliefs about the capacity of a putative cause to produce a given effect. Covariation-based theories (e.g., Cheng, 1997; Kelley, 1973; Novick & Cheng, 2004) posit that beliefs in causal power are represented in terms of the degree of covariation between the cause and its effect; covariation is defined in terms of the degree to which the effect occurs in the presence of the cause, and fails tooccur in the absence (...) of the cause. To test the degree to which beliefs incausal power are reflected in beliefs about covariation information, participants in three experiments rated their beliefs that putative causes have the capacity to produce a given effect (i.e., possess the causal power to produce an effect) as well as their beliefs regarding the degree to which the putative cause and effectcovary. A strong positive correlation was discovered between participants' beliefs in causal power and their beliefs that the effect occurs in the presence of the cause. However, no direct relationship was found between participants' beliefs in causal power and their belief that the effect will fail tooccur in the absence of the cause. These findings were replicated using bothwithin- (Experiments 1 and 3) and between-subject designs (Experiment 2). In Experiment 3, we extended these analyses to measures of familiarity, imageability, and detailedness of the representation. We found that participants' beliefs in causal power were strongly associated with familiarity, and imageability, but not the perceived detailedness of the cause and effect relationship. These data provide support for a multidimensional account of causal knowledge whereby people's representations of causation include, but are not limited to, the covariation, familiarity, and imageability of cause and effect relationships. (shrink)

Graphic pattern (e.g. geometric design) and number-based code (e.g. digital sequencing) can store and transmit complex information more efficiently than referential modes of representation. The analysis of the two genres and their relation to one another has not advanced significantly beyond a general classification based on motion-centred geometries of symmetry. This article examines an intriguing example of patchwork coverlets from the maritime societies of Oceania, where information referencing a complex genealogical system is lodged in geometric designs. By (...) drawing attention to the interplay of graphic pattern and number-based code and its role in the knowledge economies of maritime societies, the article offers new insight into possible ways of designing a digital informational surface that captures the behaviour of an operational system, allowing both for differentiation and integration. (shrink)

The modelling of concepts, besides involving disciplines like philosophy of mind and psychology, is a fundamental and lively research problem in several artificial intelligence (AI) areas, such as knowledge representation, machine learning, and natural language processing. In this scenario, the most prominent proposed solutions adopt different (often incompatible) assumptions about the nature of such a notion. Each of these solutions has been developed to capture some specific features of concepts and support some specific (artificial) cognitive operations. This paper (...) critically reviews the most notable computational approaches to the representation of concepts. The main goals are (i) to provide a shared terminology for the desiderata of concepts and their computational representation; (ii) to classify and assess the heterogeneous computational approaches according to the provided terminology; (iii) to provide a reader who may not be very familiar with theories of concepts with an introduction to major themes in this research and with pointers to different research projects, and (iv) to offer philosophers, and potentially AI practitioners, a well-informed guide for selecting among various (and possibly competing) computational representations of concepts. (shrink)

This paper presents a new language for isomorphic representations of legalknowledge in feature structures. The language includes predefinedstructures based on situation theory for common-sense categories, andpredefined structures based on Van Kralingens frame-based conceptualmodelling language for legal rules. It is shown that the flexibility of thefeature-structure formalism can exploited to allow for structure-preservingrepresentations of non-primitive concepts, and to enable various types ofinteraction and cross- reference between language elements. A fragment of theDutch Opium Act is used to illustrate how modelling and (...) reasoning proceed in practice. (shrink)

The knowledge representation and reasoning of both humans and artificial systems often involves conditionals. A conditional connects a consequence which holds given a precondition. It can be easily recognized in natural languages with certain key words, like “if” in English. A vast amount of literature in both fields, both artificial intelligence and psychology, deals with the questions of how such conditionals can be best represented and how these conditionals can model human reasoning. On the other hand, findings in (...) the psychology of reasoning, such as those in the Suppression Task, have led to a paradigm shift from the monotonicity assumptions in human inferences towards nonmonotonic reasoning. Nonmonotonic reasoning is sensitive for information change, that is, inferences are drawn cautiously such that retraction of previous information is not required with the addition of new information. While many formalisms of nonmonotonic reasoning have been proposed in the field of Artificial Intelligence, their capability to model properties of human reasoning has not yet been extensively investigated. In this paper, we analyzed systematically from both a formal and an empirical perspective the power of formal nonmonotonic systems to model possible explicit defeaters, as in the Suppression Task, and more implicit conditional rules that trigger nonmonotonic reasoning by the keywords in such rules. The results indicated that the classical evaluation for the correctness of inferences has to be extended in the three major aspects regarding the inference system, the knowledge base, and possible assumed exceptions for the rule. (shrink)

Information is commonly understood as knowledge or facts acquired or derived from, e.g., study, instruction or observation (Macmillan Contemporary Dictionary, 1979). On this notion, information is presumed to be both meaningful and veridical, and to have some appropriate connection to its object; it is concerned with representations and symbols in the most general sense MacKay 1969 ). Information might be misleading, but it can never be false. Deliberately misleading data is misinformation. The scientific notion of (...) class='Hi'>information abstracts from the representational idea, and includes anything that could potentially serve as a source of information. The most fundamental notion of information, attributed to a number of different authors, is "a distinction that makes a difference" MacKay 1969 ), or "a differnece that makes a difference" Bateson 1973 : 428). Information theory, then, is fundamentally the rigorous study of distinctions and their relations, inasmuch as they make a difference. (shrink)

Knowledge before belief ascription? Yes and no (depending on the type of “knowledge” under consideration). In an influential paper, Jonathan Phillips and colleagues have recently presented a fascinating and provocative big picture that challenges foundational assumptions of traditional Theory of Mind research (Phillips et al., 2020). Conceptually, this big picture is built around the main claim that ascription of knowledge is primary relative to ascription of belief. The primary form of Theory of Mind (ToM) thus (...) is so-called factive ToM that centres around knowledge-related mental states that are true rather than meta-representational ToM that centres around subjective epistemic states like belief that may or may not be true (Nagel, 2017; Phillips & Norby, 2019). Empirically, Phillips and colleagues build on converging findings from different areas: Ample research in developmental psychology shows that children track who has had informational access to events (and thus knows about the events) before they keep track of others’ potentially false beliefs (e.g., Perner & Roessler, 2012). Many studies from comparative psychology have found evidence that non-human great apes keep track of others’ perceptual and informational access while there is no convincing evidence that they keep track of others’ beliefs (Horschler et al., 2020; Martin & Santos, 2016; Call & Tomasello, 2008). And, work from cognitive psychology and experimental philosophy suggests that adults are faster, for example, to judge what others know than to judge what they believe (Phillips et al., 2018).In this commentary, we would like to critically evaluate and friendly amend the claims put forward by Phillips and colleagues. Conceptually, while we agree that some form of factive Theory of Mind is primary, we would like to raise doubts whether this primary factive ToM already involves full-fledged knowledge ascription. Empirically, we will point to potential test cases that are suitable to test Phillips and colleagues’ account against the friendly amendment proposed here. Is knowledge ascription really primary relative to belief ascription?We agree that the empirical findings reviewed by Phillips and colleagues do make a strong case for the conjecture that some form of factive ToM is indeed (phylogenetically, ontogenetically, and cognitively) primary. But we suspect that this claim, in unqualified form, may be somewhat incomplete and misleading. There is not necessarily one unitary form of factive ToM, and one notion of “knowledge“ in play across development and evolution, and perhaps not even in adults‘ Theory of Mind. This suspicion builds on several foundations: First, from an empirical point of view there have been, as highlighted by the authors, characteristic U-shaped developmental curves in some tasks of factive ToM – often a reliable indicator that different underlying processes are in play (Karmiloff-Smith, 1992). Second, from a theoretical point of view, conceptual change and dual process approaches to ToM and other forms of social cognition have highlighted the possibility of more complex developmental trajectories such that earlier and more basic forms of a conceptual competence may be supplemented and superseded by later and more sophisticated refinements (e.g. Apperly & Butterfill, 2009; Perner, 1991). For the case of factive ToM, it may be that there is a basic and primitive notion of “knowledge“ in place early in ontogeny (and perhaps phylogenetically more ancient) that shares some of the essential features of our mature “knowledge” concept: “knowledge” in this broad sense, as emphasized by the authors, is factive, not modality-specific, and allows for representations of egocentric ignorance. For this basic concept, the slogan “knowledge before belief“ may well be true. However, this basic concept need not yet be our mature notion of knowledge proper and thus this basic form of factive ToM may fall crucially short of our adult form of factive ToM. Why? Because essential elements of our mature concept of knowledge are still missing: First of all, while so-called Gettier cases and other considerations make clear that knowledge does not reduce to justified true belief (one can have justified true beliefs that still do not amount to knowledge; Gettier, 1963), according to many accounts knowledge at least presupposes justified true belief. Correspondingly, ascription of knowledge would thus presuppose ascription of belief. Now, we understand that this is one of the very traditional assumptions that Phillips and colleagues challenge, and given space restrictions we will not focus on it here any further (see, e.g, Rose & Schaffer, 2013). But there is a second crucial aspect of knowledge proper that is missing from the basic notion: knowledge proper is aspectual, and consequently reports of knowledge proper are intensional, while neither seems to be the case of basic knowledge and reports of it. Knowledge proper is aspectual in the following sense: whether or not someone knows something depends on how, under which aspects, she has had informational access to a given scene. Suppose Eve has seen Clark Kent enter the house. Does she know that Superman is in the house? It depends. If she knows about the identity Clark Kent = Superman, she does, otherwise she does not. Consequently, knowledge ascription is intensional in the sense that the substitution of co-referential terms is not necessarily truth-value preserving: “Eve knows that Clark Kent is in the house“ does not imply “Eve knows that Superman is in the house”.Now, from the point of view of cognitive development, much research suggests that children’s appreciation of the aspectuality of propositional attitudes (and the intensionality of propositional attitude reports) develops in protracted ways not before the age of four (e.g., Apperly & Robinson, 1998; Rakoczy et al., 2015; Proft et al., 2019). In fact, recent studies suggest that around age four children undergo a fundamental and coherent cognitive revolution: they acquire a solid meta-representational notion of propositional attitudes that allows them to ascribe subjective aspectual representations that may or may not be accurate: Children come to solve false belief tasks that require belief ascription at the same time as tasks that require an understanding of aspectuality, and there is strong convergence/correlation between these different tasks (Rakoczy, 2017; Rakoczy et al., 2015). These considerations thus evoke a somewhat modified picture of the developmental course of factive Theory of Mind: Some form of factive ToM, indeed, comes first (developmentally and phylogenetically). In this primary stage, subjects track agents‘ cognitive relations to the world that display some of the essential signatures of knowledge proper (factive; not modality-specific; allow for representations of egocentric ignorance). Various approaches in ToM research over the last years have aimed at describing this basic form of knowledge-like relations, for example in terms of “cognitive connections“ (Flavell, 1988), “registration“ (Apperly & Butterfill, 2009), “experiential records“ (Perner & Roessler, 2012) or “awareness relations“ (Martin & Santos, 2016). While differing in focus and details, all these accounts converge in stressing one crucial point: this early form of factive ToM allows observer to keep track of what others have or have not witnessed and, in this sense, what they do or do not know. It allows, in other words, so-called “Level I” perspective-taking (Flavell, 1977): understanding what others see. But this early form of factive ToM still falls short of knowledge ascription proper because it lacks an appreciation of the essential aspectuality of propositional attitudes in general and of knowledge in particular. In other words, it does not yet allow for “Level II” perspective-taking: understanding how different agents may represent a given scene (Fizke et al., 2017; Low & Watts, 2013; Oktay-Gür et al., 2018). Only later, around age 4, do children then develop the new meta-representational framework of propositional attitudes that goes beyond basic factive ToM. Once they have this framework and thus an understanding of aspectuality at hand, they can extend their initial and primary factive ToM to acquire the mature concept of knowledge (as at least presupposing true, justified belief, where belief is necessarily aspectual). So, while basic knowledge ascription indeed precedes belief ascription, full-blown attribution of aspectual knowledge develops in tandem with belief attribution. Or in other words: basic factive ToM precedes full-blown meta-representational ToM but full-blown factive ToM does not (since it is itself a part of full-blown meta-representational ToM). Empirical outlookThis slightly modified picture raises many interesting new empirical questions, and makes competing predictions relative to the picture put forward by Phillips and colleagues: From developmental and comparative perspectives, the modified picture would predict that “knowledge before belief” only applies for a circumscribed set of knowledge-related situations: those in which knowledge ascription does not require sensitivity to the aspectuality of knowledge (does not require distinguishing, for example, “Does she know that Clark Kent is in the house?” vs. “Does she know that Superman is in the house?”) and is limited to Level I perspective-taking. Young children before the age of four and non-human primates should be able to solve such non-aspectual knowledge ascription problems. But only older children from around age four, once they have acquired the full-fledged conceptual apparatus of meta-representation, should be able to handle aspectual knowledge ascription. Regarding adult functioning, the most fundamental question is: Do adults operate with one unitary factive ToM, as Phillips and colleagues assume? Or are there two kinds of factive ToM throughout the lifespan, as our modified picture suggests? In particular, does the more basic version remain in operation in adulthood, perhaps even as the default mode, that reveals itself under conditions of speeded responses, limited cognitive resources etc.? If the latter were true, specific performance patterns should be found. First, results such that adults are faster at knowledge ascription than at belief ascription (as found in Phillips et al., 2018) should be restricted to designs where knowledge ascription does not require any considerations of aspectuality. In such designs (as they were used in Phillips et al., 2018), subjects can make use of their primordial (non-aspectual) factive ToM in knowledge ascription, but have to use their full-fledged (aspectual) ToM in belief ascription. However, in new cases in which knowledge ascription is potentially aspectual (“Does Eve know that Superman is in the house?”), the speed difference between knowledge and belief ascription should vanish since both now require full-fledged (aspectual) ToM. Second, and relatedly, fast factive ToM should have characteristic signature limits to do with the lacking appreciation of aspectuality (Apperly & Butterfill, 2009; Low et al., 2016): Subjects under speeded conditions (or in dual task formats in which their central cognitive resources are taxed) should be unable to systematically distinguish between “Eve knows that Clark Kent is the house” (true) and “Eve knows that Superman is in the house” (possibly true). No such signature limits should be expected, in contrast, under reflective conditions in which subjects can use their full-fledged and mature factive ToM. Interestingly, these hypothetical developmental and adult performance patterns would correspond to similar patterns found in the domain of modal judgments. Adults, it seems, have two notions of modality at their disposal: a more primitive (ontogenetically old) default notion that does not differentiate between descriptive and normative modals and thus yield characteristic signature limits; and more differentiated and nuanced notions (ontogenetically more recent) that do sharply distinguish between different forms of modality. What works fast and gets addressed in speeded tasks is the primitive default notion (in speeded tasks, adults tend to confuse what is possible with what is permitted, for example, in the way very young children do) whereas the more nuanced notions reveal themselves in reflective task settings in which adults are not subject to such confusions (Phillips & Cushman, 2017). Modality judgments and factive ToM may thus reveal striking analogies. Just like in the area of modality, then, there may be basic and default factive ToM, present from early on and in operation throughout the lifespan in speeded responses (and under other conditions of limited cognitive resources), and more sophisticated factive Theory of Mind that develops later on the basis of full-fledged meta-representation and that reveals itself in more reflective judgements. (shrink)

Information is a basic structure of the world, while computation is a process of the dynamic change of information. This book provides a cutting-edge view of world's leading authorities in fields where information and computation play a central role. It sketches the contours of the future landscape for the development of our understanding of information and computation, their mutual relationship and the role in cognition, informatics, biology, artificial intelligence, and information technology. -/- This book is (...) an utterly enjoyable and engaging read which gives readers an opportunity to understand and relate phenomena seemingly unrelated in a completely new light — especially the connections between information, computation, cognition and life. -/- Contents: Cybersemiotics and the Question of Knowledge (Søren Brier) Information Dynamics in a Categorical Setting (Mark Burgin) Mathematics as a Biological Process (G J Chaitin) Information, Causation and Computation (John Collier) From Descartes to Turing: The Computational Content of Supervenience (S Barry Cooper) A Dialogue Concerning Two World Systems: Info-Computational vs Mechanistic (Gordana Dodig-Crnkovic & Vincent C Müller) Does Computing Embrace Self-Organization? (Wolfgang Hofkirchner) Analysis of Information and Computation in Physics Explains Cognitive Paradigms: From Full Cognition to Laplace Determinism to Statistical Determinism to Modern Approach (Vladik Kreinovich, Roberto Araiza & Juan Ferret) Bodies — Both Informed and Transformed Embodied Computation and Information Processing (Bruce J MacLennan) Computation on Information, Meaning and Representations: An Evolutionary Approach (Christophe Menant) Interior Grounding, Reflection, and Self-Consciousness (Marvin Minsky) A Molecular Dynamic Network: Minimal Properties and Evolutionary Implications (Walter Riofrio) Super-recursive Features of Evolutionary Processes and the Models for Computational Evolution (Darko Roglic) Towards a Modeling View of Computing (Oron Shagrir) What's Information, for an Organism or Intelligent Machine? How can a Machine or Organism Mean? (Aaron Sloman) Inconsistent Knowledge as a Natural Phenomenon: The Ranking of Reasonable Inferences as a Computational Approach to Naturally Inconsistent (Legal) Theories (Kees (CNJ) de Vey Mestdagh & Jaap Henk (JH) Hoepman) On the Algorithmic Nature of the World (Hector Zenil & Jean-Paul Delahaye) . (shrink)

SummaryThe main question of this paper is — how do representational pictures convey information? I argue: 1) This question is approached from three opposing metaphysical frameworks. a) Monism answers this question by treating representational pictures as a species of cognitive symbolism. b) Polarism answers this question by sharply distinguishing between natural symbolism and languages; and, between symbolism and reality — representational pictures are natural symbols, mimics of reality. c) Pluralism treats pictures as occupying a mid‐point between the scales of (...) reality /illusion, knowledge/deception — representational pictures are quasi‐symbolic simulations. 2) The occurrence of institutionalized deception , the game of creating/having false visual hypotheses without the making of false intellectual hypotheses — undermines monism and polarism. Consequently, 3) the pluralist approach — we gain information on the intellectual plane by the use of perceptual deception — is the most promising for explaining how representational pictures convey information.RésuméLa question principale dont s'occupe cet article est »Comment les images représentatives transmettent de l'information?« Mon argumentation: 1) Cette question est abordée dans trois cadres métaphysiques opposés: a) le monisme répond à cette question en la traitant comme une variété de symbolisme cognitif; b) le polarisme y répond en distinguant strictement entre le symbolisme naturel et les langages et entre le symbolisme et la réalité— les images représentatives sont des symboles naturels, des imitations de la réalité; c) le pluralisme traite les images comme occupant un point médian entre les échelles »realité/illusion«, »connaissance/erreur«. Les images représentatives sont des simulations quasi‐symboliques. 2) L'existence de »tromperies institutionalisées« , le jeu consistant á créer/avoir des hypothèses visuelles fausses sans faire des hypothèses intellectuelles fausses, condamnent le monisme et le polarisme. Par conséquent 3) l'approche pluraliste constitue la voie la plus prometteuse pour expliquer comment les images représentatives apportent de I'information.ZusammenfassungDie Hauptfrage, die in dem vorliegenden Aufsatz behandelt wird, ist die, wie repräsentationale Bilder Information vermitteln. Meine Argumentation lautet: 1.) Die Frage wird von drei entgegengesetzten metaphysischen Standpunkten her angegangen. a) Der Monismus beantwortet die Frage, indem er repräsentationale Bilder als eine Art von kognitiven Symbolen behandelt. b) Der Polarismus beantwortet die Frage, indem er scharf zwischen natürlichen Symbolen und Sprachen einerseits und zwischen Symbolismus und Wirklichkeit anderseits unterscheidet . c) Der Pluralismus behandelt Bilder als ein Zwischending, das in der Mitte von Wirklichkeit Illusion der Wissen/Täuschung lokalisiert wird . 2) Das Vorkommen von institutionalisierter Täuschung , das Spiel, das darin besteht, falsche visuelle Hypothesen zu schaffedhaben ohne falsche intellektuelle Hypothesen zu machen untergraben die Position des Monismus und des Polarismus. Folglich ist 3.) der pluralistische Standpunkt wonach wir auf intellektueller Ebene durch den Gebrauch von Wahrnehmungstäuschung Information gewinnen, der vielversprechenste für die Erklärung, wie repräsentationale Bilder Information vermitteln. (shrink)

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. (...) To study the computational behaviour of many-dimensional modal logics is the main aim of this book. On the one hand, it is concerned with providing a solid mathematical foundation for this discipline, while on the other hand, it shows that many seemingly different applied many-dimensional systems (e.g., multi-agent systems, description logics with epistemic, temporal and dynamic operators, spatio-temporal logics, etc.) fit in perfectly with this theoretical framework, and so their computational behaviour can be analyzed using the developed machinery. We start with concrete examples of applied one- and many-dimensional modal logics such as temporal, epistemic, dynamic, description, spatial logics, and various combinations of these. Then we develop a mathematical theory for handling a spectrum of 'abstract' combinations of modal logics - fusions and products of modal logics, fragments of first-order modal and temporal logics - focusing on three major problems: decidability, axiomatizability, and computational complexity. Besides the standard methods of modal logic, the technical toolkit includes the method of quasimodels, mosaics, tilings, reductions to monadic second-order logic, algebraic logic techniques. Finally, we apply the developed machinery and obtained results to three case studies from the field of knowledge representation and reasoning: temporal epistemic logics for reasoning about multi-agent systems, modalized description logics for dynamic ontologies, and spatio-temporal logics. The genre of the book can be defined as a research monograph. It brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). On the other hand, well-known results from modal and first-order logic are formulated without proofs and supplied with references to accessible sources. The intended audience of this book is logicians as well as those researchers who use logic in computer science and artificial intelligence. More specific application areas are, e.g., knowledge representation and reasoning, in particular, terminological, temporal and spatial reasoning, or reasoning about agents. And we also believe that researchers from certain other disciplines, say, temporal and spatial databases or geographical information systems, will benefit from this book as well. Key Features: Integrated approach to modern modal and temporal logics and their applications in artificial intelligence and computer science Written by internationally leading researchers in the field of pure and applied logic Combines mathematical theory of modal logic and applications in artificial intelligence and computer science Numerous open problems for further research Well illustrated with pictures and tables. (shrink)

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account (...) a problem regarding Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

From the literature study, it was observed that there are significantly fewer studies that review ontology- based narrative models. This motivates the current work. A parametric approach was adopted to report the existing ontology-driven models for narrative information. The work considers the narrative and ontology components as parameters. This study hopes to encompass the relevant literature and ontology models together. The work adopts a systematic literature review methodology for an extensive literature selection. The models were selected from the literature (...) using a stratified random sampling technique. The findings illustrate an overview of the narrative models across domains. The study identifies the differences and similarities of knowledge representation in ontology-based narrative information models. This paper will explore the basic concepts and top-level concepts in the models. Besides, this study provides a study of the narrative theories in the context of ongoing research. It also identifies the state-of-the-art literature for ontology-based narrative information. Keywords: ontologies, narrative information, modelling. (shrink)

Semantic analysis, – inference on the basis of semantic information and world knowledge – still is largely uncharted territory in dy- (3) namic semantics. It is needed, among other things, for the reconstruction of linguistically unspecified parts of the discourse or for restricting ambiguities introduced by prior analysis processes, i.e.

Divination has been practiced as a way of knowing and communicating for millennia. Diviners are experts who embrace the notion of moving from a boundless to a bounded realm of existence in their practice. They excel in insight, imagination, fluency in language, and knowledge of cultural traditions and human psychology. During a divination, they construct usable knowledge from oracular messages of various sorts. To do so, they link diverse domains of representational information and symbolism with emotional or (...) presentational experience. Their divinatory acts involve complementary modes of cognition associated with these rather different symbolic forms. In representational symbolism, intentional reference, within a relatively controlled inductive reality, is paramount, while in presentational symbolism, implicit experiential immersion, within a free‐flowing context, is grasped intuitively. Wherever a theory of divination has been elicited from diviners, there is a clear recognition of the overlapping of inductive, intuitive, and interpretive techniques and ways of knowing. In order to arrive at a theory of practice for divination, as a form of practical consciousness or knowledge within different modes of cognition, one must take what diviners say and do seriously. Recent scientific studies reveal that consciousness is connected both to electrical information in the brain and nervous system and to electronic semi‐conduction in body tissues. Brain consciousness is embedded in body consciousness and coupled to it. This validates the experience of mind‐body consciousness diviners have used for millennia in their performances. (shrink)

We examine a crucial question for the World Wide Web: What does a Uniform Resource Identifier (URI) mean? Crucial for the next-generation Semantic Web, can it refer to things outside web-pages? The Web is a universal information space for naming and accessing information via URIs. However, the classical philosophical problems of meaning and reference that have been the source of debate within the philosophy of language return when the Web is given as the foundation for a knowledge (...) representation with the Semantic Web. Debates on the Semantic Web about the meaning and referential status of a URI are explored as analogues to debates about the meaning and reference of names in the philosophy of language. Three main positions are inspected: the logical position, as exemplified by the descriptivist theory of reference, the direct reference position, as exemplified by Putnam and Kripke’s causal theory of reference, and a Wittgensteinian position that views URIs as a public language, as exemplified by Web search engines. These positions show that debates within the philosophy of language are alive and well on the Web, and so in the philosophy of computer science. (shrink)

This article presents a formal theory of robot perception as a form of abduction. The theory pins down the process whereby low‐level sensor data is transformed into a symbolic representation of the external world, drawing together aspects such as incompleteness, top‐down information flow, active perception, attention, and sensor fusion in a unifying framework. In addition, a number of themes are identified that are common to both the engineer concerned with developing a rigorous theory of perception, (...) such as the one on offer here, and the philosopher of mind who is exercised by questions relating to mental representation and intentionality. (shrink)

In this Hypothesis and Theory paper, we consider the problem of learning deeply structured knowledge representations in the absence of predefined ontologies, and in the context of long-term learning. In particular, we consider this process as a sequence of re-representation steps, of various kinds. The Information Dynamics of Thinking theory (IDyOT) admits such learning, and provides a hypothetical mechanism for the human-like construction of hierarchical memory, with the provision of symbols constructed by the system that (...) embodies the theory. The combination of long-term learning and meaning construction in terms of symbols grounded in perceptual experience entails that the system, like a human, be capable of memory consolidation, to manage the complex and inconsistent structures that can result from learning of information that becomes more complete over time. Such consolidation changes memory structures, and thus changes their meaning. Therefore, memory consolidation entails re-representation, while re-representation entails changes of meaning. Ultimately, the theory proposes that the processes of learning and consolidation should be considered as repeated re-representation of what is learned. (shrink)

Pour la plupart des systèmes de représentation de la connaissance orientés concept, l’un des problèmes principaux relève de la commodité technique. A savoir, la représentation de connaissance en termes prototypiques, tout comme la possibilité d’exploiter des formes de raisonnement conceptuel basées sur la typicalité, ne sont pas autorisées. Au contraire, dans les sciences cognitives, il existe des données en faveur de concepts prototypiques, et des formes non-monotoniques de raisonnement conceptuel ont été largement étudiées. Ce fossé cognitif concernant la représentation et (...) le raisonnement constitue un problème pour les systèmes computationnels, puisque l’information prototypique joue un rôle crucial dans plusieurs tâches importantes. Dans la lignée des théories du raisonnement et de la rationalité dites du double processus, nous soutenons que la représentation conceptuelle dans les systèmes computationnels devrait dépendre de (au moins) deux composantes représentationnelles, chacune spécialisée dans le traitement de différents genres de processus de raisonnement. Dans cet article, nous présentons les avantages computationnels de cette approche en termes de double processus, et les comparons brièvement avec d’autres solutions d’orientation logique, adoptées pour traiter du même problème. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for (...) building sound taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Background On December 2017 the Italian Parliament approved law n. 219/2017 “Provisions for informed consent and advance directives” regarding challenging legal and bioethical issues related to healthcare decisions and end-of life choices. The law promotes the person’s autonomy as a right and provides for the centrality of the individual in every scenario of health care by mean of three tools: informed consent, shared care planning and advance directives. Few years after the approval of the law, we conducted a survey among (...) physicians working in four health care facilities specific for the care of people suffering from psychiatric disorders, cognitive disorders and dementia located in the North of Italy aiming to investigate their perceived knowledge and training need, attitudes regarding law n. 219/2017 provisions, and practices of implementation of the law. Methods A semi-structured questionnaire was developed on an online platform. The invitation to participate in the survey was sent by email to the potential participants. Information was collected by means of the online platform (Google Forms) which allows to export data in a spreadsheet (Windows Excel) to perform basic statistical analysis (frequency distributions, bar chart representation). Results Twenty-five out of sixty physicians participated in the survey. None of the respondents value their knowledge of the law as very good, 10 good, 13 neither poor nor good, 1 poor and 1 very poor. All the respondents want to learn more about the law (21 yes and 4 absolutely yes). The majority of respondents agrees with the content of the law as a whole (3 absolutely agree, 13 agree), and on each provision. The question on the clarity of the concept of capacity in the law received mixed answers and this impacted on the physicians’ opinion regarding the legitimacy in principle for our groups of patients to realize shared care planning and write advance directives. Thirteen physicians neither introduced the theme of shared care planning nor arranged for shared care planning and the main reason for this was that no patient was in a clinical situation to require it. When shared care planning is realized, a variability in terms of type and number of meetings, mode of tracking and communication is registered. Conclusions Our survey results indicate a need for more clarity regarding the interpretation and implementation of the law in the patient groups under study. There are in particular two related areas that deserve further discussion: (1) the question of whether these patient groups are in principle legitimized by the law to realize shared care planning or write advance directives; (2) the notion of capacity required by the law and how this notion can be declined in real-life situations. (shrink)

Do Anglo-American Kant scholars typically relegate Kant’s claims about sensation, intuition, and perception to a provisional or precritical status and focus instead on the Transcendental Deduction, the second edition Refutation of Idealism, and the Analogies of Experience? Are the issues that concern these recent interpreters more appropriate to contemporary problems of meaning and reference in semantics rather than to what was of central concern to Kant? Are such approaches basically one-sided and anachronistic unless supplemented by a phenomenologically oriented interpretation? To (...) all of these questions, Richard Aquila answers in the affirmative and attempts to correct these shortcomings in his Representational Mind—a work that is clearly informed by ideas from Brentano and, to a lesser extent, from Husserl and Heidegger. But lest this triggers an immediate disinterest or avoidance in the so-called Anglo-American analytic scholars, it should be pointed out that Aquila himself is well grounded in the analytic perspective, definitely does not concentrate on Kant’s relation to his phenomenological successors, and provides a phenomenological dimension to Kant’s theory of knowledge that meshes well with the orientation of his more analytically-minded contemporaries. As he says at the end of his Preface, “In any case, I hope to have contributed to the current tendency toward ‘dialogue’ between the two approaches.” His book succeeds remarkably well in this respect. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Phenomenalistic Interpretation of Kant's Theory of Knowledge PAUL MARHENKEt Introduction THw FOLLOWINGARTXCLEwas one of two previously unpublished papers found in the effects of the late Paul Marhenke (1899-1952), who was a professor at the University of California from 1927 until his death. Because of the intrinsic interest of the paper, the editors of the Journal o/the History of Philosophy have kindly consented to publish it. I (...) have made a few revisions in the manuscript in order to prepare it for publication. These revisions do not affect the sense of the argument in any way, being confined mainly to the expansion of abbreviations, the correction of typographical mistakes, and so on. It is not known when this paper was written, or for what occasion. Professor W. R. Dennes, who wrote the biographical sketch of Paul Marhenke which is included in the In Memoriam volume published by the University of California, informs me that he was unaware of the existence of this paper. Professor Dennes writes in this connection: I can only say that ever since our year of graduate study together (1919-19207) Paul and I often discussed the question how far Kant's apparatus of Categories and so on merely expressed a strong confidence in various sorts of regularities in phenomena; and if the apparatus really grounded the confidence, did it do so by a question-begging procedure of, for example, assuming causal regularity, and then grounding and guaranteeing such regularity by a "deduction" of the category of causation. In our discussions that went on, off and on, for thirty years, Paul at various times took various positions--all interesting-and I often urged him to write out his views on the matter. I wish I knew at which stage he did write them out, but I do not. This was one subject upon which I think Paul changed his mind a good deal in the course of his years of study and teaching. Paul Marhenke's main interests in philosophy lay in epistemology and particularly in the realist-phenomenalist issue which he here discusses in the context of Kant's philosophy. For those readers who will be making their [47] 48 HISTORY OF PHILOSOPHY first acquaintance with his work, this paper will provide an impressive illustration of the subtlety of his mind and of the care with which he drew distinctions. For those of us who were familiar with the cast of his mind, former students and colleagues alike, it will evoke the man himself, with his insistence upon rigor and precision as viae mediae toward an understanding of philosophical issues--AvRuM STROLL Two CURRENTSRUN through the Kantian theory of knowledge, one subjective, the other objective. These two currents follow very often in extreme proximity, so that we find Kant speaking in the same paragraph or even in successive sentences of the object of knowledge as being nothing but a synthesis of representations, i.e., sensations, and as being distinct from those sensations and merely represented by them in the individual mind of the perceiver. The former position is indistinguishable from Berkeleyan subjectivism as far as the existential status of the objects of immediate awareness is concerned; the world perceived is merely a subjective representation of the real world of things in themselves. The argument by which this position is reached presupposes, however, the truth of the realistic assumption which is denied in the conclusion based on the argument. For the argument presupposes the causal theory of perception with its realistic presupposition of real objects, sense-organs, nerves, a brain, etc. According to Kant sensations arise in the mind due to the impinging of physical stimuli on our senseorgans. Henceforth, however, it is denied that we perceive anything but these sensations and the truth of the realistic premises on which the conclusion is based must therefore be denied. The manifold of sensations constitutes the originally given material of the mind. The question to which Kant now attempts to give an answer is how this manifold becomes organized into a world of objects. This answer is given in the Transcendental Deduction of the Categories. The Kantian solution of the problem is a failure if for no... (shrink)