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)

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)

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)

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)

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)

This volume constitutes the refereed proceedings of the Fourth International Conference on Conceptual Structures, ICCS '96, held in Sydney, Australia, in August 1996. The book presents five full papers by the invited speakers together with 15 revised full papers selected for presentation at the conference from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and (...) encoding. (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)

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)

Product acceptance determination using similarity measure index by neutrosophic statistics / Muhammad Aslam and Rehan Ahmed Khan Sherwani -- New concepts of strongly edge irregular interval-valued neutrosophic graphs / A.A.Talebi, Hossein Rashmanlou and Masoomeh Ghasemi -- The link between neutrosophy and learning : through the related concepts of representation and compression / Philippe Schweizer -- Neutrosophic soft cubic M-subalgebras of B-algebras / Mohsin Khalid, Neha Andaleeb Khalid and Hasan Khalid -- Alpha, beta and gamma product of neutrosophic graphs / (...) Nasir Shah, Said Broumi, Abdul Raheem and Tahir Imran -- Neutrosophic cubic normal ideal and neutrosophic cubic closed normal ideal of PS-algebra / Mohsin Khalid, Hasan khalid and Neha Andaleeb Khalid -- Neutrosophic multisets : an overview / Vakkas Uluçay -- Neutrosophy as a model for knowledge : the influence of representative models on thinking / Philippe Schweizer -- When neutrosophic theory meets three-way decisions / Rui Ren, Chao Zhang and Deyu Li -- Neutrosophic economic order quantity model with more than one price breaks / R. Surya, M. Mullai and G. Madhan Kumar -- General non-square systems of linear equations in single-valued triangular neutrosophic number environment / S.A. Edalatpanah -- Hesitant neutrosophic soft set relations / Abhijit Saha -- Computer application of neutrosophic set operations / S. Saranya, M. Vigneshwaran, Said Broumi -- Triangular bipolar neutrosophic based transportation problem / Avishek Chakraborty -- Studying neutrosophic variables / Rafif Alhabib and Ahmad Salama -- Decision making for logistics center location selection in trapezoidal neutrosophic environment / Kalyan Mondal and Surapati Pramanik -- Weighted similarity measure and decision making model for clinical application of single valued neutrosophic set / R.Binu and P. Isaac -- Rough neutrosophic set : an overview / Surapati Pramanik -- Some new concepts on normalized SVTN-number and multiple criteria decision making / İrfan Deli and Emel Kırmızı Öztürk. (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)

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.

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)

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)

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)

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

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

Charles W. Curtis is a prominent mathematician who has made important contributions to the field of representation theory. His textbooks in this field have been classics for a long time. In Pioneers of Representation Theory he has set out to present the historical development of the main ideas of the discipline, from the work of Georg Ferdinand Frobenius in the 1890s up to 1960. In addition to Frobenius, the book focuses mainly on three other “pioneers”: William (...) Burnside, Issai Schur, and Richard Brauer.Curtis states that his interest in the history of representation theory arose gradually, and jointly with that of Reiner, in the process of writing their textbooks. Thus, a main aim of the book is to show how the pioneers reached their important results while using only the mathematics then available to them. In order to do so, Curtis presents successive and thorough accounts of the works in which the new and seminal ideas of the pioneers were introduced and then developed. At the same time, however, he simplifies some of the original arguments by translating them into modern terminology.In an attempt to make the book appealing and accessible to a wider circle of potential readers, some of the necessary mathematics is explained. Thus Chapter 1 presents an introduction to the basic ideas and problems of nineteenth‐century algebra and number theory; later on, as the need arises, additional mathematical sections addressed to nonexperts are included. Of course, even this very clear presentation will be accessible only to readers with at least a graduate‐level knowledge of algebra.Curtis also attempts to provide some historical context. He is particularly concerned to clarify the main problems that the work of each of the mathematicians discussed here was originally meant to resolve. In a book of this kind this is surely one of the major benefits that the reader may expect to obtain.There are biographical sketches of the major figures involved, as well as additional information about other participants. Some illuminating documents are quoted, and Curtis supplies brief accounts of the mathematical traditions within which each of the pioneers was educated and worked. He acknowledges, however, that Pioneers of Representation Theory has only a limited claim as a work of historical research. He thus provides references to more historically oriented work that interested readers can consult. In particular, he mentions several articles by Thomas Hawkins; it should be stressed that much of Hawkins's work has recently been published in book form: Emergence of the Theory of Lie Groups: An Essay in the History of Mathematics, 1869–1926 . Curtis's and Hawkins's books complement each other in many important ways, and each should appeal to readers of the other.Charles Curtis has written an impressive, authoritative, and well‐informed book on a difficult subject. Mathematicians and historians of twentieth‐century mathematics with the relevant background will find it difficult but rewarding reading. Along the way, historiographical questions may arise. To what extent is it possible to translate, as Curtis does, the original proofs of the pioneers into more modern terminology and yet remain faithful to the sources? In most cases, however, it will require the technical expertise of the author himself to answer questions like this one properly. We can only hope that the firm starting point this book provides will lead Curtis to further historical research in this and related fields. (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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

In Reconstructing Reason and Representation, Murray Clarke offers a detailed study of the philosophical implications of evolutionary psychology. In doing so, he offers new solutions to key problems in epistemology and philosophy of mind, including misrepresentation and rationality. He proposes a naturalistic approach to reason and representation that is informed by evolutionary psychology, and, expanding on the massive modularity thesis advanced in work by Leda Cosmides and John Tooby, argues for a modular, adapticist account of misrepresentation and (...) class='Hi'>knowledge. Just as the reliability of representation can be defended on the basis of an account of the proper function of cognitive modularity, misrepresentation can be explained through an appeal to the "gap theory," by noting the divergence between the proper and actual domains of cognitive modules in a massively modular mind.Clarke argues for an externalist, modular reliabilism by suggesting that evolution has equipped us with generally reliable inferential systems even if they do not always produce true beliefs. He argues that reliable deductive and inductive inference occurs only when cognitive modules deal with actual domains that are sufficiently similar to their proper domains. This psychologically informed, naturalized adapticism leads to the suggestion that knowledge is a set of natural kinds housed in the modules of a massively modular mind. Typically, the proper function of these cognitive modules is to provide us with truths that enable us to satisfy our basic biological needs. Beyond reasoning modules, other cognitive modules discussed include the ability to orient ourselves in space, and our abilities with language, numbers, object reasoning, and social understanding. Clarke also defends Cosmides and Tooby's massive modularity hypothesis against such critics as Jerry Fodor by demonstrating that these critics consistently misrepresent Cosmides and Tooby's position. (shrink)

This important book explores the question of what an educational theory is and how educational theories can work. It offers a classification scheme of distinct types of educational theory and considers ways the nature of theories can inform the work of educational theorists and practitioners. Kvernbekk observes throughout how metatheoretical knowledge of the structure of theory types will improve understanding and representation of educational phenomena and enhance the ability to change these phenomena for the better. (...) The author explores how the philosophy of science can answer what a theory is and applies two influential but different theory conceptions to the field of education. It is argued that educational theories are representational devices that allow us to understand, describe and explain phenomena, and, when desired, to change them. The analysis offers a classification scheme that allows us to discriminate distinct types of educational theory: goal-directed, equivalence and interlevel theories. Examples of all three types are discussed, covering their structure, what they say about the phenomena and how they say it. The book also offers a critical overview of different conceptions of practice and different understandings of the theory-practice relationship. Encouraging a strong understanding of what theories say about the phenomena they represent, this book will be of interest to educational researchers and postgraduate students in the fields of philosophy of education, education theory and education policy. (shrink)

In this paper we introduce a nonmonotonic framework for belief revision in which reasoning about the reliability of different pieces of information based on meta-knowledge about the information is possible, and where revision strategies can be described declaratively. The approach is based on a Poole-style system for default reasoning in which entrenchment information is represented in the logical language. A notion of inference based on the least fixed point of a monotone operator is used to make (...) sure that all theories possess a consistent set of conclusions. (shrink)

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental (...) representation of a conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

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)

The recent development of the research field of Computing and Philosophy has triggered investigations into the theoretical foundations of computing and information. This thesis consists of two parts which are the result of studies in two areas of Philosophy of Computing and Philosophy of Information regarding the production of meaning and the value system with applications. The first part develops a unified dual-aspect theory of information and computation, in which information is characterized as structure, and (...) computation is the information dynamics. This enables naturalization of epistemology, based on interactive information representation and communication. In the study of systems modeling, meaning, truth and agency are discussed within the framework of the PI/PC unification. The second part of the thesis addresses the necessity of ethical judgment in rational agency illustrated by the problem of information privacy and surveillance in the networked society. The value grounds and socio-technological solutions for securing trustworthiness of computing are analyzed. Privacy issues clearly show the need for computing professionals to contribute to understanding of the technological mechanisms of Information and Communication Technology. The main original contribution of this thesis is the unified dual-aspect theory of computation/information. Semantics of information is seen as a part of the data-information-knowledge structuring, in which complex structures are self-organized by the computational processing of information. Within the unified model, complexity is a result of computational processes on informational structures. The thesis argues for the necessity of computing beyond the Turing-Church limit, motivated by natural computation, and wider by pancomputationalism and paninformationalism, seen as two complementary views of the same physical reality. Moreover, it follows that pancomputationalism does not depend on the assumption that the physical world on some basic level is digital. Contrary to many believes it is entirely compatible with dual quantum-mechanical computing. (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)

The vigorous development of online education has produced massive amounts of education data. How to mine and analyze education big data has become an urgent problem in the field of education and big data knowledge engineering. As for the dynamic learning data, knowledge tracing aims to track learners’ knowledge status over time by analyzing the learners’ exercise data, so as to predict their performance in the next time step. Deep learning knowledge tracking performs well, but they (...) mainly model the knowledge components while ignoring the personalized information of questions and learners, and provide limited interpretability in the interaction between learners’ knowledge status and questions. A context-aware attentive knowledge query network model is proposed in this paper, which combines flexible neural network models with interpretable model components inspired by psychometric theory. We use the Rasch model to regularize the embedding of questions and learners’ interaction tuples, and obtain personalized representations from them. In addition, the long-term short-term memory network and monotonic attention mechanism are used to mine the contextual information of learner interaction sequences and question sequences. It can not only retain the ability to model sequences, but also use the monotonic attention mechanism with exponential decay term to extract the hidden forgetting behavior and other characteristics of learners in the learning process. Finally, the vector dot product is used to simulate the interaction between the learners’ knowledge state and questions to improve the interpretability. A series of experimental results on 4 real-world online learning datasets show that CAKQN has the best performance, and its AUC value is improved by an average of 2.945% compared with the existing optimal model. Furthermore, the CAKQN proposed in this paper can not only track learners’ knowledge status like other models but also model learners’ forgetting behavior. In the future, our research will have high application value in the realization of personalized learning strategies, teaching interventions, and resource recommendations for intelligent online education platforms. (shrink)

Language and Theory of Mind come together in communication, but their relationship has been intensely contested. I hypothesize that pragmatic markers connect language and Theory of Mind and enable their co-development and co-evolution through a positive feedback loop, whereby the development of one skill boosts the development of the other. I propose to test this hypothesis by investigating two types of pragmatic markers: demonstratives and articles. Pragmatic markers are closed-class words that encode non-representational information that is unavailable (...) to consciousness, but accessed automatically in processing. These markers have been associated with implicit Theory of Mind because they are used to establish joint attention and mark shared knowledge. Here I develop a theoretical account of how joint attention is the basis for children’s later tracking of common ground. The developmental path from joint attention to common ground parallels language change, with demonstrative forms giving rise to definite articles. This parallel opens the possibility of modelling the emergence of Theory of Mind in human development in tandem with its routinization across language communities and generations of speakers. I therefore propose that, in order to understand the relationship between language and Theory of Mind, we should study pragmatics at three parallel timescales: during language acquisition, language use, and language change. (shrink)