In this paper we study the semantic data complexity of several controlled fragments of English designed for natural language front-ends to OWL (Web Ontology Language) and description logic ontology-based systems. Controlled languages are fragments of natural languages, obtained by restricting natural language syntax, vocabulary and semantics with the goal of eliminating ambiguity. Semantic complexity arises from the formal logic modelling of meaning in natural language and fragments thereof. It can be characterized (...) as the computational complexity of the reasoning problems associated to their semantic representations. Data complexity (the complexity of answering a question over an ontology, stated in terms of the data items stored therein), in particular, provides a measure of the scalability of controlled languages to ontologies, since tractable data complexity implies scalability of data access. We present maximal tractable controlled languages and minimal intractable controlled languages. (shrink)

The year 2012 has witnessed worldwide celebrations of Alan Turing’s 100th birthday. A great number of conferences and workshops were organized by logicians, computer scientists and researchers in AI, showing the continued flourishing of computer science, and the fruitful interfaces between logic and computer science. Logic is no longer just the concept that Frege had about one hundred years ago, let alone that of Aristotle twenty centuries before. One of the prominent features of contemporary logic is (...) its interdisciplinary character, connecting across mathematics, philosophy, modern computer science, and even the cognitive and social sciences. -/- China is no exception. This special issue explores interfaces of logic with AI and other disciplines, and it attempts to give a bird’s eye view of the developing landscape of logic and AI in China. Our contributors come from computer science, AI, philosophy and linguistics, united by their interest in using formal logical tools and notions to deal with substantial problems in their fields. We are aware that AI is a vast area, and that the limitations of space in a volume like this may provide a somewhat incomplete or biased view. Still we hope that the six papers selected here illustrate the concerns and curiosity driving Chinese researchers, on topics shared with our colleagues around the world. -/- One of the active research areas in AI is planning under uncertainty, with incomplete knowledge, where a well-established logical framework is the action language of Son and Baral (Son and Baral 2001). This language can express the notions of sensing actions and making conditional plans. However, its current semantics is not yet satisfactory, since according to the semantics an agent would not have knowledge of what happens after a plan is executed, which can be a serious problem in a safety-critical environment. In their paper Proof Systems for Planning under Cautious Semantics (Shen and Zhao 2013), Yuping Shen and Xishun Zhao address this problem and propose a cautious and weakly cautious semantics for the action language. This new semantics enables the agent to know exactly what happens after executing an action. Hoare style proof systems are then proposed and proved to be sound and complete. What is more, the proposed new system reduces the reasoning complexity of the action language. -/- In Preferential Semantics for Plausible Subsumption in Possibility Theory (Qi and Zhang 2013), Guilin Qi and Zhizheng Zhang investigate another important issue in AI: how to handle exceptions in a knowledge-based system. This has become a hot topic in recent years, especially in ontological design, where description logics are widely used. The question then arises whether we can get a nonmonotonic extension of description logic. To answer this, the authors first propose three preferential semantics for plausible subsumption in the framework of possibility theory (Dubois and Prade 1985) and study their properties and their relationships. Then they introduce preferential subsumptions to a description logic-based knowledge system, and define an entailment relation of plausible subsumption. Moreover, they study reductions of the new semantics to standard semantics for an expressive description logic. -/- Counterfactual reasoning has been explored extensively by philosophers, cf. Lewis (1973), Stalnaker (1968). But in the last two decades, causal models have been proposed for modeling counterfactual reasoning by researchers in AI. In A Lewisian Logic of Causal Counterfactuals (Zhang 2013), Jiji Zhang studies classes of causal models and provides formal characterizations. In particular, a new logic system is proposed and proved complete for the class of ‘Lewisian models’ satisfying all the principles of David Lewis’s logic of counterfactuals. Moreover, Zhang compares his new framework with those of Lewis and Stalnaker, and also establishes formal connections with more recent approaches by Galles and Pearl, and by Halpern. -/- Consistency is a fundamental notion in logic, but it also plays a key role in many techniques for solving constraint satisfaction problems (Mackworth 1977). In Variable-Centered Consistency in Model RB (Li et al. 2013), Liang Li, Tian Liu and Ke Xu start with a discussion of i-consistency in ‘Model RB’ and ‘Model RD’, two models of random constraint satisfaction problems with growing domain size, then compare it with the notion of t-consistency and strong t-consistency in well-known earlier work by Freuder. After that, the authors define a new kind of variable-centered consistency, and show an upper bound on a suitably chosen parameter in Model RB and Model RD, such that up to this bound, all typical instances of Model RB are variable-centered consistent. -/- Language understanding is a cognitive process that human beings carry out every day. Metaphor is a pervasive phenomenon in natural languages, and its cognitive role calls for interpretation. There is a growing body of literature on cognitive mechanisms underlying metaphor. The paper An Ontology-Based Approach to Metaphor Cognitive Computation (Huang et al. 2013) by Xiaoxi Huang, Huaxin Huang, Beishui Liao, and Cihua Xu proposes a theoretical framework for metaphor understanding based on recent results from cognitive science (Shutova 2010). They then introduce ontology as a knowledge representation method, and present a new ontological model to formalize metaphor-based knowledge. An algorithmic description is provided using a quantitative measure of integrated degree, and its effectiveness is demonstrated. -/- Puzzles and their solution mechanisms are a recurrent theme in many fields. Dynamic epistemic logic (van Ditmarsch et al. 2007); (van Benthem 2011) is a recent framework that can handle information dynamics in knowledge puzzles. In Reasoning About Agent Types and the Hardest Logic Puzzle Ever (Liu and Wang 2013), Fenrong Liu and Yanjing Wang propose a new dynamic-epistemic logic that can specify different types of agents and analyse agents’ knowledge, communication and reasoning. To demonstrate its power, Smullyan’s well-known Knights and Knaves puzzles are formalized, as well as the Hardest Logic Puzzle Ever (HLPE) of Boolos (Boolos 1996). Moreover, a spectrum of new puzzles is found involving knowledge-based agent types, and their solution complexity is shown to be harder than that for existing logic puzzles. It is also shown that a version of HLPE in which the agents do not know the others’ types does not have a solution at all. -/- Finally, we would like to thank the editor of Minds and Machines, Gregory Wheeler, for his efficient assistance and kind support. We also thank Ties Nijssen at Springer for his encouragement to start this project at the first place. And of course, our appreciation goes to our authors, as well as all the colleagues who have helped us review the papers in this collection. (shrink)

The assembly of products or components by operators in industries is a complex task with recurring problems. In these processes, operators often make errors that can lead to defective products. Therefore, they need to be inspected later to verify their correct assembly. The main problems are caused by several reasons including high employee turnover, lack of experience in manufacturing specific products or confusion in interpreting instructions to assemble similar components. In this paper, a novel structured language aimed to describe (...) the required actions to manufacture a product in industrial assembly environments is presented. The main contribution is to provide a formal language to feed automatic systems that can verify through visual control whether the actions performed by the operator are carried out following the standard described by this language. In general, the use of this formal language will allow to minimize the negative impact of errors during assembly and to reduce waste in many forms in the industry. (shrink)

Controlled natural languages (CNL) with a direct mapping to formal logic have been proposed to improve the usability of knowledge representation systems, query interfaces, and formal specifications. Predictive editors are a popular approach to solve the problem that CNLs are easy to read but hard to write. Such predictive editors need to be able to “look ahead” in order to show all possible continuations of a given unfinished sentence. Such lookahead features, however, are difficult to implement in (...) a satisfying way with existing grammar frameworks, especially if the CNL supports complex nonlocal structures such as anaphoric references. Here, methods and algorithms are presented for a new grammar notation called Codeco, which is specifically designed for controlled natural languages and predictive editors. A parsing approach for Codeco based on an extended chart parsing algorithm is presented. A large subset of Attempto Controlled English has been represented in Codeco. Evaluation of this grammar and the parser implementation shows that the approach is practical, adequate and efficient. (shrink)

Formalisms based on one or other flavor of Description Logic (DL) are sometimes put forward as helping to ensure that terminologies and controlled vocabularies comply with sound ontological principles. The objective of this paper is to study the degree to which one DL-based biomedical terminology (SNOMED CT) does indeed comply with such principles. We defined seven ontological principles (for example: each class must have at least one parent, each class must differ from its parent) and examined the (...) properties of SNOMED CT classes with respect to these principles. Our major results are: 31% of these classes have a single child; 27% have multiple parents; 51% do not exhibit any differentiae between the description of the parent and that of the child. The applications of this study to quality assurance for ontologies are discussed and suggestions are made for dealing with the phenomenon of multiple inheritance. The advantages and limitations of our approach are also discussed. (shrink)

ABSTRACT I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments. INTRODUCTION In contrast to the classic model of randomized-control trials, often with a large number (...) of subjects enrolled, precision medicine attempts to optimize therapeutic outcomes by focusing on the individual.[i] A recent publication highlights the strengths and weakness of both traditional evidence-based medicine and precision medicine.[ii] Plus, it outlines a tension in the shift from evidence-based medicine’s inductive reasoning style (the collection of data to postulate general theories) to precision medicine’s abductive reasoning style (the generation of an idea from the limited data available).[iii] The paper’s main example is the application of precision medicine for the treatment of cancer.[iv] I argue that this examination and appreciation for the shift to abductive reasoning should be extended to the intersection of neuroscience and novel brain-computer interfaces too. As the name suggests, brain-computer interfaces are a significant advancement in neurotechnology that directly connects someone’s brain to external or implanted devices.[v] Among the various kinds of brain-computer interfaces, adaptive deep brain stimulation devices require numerous personalized adjustments to their settings during the implantation and computation stages in order to provide adequate relief to patients with treatment-resistant disorders. What makes these devices unique is how adaptive deep brain stimulation integrates a sensory component to initiate the stimulation. While not commonly at the level of sophistication as self-supervising or generative large language models,[vi] they currently allow for a semi-autonomous form of neuromodulation. This paper highlights the implications of applying abductive reasoning to personalized implantable neurotechnologies. Then, it explores whether abductive reasoning is sufficient to justify insurance coverage for devices absent widespread clinical trials, which are better applied to one-size-fits-all treatments.[vii] ANALYSIS I. The State of Precision Medicine in Oncology and the Epistemological Shift While a thorough overview of precision medicine for the treatment of cancer is beyond the scope of this article, its practice can be roughly summarized as identifying clinically significant characteristics a patient possesses (e.g., genetic traits) to land on a specialized treatment option that, theoretically, should benefit the patient the most.[viii] However, in such a practice of stratification patients fall into smaller and smaller populations and the quality of evidence that can be applied to anyone outside these decreases in turn.[ix] As inductive logic helps to articulate, the greater the number of patients that respond to a particular therapy the higher the probability of its efficacy. By straying from this logical framework, precision medicine opens the treatment of cancer to more uncertainty about the validity of these approaches to the resulting disease subcategories.[x] Thus, while contemporary medical practices explicitly describe some treatments as “personalized”, they ought not be viewed as inherently better founded than other therapies.[xi] A relevant contemporary case of precision medicine out of Norway focuses on the care of a patient with cancer between the ventricles of the heart and esophagus, which had failed to respond to the standard regimen of therapies over four years.[xii] In a last-ditch effort, the patient elected to pay out-of-pocket for an experimental immunotherapy (nivolumab) at a private hospital. He experienced marked improvements and a reduction in the size of the tumor. Understandably, the patient tried to pursue further rounds of nivolumab at a public hospital. However, the hospital initially declined to pay for it given the “lack of evidence from randomised clinical trials for this drug relating to this [patient’s] condition.”[xiii] In rebuttal to this claim, the patient countered that he was actually similar to a subpopulation of patients who responded in “open‐label, single arm, phase 2 studies on another immune therapy drug” (pembrolizumab).[xiv] Given this interpretation of the prior studies and the patient’s response, further rounds of nivolumab were approved. Had the patient not had improvements in the tumor’s size following a round of nivolumab, then pembrolizumab’s prior empirical evidence in isolation would have been insufficient, inductively speaking, to justify his continued use of nivolumab.[xv] The case demonstrates a shift in reasoning from the traditional induction to abduction. The phenomenon of ‘cancer improvement’ is considered causally linked to nivolumab and its underlying physiological mechanisms.[xvi] However, “the weakness of abductions is that there may always be some other better, unknown explanation for an effect. The patient may for example belong to a special subgroup that spontaneously improves, or the change may be a placebo effect. This does not mean, however, that abductive inferences cannot be strong or reasonable, in the sense that they can make a conclusion probable.”[xvii] To demonstrate the limitations of relying on the abductive standard in isolation, commentators have pointed out that side effects in precision medicine are hard to rule out as being related to the initial intervention itself unless trends from a group of patients are taken into consideration.[xviii] As artificial intelligence (AI) assists the development of precision medicine for oncology, this uncertainty ought to be taken into consideration. The implementation of AI has been crucial to the development of precision medicine by providing a way to combine large patient datasets or a single patient with a large number of unique variables with machine learning to recommend matches based on statistics and probability of success upon which practitioners can base medical recommendations.[xix] The AI is usually not establishing a causal relationship[xx] – it is predicting. So, as AI bleeds into medical devices, like brain-computer interfaces, the same cautions about using abductive reasoning alone should be carried over. II. Responsive Neurostimulation, AI, and Personalized Medicine Like precision medicine in cancer treatment, computer-brain interface technology similarly focuses on the individual patient through personalized settings. In order to properly expose the intersection of AI, precision medicine, abductive reasoning, and implantable neurotechnologies, the descriptions of adaptive deep brain stimulation systems need to deepen.[xxi] As a broad summary of adaptive deep brain stimulation, to provide a patient with the therapeutic stimulation, a neural signal, typically referred to as a local field potential,[xxii] must first be detected and then interpreted by the device. The main adaptive deep brain stimulation device with premarket approval, the NeuroPace Responsive Neurostimulation system, is used to treat epilepsy by detecting and storing “programmer-defined phenomena.”[xxiii] Providers can optimize the detection settings of the device to align with the patient’s unique electrographic seizures as well as personalize the reacting stimulation’s parameters.[xxiv] The provider adjusts the technology based on trial and error. One day machine learning algorithms will be able to regularly aid this process in myriad ways, such as by identifying the specific stimulation settings a patient may respond to ahead of time based on their electrophysiological signatures.[xxv] Either way, with AI or programmers, adaptive neurostimulation technologies are individualized and therefore operate in line with precision medicine rather than standard treatments based on large clinical trials. Contemporary neurostimulation devices are not usually sophisticated enough to be prominent in AI discussions where the topics of neural networks, deep learning, generative models, and self-attention dominate the conversation. However, implantable high-density electrocorticography arrays (a much more sensitive version than adaptive deep brain stimulation systems use) have been used in combination with neural networks to help patients with neurologic deficits from a prior stroke “speak” through a virtual avatar.[xxvi] In some experimental situations, algorithms are optimizing stimulation parameters with increasing levels of independence.[xxvii] An example of neurostimulation that is analogous to the use of nivolumab in Norway surrounds a patient in the United States who was experiencing both treatment-resistant OCD and temporal lobe epilepsy.[xxviii]Given the refractory nature of her epilepsy, implantation of an adaptive deep brain stimulation system was indicated. As a form of experimental therapy, her treatment-resistant OCD was also indicated for the off-label use of an adaptive deep brain stimulation set-up. Another deep brain stimulation lead, other than the one implanted for epilepsy, was placed in the patient’s right nucleus accumbens and ventral pallidum region given the correlation these nuclei had with OCD symptoms in prior research. Following this, the patient underwent “1) ambulatory, patient-initiated magnet-swipe storage of data during moments of obsessive thoughts; (2) lab-based, naturalistic provocation of OCD-related distress (naturalistic provocation task); and (3) lab-based, VR [virtual reality] provocation of OCD-related distress (VR provocation task).”[xxix] Such signals were used to identify when to deliver the therapeutic stimulation in order to counter the OCD symptoms. Thankfully, following the procedure and calibration the patient exhibited marked improvements in their OCD symptoms and recently shared her results publicly.[xxx] In both cases, there is a similar level of abductive justification for the efficacy of the delivered therapy. In the case study in which the patient was treated with adaptive deep brain stimulation, they at least had their neural activity tested in various settings to determine the optimum parameters for treatment to avoid them being based on guesswork. Additionally, the adaptive deep brain stimulation lead was already placed before the calibration trials were conducted, meaning that the patient had already taken on the bulk of the procedural risk before the efficacy could be determined. Such an efficacy test could have been replicated in the first patient’s cancer treatment, had it been biopsied and tested against the remaining immunotherapies in vitro. Yet, in the case of cancer with few options, one previous dose of a drug that appeared to work on the patient may justify further doses. However, as the Norwegian case presents, corroboration with known responses to a similar drug (from a clinical trial) could be helpful to validate the treatment strategy. (It should be noted that both patients were resigned to these last resort options regardless of the efficacy of treatment.) There are some elements of inductive logic seen with adaptive deep brain stimulation research in general. For example, abductively the focus could be that patient X’s stimulation parameters are different from patient Y’s and patient Z’s. In contrast, when grouped as subjects who obtained personalized stimulation, patients X, Y, and Z demonstrate an inductive aspect to this approach’s safety and/or efficacy. The OCD case holds plenty of abductive characteristics in line with precision medicine’s approach to treating cancer and as more individuals try the method, there will be additional data. With the gradual integration of AI into brain-computer interfaces in the name of efficacy, this reliance on abduction will continue, if not grow, over time. Moving forward, if a responsive deep brain stimulation treatment is novel and individualized (like the dose of nivolumab) and there is some other suggestion of efficacy (like clinical similarities to other patients in the literature), then it may justify insurance coverage for the investigative intervention, absent other unrelated reasons to deny it. III. Ethical Implications and Next Steps While AI’s use in oncology and neurology is not yet as prominent as its use in other fields (e.g., radiology), it appears to be on the horizon for both.[xxxi] AI can be found in both the functioning of the neurotechnologies as well as the implementation of precision medicine. The increasing use of AI may serve to further individualize both oncologic and neurological therapies. Given these implications and the handful of publications cited in this article, it is important to have a nuanced evaluation of how these treatments, which heavily rely on abductive justification, ought to be managed. The just use an abductive approach may be difficult as AI infused precision medicine is further pursued. At baseline, such technology relies on a level of advanced technology literacy among the general public and could exclude populations who lack access to basic technological infrastructure or know-how from participation.[xxxii] Even among nations with adequate infrastructure, as more patients seek out implantable neurotechnologies, which require robust healthcare resources, the market will favor patient populations that can afford this complex care.[xxxiii] If patients already have the means to pay for an initial dose/use of a precision medicine product out of pocket, should insurance providers be required to cover subsequent treatments?[xxxiv] That is, if a first dose of a cancer drug or a deep brain stimulator over its initial battery life is successful, patients may feel justified in having the costs of further treatments covered. The Norwegian patient’s experience implies there is a precedent for the idea that some public insurance companies ought to cover successful cancer therapies, however, insurance companies may not all see themselves as obligated to cover neurotechnologies that rely on personalized settings or that are based on precision/abductive research more than on clinical trials. CONCLUSION The fact that the cases outlined above rely on abductive style of reasoning implies that there may not be as strong a justification for coverage by insurance, as they are both experimental and individualized, when compared to the more traditional large clinical trials in which groups have the same or a standardized protocol (settings/doses). If a study is examining the efficacy of a treatment with a large cohort of patients or with different experimental groups/phases, insurance companies may conclude that the resulting symptom improvements are more likely to be coming from the devices themselves. A preference for inductive justification may take priority when ruling in favor of funding someone’s continued use of an implantable neurostimulator. There are further nuances to this discussion surrounding the classifications of these interventions as research versus clinical care that warrant future exploration, since such a distinction is more of a scale[xxxv] than binary and could have significant impacts on the “right-to-try” approach to experimental therapies in the United States.[xxxvi] Namely, given the inherent limitations of conducting large cohort trials for deep brain stimulation interventions on patients with neuropsychiatric disorders, surgically innovative frameworks that blend abductive and inductive methodologies, like with sham stimulation phases, have traditionally been used.[xxxvii] Similarly, for adaptive brain-computer interface systems, if there are no large clinical trials and instead only publications that demonstrate that something similar worked for someone else, then, in addition to the evidence that the first treatment/dose worked for the patient in question, the balance of reasoning would be valid and arguably justify insurance coverage. As precision approaches to neurotechnology become more common, frameworks for evaluating efficacy will be crucial both for insurance coverage and for clinical decision making. ACKNOWLEDGEMENT This article was originally written as an assignment for Dr. Francis Shen’s “Bioethics & AI” course at Harvard’s Center for Bioethics. I would like to thank Dr. Shen for his comments as well as my colleagues in the Lázaro-Muñoz Lab for their feedback. - [i] Jonathan Kimmelman and Ian Tannock, “The Paradox of Precision Medicine,” Nature Reviews. Clinical Oncology 15, no. 6 (June 2018): 341–42, https://doi.org/10.1038/s41571-018-0016-0. [ii] Henrik Vogt and Bjørn Hofmann, “How Precision Medicine Changes Medical Epistemology: A Formative Case from Norway,” Journal of Evaluation in Clinical Practice 28, no. 6 (December 2022): 1205–12, https://doi.org/10.1111/jep.13649. [iii] David Barrett and Ahtisham Younas, “Induction, Deduction and Abduction,” Evidence-Based Nursing 27, no. 1 (January 1, 2024): 6–7, https://doi.org/10.1136/ebnurs-2023-103873. [iv] Vogt and Hofmann, “How Precision Medicine Changes Medical Epistemology,” 1208. [v] Wireko Andrew Awuah et al., “Bridging Minds and Machines: The Recent Advances of Brain-Computer Interfaces in Neurological and Neurosurgical Applications,” World Neurosurgery, May 22, 2024, S1878-8750(24)00867-2, https://doi.org/10.1016/j.wneu.2024.05.104. [vi] Mark Riedl, “A Very Gentle Introduction to Large Language Models without the Hype,” Medium (blog), May 25, 2023, https://mark-riedl.medium.com/a-very-gentle-introduction-to-large-language-models-without-the-hype-5f67941fa59e. [vii] David E. Burdette and Barbara E. Swartz, “Chapter 4 - Responsive Neurostimulation,” in Neurostimulation for Epilepsy, ed. Vikram R. Rao (Academic Press, 2023), 97–132, https://doi.org/10.1016/B978-0-323-91702-5.00002-5. [viii] Kimmelman and Tannock, 2018. [ix] Kimmelman and Tannock, 2018. [x] Simon Lohse, “Mapping Uncertainty in Precision Medicine: A Systematic Scoping Review,” Journal of Evaluation in Clinical Practice 29, no. 3 (April 2023): 554–64, https://doi.org/10.1111/jep.13789. [xi] Kimmelman and Tannock, “The Paradox of Precision Medicine.” [xii] Vogt and Hofmann, 1206. [xiii] Vogt and Hofmann, 1206. [xiv] Vogt and Hofmann, 1206. [xv] Vogt and Hofmann, 1207. [xvi] Vogt and Hofmann, 1207. [xvii] Vogt and Hofmann, 1207. [xviii] Vogt and Hofmann, 1210. [xix] Mehar Sahu et al., “Chapter Three - Artificial Intelligence and Machine Learning in Precision Medicine: A Paradigm Shift in Big Data Analysis,” in Progress in Molecular Biology and Translational Science, ed. David B. Teplow, vol. 190, 1 vols., Precision Medicine (Academic Press, 2022), 57–100, https://doi.org/10.1016/bs.pmbts.2022.03.002. [xx] Stefan Feuerriegel et al., “Causal Machine Learning for Predicting Treatment Outcomes,” Nature Medicine 30, no. 4 (April 2024): 958–68, https://doi.org/10.1038/s41591-024-02902-1. [xxi] Sunderland Baker et al., “Ethical Considerations in Closed Loop Deep Brain Stimulation,” Deep Brain Stimulation 3 (October 1, 2023): 8–15, https://doi.org/10.1016/j.jdbs.2023.11.001. [xxii] David Haslacher et al., “AI for Brain-Computer Interfaces,” 2024, 7, https://doi.org/10.1016/bs.dnb.2024.02.003. [xxiii] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 103–4; “Premarket Approval (PMA),” https://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfpma/pma.cfm?id=P100026. [xxiv] Burdette and Swartz, “Chapter 4 - Responsive Neurostimulation,” 104. [xxv] Burdette and Swartz, 126. [xxvi] Sean L. Metzger et al., “A High-Performance Neuroprosthesis for Speech Decoding and Avatar Control,” Nature 620, no. 7976 (August 2023): 1037–46, https://doi.org/10.1038/s41586-023-06443-4. [xxvii] Hao Fang and Yuxiao Yang, “Predictive Neuromodulation of Cingulo-Frontal Neural Dynamics in Major Depressive Disorder Using a Brain-Computer Interface System: A Simulation Study,” Frontiers in Computational Neuroscience 17 (March 6, 2023), https://doi.org/10.3389/fncom.2023.1119685; Mahsa Malekmohammadi et al., “Kinematic Adaptive Deep Brain Stimulation for Resting Tremor in Parkinson’s Disease,” Movement Disorders 31, no. 3 (2016): 426–28, https://doi.org/10.1002/mds.26482. [xxviii] Young-Hoon Nho et al., “Responsive Deep Brain Stimulation Guided by Ventral Striatal Electrophysiology of Obsession Durably Ameliorates Compulsion,” Neuron 0, no. 0 (October 20, 2023), https://doi.org/10.1016/j.neuron.2023.09.034. [xxix] Nho et al. [xxx] Nho et al.; Erik Robinson, “Brain Implant at OHSU Successfully Controls Both Seizures and OCD,” OHSU News, accessed March 3, 2024, https://news.ohsu.edu/2023/10/25/brain-implant-at-ohsu-successfully-controls-both-seizures-and-ocd. [xxxi] Awuah et al., “Bridging Minds and Machines”; Haslacher et al., “AI for Brain-Computer Interfaces.” [xxxii] Awuah et al., “Bridging Minds and Machines.” [xxxiii] Sara Green, Barbara Prainsack, and Maya Sabatello, “The Roots of (in)Equity in Precision Medicine: Gaps in the Discourse,” Personalized Medicine 21, no. 1 (January 2024): 5–9, https://doi.org/10.2217/pme-2023-0097. [xxxiv] Green, Prainsack, and Sabatello, 7. [xxxv] Robyn Bluhm and Kirstin Borgerson, “An Epistemic Argument for Research-Practice Integration in Medicine,” The Journal of Medicine and Philosophy: A Forum for Bioethics and Philosophy of Medicine 43, no. 4 (July 9, 2018): 469–84, https://doi.org/10.1093/jmp/jhy009. [xxxvi] Vijay Mahant, “‘Right-to-Try’ Experimental Drugs: An Overview,” Journal of Translational Medicine 18 (June 23, 2020): 253, https://doi.org/10.1186/s12967-020-02427-4. [xxxvii] Michael S. Okun et al., “Deep Brain Stimulation in the Internal Capsule and Nucleus Accumbens Region: Responses Observed during Active and Sham Programming,” Journal of Neurology, Neurosurgery & Psychiatry 78, no. 3 (March 1, 2007): 310–14, https://doi.org/10.1136/jnnp.2006.095315. (shrink)

Knowledge representation and reasoning (KRR) is a fundamental area in artificial intelligence (AI) research, focusing on encoding world knowledge as logical formulae in ontologies. This formalism enables logic-based AI systems to deduce new insights from existing knowledge. Within KRR, description logics (DLs) are a prominent family of languages to represent knowledge formally. They are decidable fragments of first-order logic, and their models can be visualized as edge- and vertex-labeled directed binary graphs. DLs facilitate various reasoning tasks, (...) including checking the satisfiability of statements and deciding entailment. However, a significant challenge arises in the computation of models of DL ontologies in the context of explaining reasoning results. Although existing algorithms efficiently compute models for reasoning tasks, they usually do not consider aspects of human cognition, leading to models that may be less effective for explanatory purposes. This paper tackles this challenge by proposing an approach to enhance the intelligibility of models of DL ontologies for users. By integrating insights from cognitive science and philosophy, we aim to identify key graph properties that make models more accessible and useful for explanation. (shrink)

Ontologies formally represent reality in a way that limits ambiguity and facilitates automated reasoning and data fusion, but is often daunting to the non-technical user. Thus, many researchers have endeavored to hide the formal syntax and semantics of ontologies behind the constructs of Controlled Natural Languages (CNLs), which retain the formal properties of ontologies while simultaneously presenting that information in a comprehensible natural language format. In this paper, we build upon previous work in this field (...) by evaluating prospects of implementing International Technology Alliance Controlled English (ITACE) as a middleware for ontology editing. We also discuss at length a prototype of a natural language conversational interface application designed to facilitate ontology editing via the formulation of CNL constructs. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships (...) among existing concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies. (shrink)

When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on (...) commitment to individuals, I argue, is that his choice of regimented language is heavily informed by his holist epistemology, in which objects are introduced via a description of their explanatory role. But non-holists can coherently attempt to commit to individuals using directly referential expressions, modelled in a formal language as constants. While holding on to the insight that a logical language is a helpful medium for ontology, I propose instead a more permissive language of regimentation, one expanded to permit the use of constants to record attempts to commit to individuals, which allows us to make sense of non-holist theories with alternative name-based or name-and-variable-based criteria of ontological commitment as well as Quinean theories. (shrink)

This article applies the thesis of the extended mind to ambient smart environments. These systems are characterised by an environment, such as a home or classroom, infused with multiple, highly networked streams of smart technology working in the background, learning about the user and operating without an explicit interface or any intentional sensorimotor engagement from the user. We analyse these systems in the context of work on the “classical” extended mind, characterised by conditions such as “trust and glue” and phenomenal (...) transparency, and find that these conditions are ill-suited to describing our engagement with ambient smart environments. We then draw from the active inference framework, a theory of brain function which casts cognition as a process of embodied uncertainty minimisation, to develop a version of the extended mind grounded in a process ontology, where the boundaries of mind are understood to be multiple and always shifting. Given this more fluid account of the extended mind, we argue that ambient smart environments should be thought of as extended allostatic control systems, operating more or less invisibly to support an agent’s biological capacity for minimising uncertainty over multiple, interlocking timescales. Thus, we account for the functionality of ambient smart environments as extended systems, and in so doing, utilise a markedly different version of the classical thesis of extended mind. (shrink)

Ontology languages for the Semantic Web have their strengths and weaknesses, in particular in the light of deploying them for biological and medical information systems. We survey and compare the Description Logics-based OWL languages, and the DL-Lite and DLR families of languages. Language choices that an ontology developer has to make are, among others, expressivity with n-ary relations (where n > 2) and more role properties versus ontology usage for data-intensive tasks. Guidelines are suggested to facilitate choosing the (...) language best fitted for a task. (shrink)

Objectives: Medical decision support and other intelligent applications in the life sciences depend on increasing amounts of digital information. Knowledge bases as well as formal ontologies are being used to organize biomedical knowledge and data. However, these two kinds of artefacts are not always clearly distinguished. Whereas the popular RDF(S) standard provides an intuitive triple-based representation, it is semantically weak. Description logics based ontology languages like OWL-DL carry a clear-cut semantics, but they are computationally expensive, and they are (...) often misinterpreted to encode all kinds of statements, including those which are not ontological. Method: We distinguish four kinds of statements needed to comprehensively represent domain knowledge: universal statements, terminological statements, statements about particulars and contingent statements. We argue that the task of formal ontologies is solely to represent universal statements, while the non-ontological kinds of statements can nevertheless be connected with ontological representations. To illustrate these four types of representations, we use a running example from parasitology. Results: We finally formulate recommendations for semantically adequate ontologies that can efficiently be used as a stable framework for more context-dependent biomedical knowledge representation and reasoning applications like clinical decision support systems. (shrink)

Contemporary semantic description of logic is based on the ontology of all possible interpretations, an insufficiently clear metaphysical concept. In this article, logic is described as the internal organization of language. Logical concepts -- logical constants, logical truths, and logical consequence -- are defined using the internal syntactic and semantic structure of language. For a first-order language, it has been shown that its logical constants are connectives and a certain type of quantifiers for which (...) the universal and existential quantifiers form a functionally complete set of quantifiers. Neither equality nor cardinal quantifiers belong to the logical constants of a first-order language. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies.[1] To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO).[2] With this project we aim to move beyond the (...) level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. (shrink)

Preface -- Part I: Philosophical logic and philosophy of language -- Rules versus theorems : a new approach for mediation -- Between intuitionistic and two-valued logic -- On the relation between the partition of a whole into parts and the attribution of properties to an object -- Basic objectives of dialogic logic in historical perspective -- Pragmatic and semiotic prerequisites for predication : a dialogue model -- Pragmatics and semiotics : the peircean version of ontology and (...) epistemology -- Intentionality and its language-dependency -- Meaning postulates and rules of argumentation : remarks concerning the pragmatic tie between meaning (of terms) and truth (of propositions) -- What do language games measure? -- Features of Indian logic -- Part II: Methods in philosophy, in art, and in science -- The concept of science : some remarks on the methodological issue construction versus description in the philosophy of science -- Is and ought revisited -- Competition and cooperation : are they antagonistic or complementary? -- Another version of methodological dualism -- The pre-established harmony between the two Adams -- On the way to conceptual and perceptual knowledge -- Self and other : remarks on human nature and human culture -- On the concept of symmetry -- Procedural principles of the Eerlangen School : on the interrelation between the principles of method, of dialogue, and of reason. (shrink)

The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the (...) level of controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

All except three of the papers in this volume were presented at the colloquium on "L'Ontologie formelle aujourd'hui", Geneva, 3-5 June 1988. The three exceptions, the papers by David Armstrong, Uwe Meixner and Wolfgang Lenzen, were presented at the colloquium on "Properties", Zinal, June 1-3, 1990. It was, incidentally, at the second of these two colloquia that the European Society for Analytic Philosophy came into being. The fathers of analytic philosophy - Moore and Russell - were in no doubt that (...) ontology or metaphysics as well as the topics oflanguage, truth and logic constituted the core subject-matter of their "analytic realism", 1 for the task of metaphysics as they conceived things was the description of 2 the world. And logic and ontology are indissolubly linked in the system of the grandfather of analytic philosophy, Frege. After the Golden Age of analytic philosophy - in Cambridge and Austria - opposition to realism as well as the "linguistic turn" contributed for a long time to the eclipse of ontology. 3 Thanks in large measure to the work of some of the senior contributors to the present volume - Roderick Chisholm, Herbert Hochberg, David Armstrong and Karel Lambert - ontology and metaphysics now enjoy once again the central position they occupied some eighty years ago in the heyday of analytic philosophy. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted (...) on knowledge representation came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

In the tradition of quantified modal logic, it was assumed that significantly different linguistic systems underlie reference to individuals, to times and to ‘possible worlds’. Various results from recent research in formal semantics suggest that this is not so, and that there is in fact apervasive symmetrybetween the linguistic means with which we refer to these three domains. Reference to individuals, times and worlds is uniformly effected through generalized quantifiers, definite descriptions, and pronouns, and in each domain grammatical features (...) situate the reference of terms as near, far or ‘further’ from the actual or from a reported speech act. We outline various directions in which a program ofontological symmetrycould be developed, and we offer in theAppendixa symmetric fragment developed in a logic that can be seen as a compromise between an extensional and an intensional system. (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)

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of (...) descriptions, which is developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)

A number of general points behind the story of this paper may be worth setting out separately, now that we have come to the end.There is perhaps one obvious omission to be addressed right away. Although the word “information” has occurred throughout this paper, it must have struck the reader that we have had nothing to say on what information is. In this respect, our theories may be like those in physics: which do not explain what “energy” is (a notion (...) which seems quite similar to “information” in several ways), but only give some basic laws about its behaviour and transmission.The eventual recommendation made here has been to use a broad type-theoretic framework for studying various more classical and more dynamic notions of proposition in their interaction. This is not quite the viewpoint advocated by many current authors in the area, who argue for a whole-sale switch from a ‘static’ to a ‘dynamic’ perspective on propositions. This is not the place, however, to survey the conceptual arguments for and against such a more radical move.This still leaves many questions about possible reductions from one perspective to another. For instance, it would seem that classical systems ought to serve as a ‘limiting case’, which should still be valid after procedural details of some cognitive process have been forgotten. There are various ways of implementing the desired correspondence: e.g. by considering extreme cases with ⫅ equal to identity, or, in the pure relational algebra framework by considering only pairs (x, x). What we shall want then are reductions of dynamic logics, in those special cases, to classical logic. But perhaps also, more sophisticated views are possible. How do we take a piece of ‘dynamic’ prose, remove control instructions and the like, and obtain a piece of ‘classical’ text, suitable for inference ‘in the light of eternity’?There is also a more technical side to the matter of ‘reduction’. By now, Logic has reached such a state of ‘inter-translatability’ that almost all known variant logics can be embedded into each other, via suitable translations. In particular, once an adequate semantic has been given for a new system, this usually induces an embedding into standard logic: as we know, e.g., for the case of Modal Logic. Like-wise, all systems of dynamic interpretation or inference proposed so far admit of direct embedding into an ordinary ‘static’ predicate logic having explicit transition predicates (cf. van Benthem 1988b). Thus, our moral is this. The issue is not whether the new systems of information structure or processing are essentially beyond the expressive resources of traditional logical systems: for, they are not. The issue is rather which interesting phenomena and questions will be put into the right focus by them.The next broad issue concerns the specific use of the perspective proposed here, vis-à-vis concrete proposals for information-oriented or dynamic semantics. The general strategy advocated here is to locate some suitable base calculus and then consider which ‘extras’ are peculiar to the proposal. For instance, this is the spirit in which modal S4 would be a base logic of information models, and intuitionistic logicthe special theory devoting itself to upward persistent propositions. Or, with the examples in Section 4.1, the underlying base logic is our relational algebra, whereas, say, ordinary updates then impose special properties, such as ‘idempotence’: $$xRy \Rightarrow yRy$$ Does this kind of application presuppose the existence of one distinguished base logic, of which all others are extensions? This would be attractive-and some form of relational algebra or linear logic might be a reasonable candidate. Nevertheless, the enterprise does not rest on this outcome. What matters is an increased sensitivity to the ‘landscape’ of dynamic logics, just as with the ‘Categorial Hierarchy’ in Categorial Grammar (cf. van Benthem 1989a, 1991) where the family of logics with their interconnections seems more important than any specific patriarch.Finally, perhaps the most important issue in the new framework is the possibility of new kinds of questions arising precisely because of its differences from standard logic. Notably, given the option of regarding propositions as programs, it will be of interest to consider systematically which major questions about programming languages now make sense inside logic too.EXAMPLE. Correctness. When do we have $$\left[\kern-0.15em\left[ \pi \right]\kern-0.15em\right](\left[\kern-0.15em\left[ A \right]\kern-0.15em\right]) \subseteq \left[\kern-0.15em\left[ B \right]\kern-0.15em\right]$$ for (s, t) propositions A, B and a dynamic (s, (s, t)) proposition π?Program Synthesis. Which dynamic proposition will take us from an information state satisfying A to one satisfying B? (This question needs refinement, lest there be trivial answers.)Determinism. Which propositions as programs are deterministic, in the sense of defining single-valued functions from states to states?Querying. What does it mean to ask for information in the present setting? (Again, individual types referring to e will be crucial here.)This is not merely an agenda for wishful thinking. Within Logic, there are various ways of introducing such concerns into semantics, especially, using tools from Automata Theory. (See van Benthem 1989c for further discussion of such computational perspectives in ‘cognitive programming’.)At least if one believes that ‘dynamics’ is of the essence in cognition (rather than a mere interfacing problem between the halls of eternal truth and the noisy streets of reality), the true test for the present enterprise is the development of a significant new research program not merely copying the questions of old. (shrink)

Recent discussions of ontology have shown an interest in the relation between logic, language and ontology. Quine, for example, has shown how sentences translated into canonical form determine ontological commitment in terms of the values over which bound variables range, while Strawson has maintained that conditions inherent to language determine a system of ontological concepts. But in these discussions the role linguistics might have in the construction of ontological schemes is seldom seriously considered. Except for Benjamin Lee (...) Whorf’s examination through the use of descriptive linguistic techniques of the relation between ontological schemes and the structure of languages, little has been done to apply the results of linguistic research to questions of ontology. In the past this could be attributed to the absence in structural linguistics of significant generalizations about language above the morphophonemic level. This situation has altered with the development of transformational linguistic theory. That theory contains an extensive set of generalizations about the form and content of any natural language. (shrink)

This paper presents a formal ontology which intends to facilitate interoperability among agents belonging to software agent systems that use different agent communication languages. The followed design criteria for building the ontology are an elaboration on the “illocutionary force-plus-content” framework of speech acts theory. The ontology is specified in OWL. Reasons are presented through the paper why, in our opinion, an ontology based on speech acts theory and specified in a DL-based language is adequate for formal agent communication. The (...) ontology is divided into three layers: upper, standards and applications, grouping classes by different levels of abstraction. The formalism used in the specification of classes allows automated reasoning for locating classes in the taxonomy and recognizing individuals of classes. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which (...) concern the philosophy of language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation systems. Finally, it will design an ontology that schemes the structure of (...) concept understanding based on the proposed semantic model. (shrink)

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are (...) added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory. (shrink)

Background: In order to improve ontology quality, tool- and language-related tutorials are not sufficient. Care must be taken to provide optimized curricula for teaching the representational language in the context of a semantically rich upper level ontology. The constraints provided by rigid top and upper level models assure that the ontologies built are not only logically consistent but also adequately represent the domain of discourse and align to explicitly outlined ontological principles. Finally such a curriculum must take (...) into account the pre-existing skills and knowledge of the target audience. -/- Objective: To develop a well-structured curriculum aligned to the particular requirements of life science professionals, in order to enable them to create logically sound, domain adequate and predicable ontologies using the Web Ontology Language (OWL) in Protégè. -/- Methods: Content selection for the curriculum was based on the literature, pre-existing tutorials, and a guideline for good ontology development (i.e ontology design enhancing domain adequacy, sustainability and interoperability) that drew on the authors previous experiences with large ontology development projects. Learning objectives were formulated according to a needs assessment of the targeted learners, who were students trained in life sciences with basic knowledge and practical skills in computer science. As instructional format we choose an approach with a high amount of practical exercises. The curriculum was first implemented with 24 Students and 7 lecturers/ tutors over 5 full days. The curriculum was evaluated by gathering the participants feedback via a questionnaire. -/- Results: Curricular development produced 16 modules of approximately 2 hours each, which covered basic principles of Applied Ontology, description logic syntax and semantics, as well as best design practices outlined in ontology design patterns and variants of the BioTop upper ontology. An opinion survey based on questionnaires indicated that the participants took advantage from the teaching strategies applied, as they indicated good knowledge gain and acknowledged the relevance of the modules. The difficulty was rated slightly lower. -/- Conclusion: The development of teaching material for principled ontology design and best practices is of crucial importance in order to enhance the quality of biomedical ontologies. Here, we present a curriculum for a week long workshop, leveraging on current educational principles, focusing on interactive hands-on exercises, group interactions, and problem-oriented learning. Whereas evaluation clearly showed the success of this approach, in particular regarding student’s satisfaction, the objective measurement of traceable effects on the quality of the generated ontology, although of much higher interest, has just started. (shrink)

The Joint Battle Management Language (JBML) is an XML-based language designed to allow Command and Control (C2) systems to interface easily with Modeling and Simulation (M&S) systems. While some of the XML-tags defined in this language correspond to types of entities that exist in reality, others are mere syntactic artifacts used to structure the messages themselves. Because these two kinds of tags are not formally distinguishable, JBML messages in effect confuse data with what the data represent. In (...) this paper we show how a realism-based ontology combined with a rule language can be used to make these distinctions explicit. The approach allows storage of the contents of JBML messages in a Referent Tracking System in a format that mimics the structure of reality thereby providing an aid to message validation. (shrink)

The European Summer School in Logic, Language and Information (ESSLLI) takes place every year, each time at a different location in Europe. With its focus on the large interdisciplinary area where linguistics, logic and computation converge, it has become very popular since it started in 1989, attracting large crowds of students. ESSLLI is where everyone in the field meets, teaches, takes courses, gives talks, dances all night, and generally has a good time. One of the enjoyable features (...) of the School is its recurring Student Session, organized by students along the lines of a conference. The speakers are students too, who are eager to get a chance to present their work. They face stiff competition to get their talks accepted, as the number of papers that is sent in each year is high and acceptance rates low. -/- In my experience many of the selected talks contain fresh and surprising insights and are a pleasure to attend. But the reader may judge the quality of the Student Session for himself, as this volume contains a selection of papers from its 2008 and 2009 installments, the first held in Hamburg, the second in Bordeaux. The book is divided into four parts. – Semantics and Pragmatics – Mathematical Linguistics – Applied Computational Linguistics – Logic and Computation -/- The first two of these present work in the intersection of logic (broadly conceived) and different parts of linguistics, the third contains papers on the interface of linguistics and computation, while the fourth, as its name suggests, deals with logic and computation. The reader will see a connection with the Venn diagram that functions as ESSLLI’s logo. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using (...) an ordinary logic of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL (...) formulae. Planning is then reduced to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)

Web legal information retrieval systems need the capability to reason with the knowledge modeled by legal ontologies. Using this knowledge it is possible to represent and to make inferences about the semantic content of legal documents. In this paper a methodology for applying NLP techniques to automatically create a legal ontology is proposed. The ontology is defined in the OWL semantic web language and it is used in a logic programming framework, EVOLP+ISCO, to allow users to query (...) the semantic content of the documents. ISCO allows an easy and efficient integration of declarative, object-oriented and constraint-based programming techniques with the capability to create connections with external databases. EVOLP is a dynamic logic programming framework allowing the definition of rules for actions and events. An application of the proposed methodology to the legal web information retrieval system of the Portuguese Attorney General’s Office is described. (shrink)

The book is a collection of papers addressing the role of logic in forming and developing philosophy. In particular, on the ground of modern development of logic, it is shown that philosophy can be established (and, in fact, to a large extent is established) as a modern science. The following problems are addressed: general relationship between philosophy and science (especially from a logical viewpoint); the use of logic in ordinary language; names and descriptions; Quine's pragmatic extensional (...) Platonism and predicate-functor logic; philosophical and logical aspects of Gödel's onto-theological system. In the last two chapters, an early critique and emendement of algebraic logic by Croatian philosophers Franjo Marković and Mate Meršić, respectively, is examined. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple (...) instances of perceptron connectives are expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)

The history of ontology reveals various methodologies that examine being. Traditional ontology studies being qua being and categorizes it. Formal ontology determines the categories that are common to all entities and classifies them with formal languages using these categories as well. However, for over thirty years, formal ontologies have been studied and built outside of philosophy. The reason why ontology is separated from philosophy and becomes an interdisciplinary study is due to our need to make classifications and standardization in (...) data and information management in accordance with reality. What lies behind this requirement is the exponential growth of data and the impossibility of analyzing it neither by humans nor by existing methods. For instance, dozens of studies are published every minute, and then scientists cannot follow all these developments with classical techniques. Therefore, the desire that machines should be involved in the processes of sharing and producing knowledge is far higher than ever. This desire, thus, has led us to develop new models for knowledge production. It has been experienced that the standardization of knowledge is essential in the construction of models; for, significant differences were found between taxonomic structures, concept definitions, and different granularity levels in the knowledge representations of various working groups, and even the integration of data was not possible. At this point, the selection, classification, and standardization of knowledge have been guaranteed by using ontological principles and methods. In this article, within information systems, we will introduce the formal ontologies, the formal theory covering the broadest knowledge of the field by selecting, classifying and standardizing it by using the principles and methods of philosophical ontologies. We will mention that we use description logics, a family of formal languages with the expressive power of natural language and high-performance reasoning algorithms, to represent this theory in machines. In essence, this article will introduce formal ontologies and description logics in the realm of knowledge representation. (shrink)

A short description of a toy theorem prover for 16-valued trilattice logics. Written for the occasion of my friend's Jan van Eijck's retirement. With a link to a swish interface to the prolog prover.

In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current approaches are based on purely syntactic solutions, i.e. a grammar that defines a rights expression language. These languages are difficult to put into practise due to the lack of explicit semantics that facilitate its implementation. Moreover, they are simple from the legal point of view because they are intended just to (...) model the usage licenses granted by content providers to end-users. Thus, they ignore the copyright framework that lies behind and the whole value chain from creators to end-users. Our proposal is to use a semantic approach based on semantic web ontologies. We detail the development of a copyright ontology in order to put this approach into practice. It models the copyright core concepts for creation, rights and the basic kinds of actions that operate on content. Altogether, it allows building a copyright framework for the complete value chain. The set of actions operating on content are our smaller building blocks in order to cope with the complexity of copyright value chains and statements and, at the same time, guarantee a high level of interoperability and evolvability. The resulting copyright modelling framework is flexible and complete enough to model many copyright scenarios, not just those related to the economic exploitation of content. The ontology also includes moral rights, so it is possible to model this kind of situations as it is shown in the included example model for a withdrawal scenario. Finally, the ontology design and the selection of tools result in a straightforward implementation. Description Logic reasoners are used for license checking and retrieval. Rights are modelled as classes of actions, action patterns are modelled also as classes and the same is done for concrete actions. Then, to check if some right or license grants an action is reduced to check for class subsumption, which is a direct functionality of these reasoners. (shrink)

The article presents a brief analysis of how the existence of various logics became possi­ble. This is shown on the example of such well-known logical theories as syllogistics, temporal, multivalued, intuitionistic, paraconsistent and quantum logics. Each of them arose not on someone’s whim, but to solve specific problems. They are based on the most general ontological assumptions about the subject area under study. In formal logic onto­logical assumptions are refined in the concept of a model structure. Since it is (...) impossible to talk about logic in isolation from the language used, the most general epistemic as­sumptions about the nature of the relationship of linguistic expressions to those objects of extralinguistic reality that they represent are also accepted. One of the most important of these relationships is the concept of the truth of sentences, which was first formulated by Plato and Aristotle. Taking certain ontological and epistemic assumptions depending on the problem being solved, we obtain different logics. Process logic is primarily char­acterized by special ontological assumptions that are fundamentally different from the as­sumptions of other currently existing logics. The ontology of processes is an ontology of developing processes, not things. Historically, it was most vividly described in the writings of Heraclitus. In the overwhelming majority of modern approaches to the de­scription of processes, we see attempts to reduce them to sequences of states, which de­values the very concept of a process, just as a cinematic picture of the flow of time deval­ues the concept of time. Since logics are built on the basis of various ontological and epistemic assumptions, they are inherently theories of these accepted assumptions, and not universal reasoning tools that don’t depend on the characteristics of the study area and the categories of linguistic expressions. Universal logic is possible if one rises from the level of specific languages to a higher level of sign theory. (shrink)

The primary function of language is communication. We use the tools of situation theory and game theory to develop a definition and model of communication between rational agents using a shared situated language. ;A central thesis of this dissertation is that the key feature of situated communication that enables agents to derive content from meaning is a special type of logical inference called a strategic inference. ;The model we develop, called the Strategic Discourse Model, looks at a single (...) strategic inference. An essential element of a strategic inference is that the content depends on the sentence uttered and on the embedding circumstances. This includes the private and public information and beliefs of the agents, their goals and intentions, and crucially, the other sentences the speaker might have uttered but chose not to. A complete model of communication involves a system of simultaneous strategic inferences. ;When the strategic interaction between two agents is common knowledge between them, that is, when it is a game, the information transfer is a communication. The content communicated is given by the solution to the game. This analysis formalizes Grice's ideas on nonnatural meaning within a situation-theoretic framework. A consequence of our situated analysis is that agents do not need to have the complex and infinite set of nested intentions postulated by the Gricean approach. A simple intention to communicate is all that is required, the ambient game doing the rest of the work. ;This model has many applications. Problems like resolving ambiguity, determining reference, inferring implicatures and indirect speech acts fall within its scope. As one application, we outline a new theory of names and definite descriptions. This account builds upon Russell and Strawson, and Barwise and Perry. The basic idea is that names and descriptions can both be used in various ways circumscribed by an ontological and a communicative constraint. This offers a new solution to the puzzle of informative identity statements and clarifies the referential-attributive distinction. It suggests an approach to the concept of representation. ;An underlying theme is to synthesize situation theory and game theory. (shrink)

The Unified Enterprise Modelling Language (UEML) aims to support precise semantic definition of a wide variety of enterprise- and IS-modelling languages. In the longer run, it is also intended as a...

This volume is an authorized and slightly emended English translation of the second revised German edition of Die Logik der Dichtung, a work whose influence on the philosophy of literature is perhaps comparable only to that of Roman Ingarden, Emil Staiger, or Northrop Frye. The study aims at a phenomenological description of literature by appeal to logic, ontology, and the scientific study of literature. All of its analytical intricacies notwithstanding, the book is not overwhelmingly abstract and unremittingly formal (...) in its presentation, and its analyses are amply buttressed with concrete examples drawn predominately from European but also from Anglo-American literature. At a time when neo-Marxists such as Sartre have pronounced the concept of literature itself ideologically suspect and structuralists like Todorov, who contends that the very existence of literature constitutes its greatest paradox, Hamburger correctly discerns that the logic of literature has its foundation in the general theory of language. (shrink)

Modern weaponry is often too complex for unaided human operation, and is largely or totally controlled by computers. But modern software, particularly artificial intelligence software, exhibits such complexity and inscrutability that there are grave dangers associated with its use in non-benign applications. Recent efforts to make computer systems more accessible to military personnel through natural language processing systems, as proposed in the Strategic Computing Initiative of the Defense Advanced Research Projects Agency, increases rather than decreases the dangers of (...) unpredictable behavior. Defense systems constitute, in fact, a paradigm case of the wrong kind of application for this technology. This cannot be expected to change, since the unpredictability stems from inherent properties of computer systems and of natural languages. (shrink)

In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To (...) bridge this gap, we present in this paper a theory for representing ontologies in a dependently typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation. (shrink)

continent. 2.1 (2012): 29–35. Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "Politieke Poëzie: Enige aantekeningen, Poëtica bij N30 (versie 2006)." In Weerstandbeleid: Nieuwe kritiek . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. L’égalité veut d’autres lois . —Eugène Pottier The modern poem does not have form but consistency (that is sensed), no content but a problem (that is developed). Consistency + problem = composition. The problem of modern poetry is capitalism. Capitalism—which has no (...) image: the unrepresentable Idea of “everything.” The problem is that a poem cannot be justified. There is no excuse for it. Political poetry— pure poetry—has to be problematic, though not in a mannerist way. Yes, its problem is first its own problem—poetry’s existence in the same world as the newspaper—but therefore also always everybody’s problem (the problem of any world at all). The cult of the sublime points at a suspect desire for transcendence, nostalgia for paradise lost (the womb?). Melancholia of the post-. But a problem neither sorrows nor mourns, it is alive, and the fact that it is alive is the problem—the problem for death (rigidity, the status quo). Our symbols and ideologies do not hide any god: symbolic = state; imaginary = human; real = money. Problem: the possibility of communal speech (poetry) in the absence of a “we.” Or: what is a “we” that is not a collective subject (or in any case is not a volonté générale )? What is a universal history that is not a History? This work was started in the shade of the anti-globalization protests at the end of November 1999. I considered N30 to be the closure of the nineties, of my adolescence, and of the a seemingly total extinction of social desire. From the beginning I was skeptical about the alterglobalization movement as the avant-garde of a new politics, but something was happening . Maybe this event did not show that, as the slogan would have it, “another world” is possible, but for me it indicated that such possibility was at least still possible. That naked possibility is carrying forward. And if the fundamental tone of this work sounds more desperate than utopian, this is not caused by the catastrophic sequence that since 1999 has plunged us ever deeper into the right-wing nightmare—a nightmare that this work also gives an account for—but because my hope as yet remains empty. Composition . Composition is no design, but the production of an autonomous block of affects (i.e. a POEM), rhythmically subtracted from the language of a community. A poem does something. Is something. New Sentence . Choosing the non sequitur as compositional unit has the advantage that an abstract composition is subjected to the stress of concrete, social references. Where there is a sentence, there is always a world. (This does not hold necessarily for words on their own.) And where sentences collide, something akin to a textual civil war takes place. It is not about “undermining” whatever, or de-scribing the raging global civil war, but about writing social (or even: ontological) antagonism -- including all its catastrophic and utopian possibilities. Minor resistance. Why would poetry be the no protest zone par excellence? It is nothing but protest, not simply qua “content,” but in its most fundamental essence: rhythm. Rhythm is resistance against language, time, and space, and the basis of (what we will continue to call) autonomy. Rhythm starts with the anti-rhythmic caesura as Hölderlin remarked about Sophocles, a disruption of the quotidian drone. The destruction of everything that is dead inside of us. The noise of the avant-garde has never been the representation of the noise of (post)modernity (from the television or shopping mall), but the sober noise of the systematic exchange of an unbearable worldview. The poet does not describe, but looks for a way out: There is a Grain of Sand in Lambeth that Satan cannot find Nor can his Watch Fiends find it, tis translucent & has many Angles But he who finds it will find Oothoons palace, for within Opening into Beulah every angle is a lovely heaven William Blake was not mad. And there has always been only one poetry: the poetry of paradise. The principle is that there is something in art (the essentially creative element) that is disgusted by that which, unlike art, does not aim for the supreme. Wonder is not supreme, tranquility is not supreme, beauty is not supreme. Even amusement is not supreme! The supreme is supremely open, “das Einfache,/ Das Schwer zu machen ist” 1 : paradise. That is abstract. Literally. For me it is not about a concrete imagination, an idyll or utopia. There is no doubt a need for that, but it is not so much the supposed lack of imagination or ideals (human rights are ideals), but a fundamental lack of desire (human rights are no desires) that we suffer from, and from which we do not need to remove Nietzsche’s label of “nihilism.” “We.” George Oppen: “ Of Being Numerous asks the question whether or not we can deal with humanity as something which actually exists.” What is less actual than humanity? Nowadays it appears as a lifeless ideology of cynical power politics. Or as what makes one think. It is a shame to be human. The event is the caesura that defines rhythm. Writing toward the event is not the description of the event, but marking an abstract and intense space in which the event may unfold and keep itself. It is a task. “Remember that thou blesseth the day on which I seized thee, because such is thy obligation.” The event is a contraction (or a series of contractions) with its own rhythm and unique qualities. It is more than an explosion or demonstration. But at the same time less. The endless repetition of images and stories in the media points to a fear for the indeterminate and indeterminable void of the event. In the end there is nothing to see. We do not live in disaster’s shade or miracle’s light, but rather in the rhythm, which is contracted time, having little to do with omnipresent representations. For this book I did not intend a rhythm of evental representations (a narrative rhythm), but a rhythm which would be an event itself , because it draws the border between artwork and history. My desire for a direct engagement with the “extra-textual reality” has nothing to do with the representation of “rumor in the streets.” (What has less street cred than representation?) Naturally, a poem is no historical event and does not change anything. But a poem is a part of history that wants to be repeated forever, constructed in such a way that it is worthy of repetition. It is a part of desire (composition) made consistent (durable). The “historical event” flares up and burns down, and has to burn down to be effective. The leftovers are images and stories (representations), History—no event. The artwork—that is the ambition— remains event (though monumental and inefficient/inoperable). (No wonder that a historical singularity, a revolution, reminds us of a work of art; the resurrection yearns for a judgment, an affirmation; everything depends on it.) Hence the title does not summarize the book, let alone contract its “content” into a quasi-transcendental signifier. The title is juxtaposed to the book, like everything else inside the book, and in that relation it precisely forms a part of it. The ideal work is an open whole, lacking nothing but to which everything may be added. I have been interested in this “everything,” the world, or as I said above: capitalism. “Everything” is not the space for “wonder”—a code word, a shibboleth for petty bourgeois imagination (I recognize myself in the strangest things, a speaking dog, a canal, a pond standing straight—oh my god). No. The world is a social world, not YOUR world, poet. Power is number one. I will call “Dutch,” or “shitty,” whatever denies this power. That hurts, but this pain is an expression of the desire in the world to write another world, or as Blanchot says, “the other of all worlds” 2 : the world. Not as what “is there,” but rather as that which urges for an escape from what “is.” This is a testament of how radical reality has become, for me—or rather, a writing body—in a having-been-written. I am not interested in the problem of “meaning” as misunderstood by literary scholarsi: “order” in “chaos,” “symbolization.” Bullshit. What is there, hop, hope, now: the meaning of the taste in my mouth. Bullshit. I am not interested in the frustration of interpretation; I am writing for readers who do not want to interpret. I do not know how many “professional readers” will hear the music of a paragraph like: Sun. Sushi. Volvo. I hope more than I would think. There is a suggestion (or rather, an actual production) of speed and infinitive owing to the absence of plosives, i.e. articulations such as /k/, /t/, or /p/. Can you hear the slick suaveness? Driving car dark, vocal chiaroscuro of the word “sushi.” The unstressed /i/ stands in the middle of dark vowels and thus acquires its own special out of focus , like a momentary flash or brilliance—an obscure light. It is not about recognizing a story, but about avoiding any story whatsoever: the car disappears in the glow, cars and raw fish have nothing in common except their articulation in a language that brings them together, blurring them. A world appears in its disappearance. For a moment, light is a metaphor for language, though it cannot be reduced to tenor. It is not necessary to be a linguist or philosopher to hear this—a “difficult” poem all too often becomes an allegory of its own impenetrable being-language. The only demand: leave your hermeneutical fetish at home. This was no interpretation. Most shit has been stolen etcetera. That is no longer interesting. You cannot shoot the body with information and let your lawyers reclaim the bullets. So every sentence has been stolen. Also the ones “out” “of” “my” “head.” Why would I be allowed to steal from myself and not from others? Man takes what he needs to move forward. Whatever he encounters, finds in front of him, “occurs” to him. The writer as text editor, or singing pirate. Nothing new here. Important difference with for example Sybren Polet’s 4 montage technique: anti-thematicism. Most of the time ferocious citation from whatever I was reading, listening to, ended up in, and so on. I wrote chapter 12 on my laptop while watching CNN. On the air instead of en plein air . I often employed search engines to generate material. Chapter 20 offers the purest example of this. Often I stop recognizing a particular citation after some time. It is not uncommon for a stolen sentence to conform itself to the paragraph in which it finds itself. Sometimes I nearly arbitrarily replace words. Arbitrariness as a guarantee for absolute democracy. It is a poetics of the non sequitur : a conclusion that does not follow from the premises, the strange element in the discourse. A discourse of strangers. No logical, narrative, thematic unity. There is unity in speed/flight. It has to be read linearly, but not necessarily (not preferably) from beginning to end. The shortest distance between two points is a straight line, but this line precedes every point. The middle, the acceleration, comes first. A point occurs where two lines cross. It has been written from up close, at the level of the tension between sentences. Nothing to be seen from a distance: no form except the exchange of form, no geometrical or mythical meaning. You have to get in, “groping toward a continuous present, a using everything a beginning again and again” (Stein). 5 In Dutch, experimental poetry has been mainly dense: a small rectangular form filled with a maximum amount of poetic possibility. But at the moment the poem starts to relax, the anecdotical content seems to increase. This is what is called “epic”: long, narrative. I believe that an epic is more than that, in fact something completely different. An epic is “a poem including history,” 6 a long poem tied up with the life of community, that as a whole does not need to be narrative. The American poets of the twentieth century (Pound, Williams, Zukofsky, Oppen, Olson, Silliman) have put the epic back on the map by interpreting the poem itself as a map, and writing it as navigation. They have invented the experimental epic, a genre that has generated little original following in “our” poetry. N30 is the middle part—“always start in the middle”—of a trilogy, the contours of which remain as of yet unclear, although each episode investigates one of the three “ecstasies of time”—past, present, future—concerning society X. N30 concerns itself with the PRESENT: not with the description of actual facts but of the rhythm and the intense depth in which facts appear to us. Where are we? We are camping in the desert. Sometimes we are looking at the stars. As opposed to maximum density and minimal tension (a characteristic of most (post-)experimental lyricism), I have sought a minimal density and maximum tension in this book, considered as a long non-narrative prose poem. On the one hand, the minimal density is obtained by the inherent formlessness of prose, on the other hand by the conscious refusal of any active (formal, non-rhythmic) synthesis: the poem tells nothing, shows nothing, has no theme. I did not seek maximum tension either by loading the quotidian with epiphanic radioactivity (“wonder,” confirmation from above), or by means of the intensity of the linguistic structure. I want an abstract tension, but social in its abstraction, in other words, not neutralized by and subjected to Form. Instead of form (transcendent): composition (immanent). The concept is series. Ideal: every unit is necessary for the efficacy of the others and the whole, their relation is purely linear, i.e. non-hierarchic, non-syllogistic, non-discursive, non-narrative. Sentence related to sentence like paragraph to paragraph and chapter to chapter; the whole means nothing and represents nothing. Inside the sentence: syntax (Chomsky’s tree, a type of parallel circuit), outside: parataxis (coordination, an asyntactic line through language and world). I consider duration—the energy of duration (rhythm)—to be the fundament of a poem, the temporal inclination to delimit a “space.” Being as consistency, its consistency. A spatial part of time is not merely a metaphor for an inevitable trajectory, an inescapable time, something like “our time.” Not merely—because rhythm comes from language and is not projected onto it; the poem derives from the world like a scent and a color and a life from a flower. A series, a sequence: nothing potential, but truly infinite—the movement of an infinitude. The infinite series = everything minus totality. That means that there is no container—no Form, no Self, no Image, no Structure, not even a Fragment—just “the prose of the world.” No representation, but also no staging of the impossibility of representation (the postmodern sublime). These are no fragments, no image of a fragmented world or personality, no cautious incantations around the Void. It does not exist. It is a movement. Buying bread, a flock of birds, a bomb falling—they do not depict or represent anything, not literally, not metaphorically. There is an Idea, which is however nothing more than a rhythm, in the same way that capitalism is nothing more than a pure function. Parataxis: the white space between two sentences stresses, which is nevertheless always there, also between words, even between letters: the out of focus of idle talk, the gutter, the irreducible Mallarméan mist which renders even the seemingly most transparent text legible. The white space suggests a neutral medium for free signification, a substance of language. A non sequitur is an element from a foreign discourse, which stresses the white space as space, and problematizes freedom for supra-sentential signification. I start by withdrawing material, leaving the initiative to the sentences. In general a word presupposes less often a discourse than a sentence. What discourse is presupposed by “dog”? We could think of several, but why would we? It is more probable that, when faced with the naked word, we think of its naked (dictionary) meaning, of its denotative signified. By means of two simple interventions we may also write the word as sentence: Dog. In no way this suggests the discourse from which this sentence originates, but in any case we’re presupposing one. This is shown by questions like: “Whose dog? Who’s a dog? What kind of dog?” Etc. (Sentences are question marks.) A sentence implies/is a microcosm—a subject, a verb, an object, and so on. Even an incomplete or ungrammatical sentence does so. My main fascination while writing this book is the worldly and social aspect of language, an aspect that often becomes invisible, or rather, transparent in narrativity—the stretching of sentences into stories. Narrativity organizes a new discourse and a new world, and places a sometimes all too dispersing relation of transparence in between. The conventional novel is the brothel of being. I do not intend to prohibit brothels, and I have certainly not intended to write an anti-novel (THIS IS A POEM), but I do consider narrativity (in general, in poetry, in the news, in daily life) to be ontologically secondary with regard to an immediate being in the world through sentences, also if the latter have been withdrawn from a narrative or otherwise externally structured discourse (which in that case would therefore be chronologically primary ). Naturally, two or more sentences are always in danger of telling stories or arguing, just like the world is always in danger of becoming an objective representation, facing us, strangers. That is why need to wage war—against representation and against the interface, against interaction. AGAINST THE “READER.” To the extent that a sentence is worldly, writing is a condensed global war, and in so far as there is ultimately only one world and one open continuum of languages, it is a global civil war. Nice subject for an epic. The elaboration of a singular problem—prose as the outside of poetry, the form of the novel as purely prosodic composition scheme—“expresses” the universal problem: capitalism as Idea of the world vs. poetry as language of an (im)possible community. The paragraphs are blocks of rhythmically contracted social material. By choosing the sentence as the basic compositional component, an abstract whole may contain social sounds, without telling a story or showing an image. Composition is subrepresentative —a rhythmic, passive synthesis, or rather: a synthesis of syntheses. I never write large blocks of prose in one sitting, because there is no obvious organizational vector —plot, theme, conscience—outside the inherent qualities of the material itself. Usually I write down one sentence, sometimes two, but rarely more than three. Those sentences are usually placed in the text which I am editing at the time. In fact, there is no original composition, new chapters split off from chapters which became too long during the editing process. (Revision mainly consists of adding and inserting, displacing and dividing; only during the last phase, when the text has gained enough consistency, there may be subtraction to tighten the composition; each chapter requires a season of daily revision). This constant revision, accompanied by a continuous influx of collective background noise (to speak with Van Bastelaere), 7 makes every chapter a block condensed (“historical” and “personal”) time. The block itself is a-personal and a-historic; it is ontologically autonomous. If there is such a thing as a spirit of the times, I do not try to offer an image of it, but rather to cancel something of it by erecting a monument of its own excrement within its own boundaries. Tuning and dis-tuning , “in de taal der neerslachtigen een eigen geluid doen klinken,” 8 in other words, desiring in an Elysian way. In this sense I have intended to be able to write a political poetry. The ultimate political poem is the epic, “the tale of the tribe.” I consider N30 to be a prolegomenon to a future epic (of which it in the end will form a part a structural moment, as introduction-in-the-middle), an extended pile on top of an epic as narrative, a question of the tribe and question of its history. I was burdened by too much satire, too much bullshit. But: satire willy-nilly = the only justifiable satire. Against the abstract universalism of the market (“globalism”): concrete disgust, a positive way of saying “No.” Moreover, disgust is a specifically total attitude, which ultimately concerns the world as a whole. I hate this or that, but I am disgusted by EVERYTHING (when I am disgusted), and so it appears that satire is in fact related to the epic, in so far as it concerns society, the cosmos, history. Maybe it is no coincidence that the Dutch literary canon knows no great poet of disgust; what could be more fearful to us than society, the cosmos, and history? The T-tendency (T from Tollens 9 ) clearly points into the direction of the small, friendly, ironic, melancholic, acquiescent, wondrous, and so on. The anti-political, anti-cosmic, anti-historical. (Why am I so philosophical? To scare away the Dutchies.) And most of all: the “poetical” (the pseudo-mysticism from the backyard). Yes, the N in N30 also stands for the Netherlands (just like 30 indicates the number of chapters). I was not in Seattle, I do not live in Iraq. But is not the whole world bleeding to death on Dutch paving stones? Let’s hope that we mowed away something with this total satire, also “in myself.” The arrogant stupidity that definitely thinks to know the essence of freedom (the free development of esthetic needs inside the void), that cannot take anything serious, only believes in the disciplined bestiality of the individual (“norms and values”) and the mere functioning of a social factory which finds no justification whatsoever outside its functioning (“get to work”)… Who knows. A certain aimed destruction leaves grooves and craters, mapping out a next adventure. Pound’s periplum : sailing while mapping the coasts. Immanent orientation. The terrain changes with the map, history changes with the poem. Maps never merely organize the chaos, transcendent schemes imposed on a formless Ding-an-sich . They organize from within, surfing. But they are most of all routes back into the chaos or forward to paradise (final identity of chaos and paradise; Schlegel: “ Nur diejenige Verworrenheit ist ein Chaos aus der eine Welt entspringen kann ”10). A poem is not only a piece of history, it is also a flight from history. Maps give chaos to the form of reality , open escape routes, break through representations, make us shivery and dazed. Paradise is immanent to a fleeting desire. History is the history of labor—this is Adam’s curse—and the poet works too: For to articulate sweet sounds together Is to work harder than all these, and yet Be thought an idler by the noisy set Of bankers, school masters, and clergymen The martyrs call the world 11 But: the poet works in paradise. The paradox of the artwork, the work that is no work, the piece of history that cannot be reduced to History—this is explained by The Space of Literature , a virtual space, an autonomous rhythm, not outside, but in the midst of the noise, a piece of paradise in hell, a postcard from the vale of tears addressed to paradise, to X. Political poetry means: a poetry that dares to think about itself, about its language and about its world and about the problematic relation between both, which is this relation as problem. A poetry that thinks at all, articulates its problem. It has nothing to do with journalism or morality or debate, let alone the law or the state. It has nothing to do with “criticism” if this means the replacement of incorrect representations by other, more correct representations. It has something to do with ethics in the sense of learning to live. It has something to do with the community and the language of the community (whichever that may be) and the role of the poet regarding the community. It concerns justice without judgement or measure. In the end the just word is just a word , to paraphrase Godard: it is from a future that is unimaginable. It Is no rational engagement, but an aversion against everything that obstructs life, and love for everything what is worthy of having been loved. The world is engaged with me, not the other way round. First Exodus, then Sinai. A desire does not start with an agenda. To answer the question whether I am really so naive as to want to change the world: “We only want the world.” Justice is the world appealing to us to liberate it from all possible chains, from each organization and inequality, to be it, smooth, equal, under a clear sky—a desert and a people in a desert. That moment between Egypt and the Law. It is not a revolution, but the sky above the revolution. Poetry = the science of escape. There is no art that we already know. The weakness of modernistic epic poetry seems to me to be the unwillingness to completely abandon narrative as a structural principle, in favor of a composition “around” or from an event. The China Cantos and Adams Cantos are the low point, and the Pisan Cantos the high point of Pound’s poetry. Two types of research: archival representation of the past vs. ontology of the present (which virtually presupposes the entire history). Presupposing an event means that it is impossible for the poet to stage his own absence, but in no way makes the work personal. An event is the unknown, the new invading into the business as usual, so also the personal. The question heading this research is not: “Who am I?” but “What is happening?” The book is as little illegible as Mondrian’s work is invisible. Form is of interest only to the extent that it empowers liberation. Ron Silliman So no formalism, but what it means to live in this world and to have a future in it. I want something that holds together that’s not smooth. Bruce Andrews The past above, the future below and the present pouring down: the roar, the roar of the present, a speech— William Carlos Williams If my confreres wanted to write a work with all history in its maw, I wished, from the beginning to start all over again, attempting to know nothing but a will to create, and matter at hand. Ronald Johnson NOTES 1) “The easy thing/ that is difficult to make.” Bertold Brecht, Lob des Kommunismus . (All footnotes are the translator’s) 2) Maurice Blanchot, The Space of Literature , trans. Ann Smock. Lincoln/London: University of Nebraska Press (1989), 75. 3) Mettes uses the word “Neerlandicus,” which refers to scholars of Dutch language and literature. 4) Dutch poet. 5) Gertrude Stein. “Composition as Explanation.” A Stein Reader . Ed. Ulla E. Dydo. Evanston, IL: Northwestern University Press (1993), 495-503. 6) Ezra Pound. 7) Flemish poet. 8) “Resounding an original sound in the language of the despondent.” A. Roland Holst, De afspraak . 9) Dutch poet. 10) “Only such a confusion is a chaos which can give rise to a world.” 11) W.B. Yeats, “Adam’s Curse.&rdquo. (shrink)

To assess—from a qualitative perspective—the perceptions and attitudes of Spanish rehabilitation professionals (e.g. rehabilitation doctors, speech therapists, physical therapists) about Brain–Computer Interface (BCI) technology. A qualitative, exploratory and descriptive study was carried out by means of interviews and analysis of textual content with mixed generation of categories and segmentation into frequency of topics. We present the results of three in-depth interviews that were conducted with Spanish speaking individuals who had previously completed a survey as part of a larger, 3-country/language, (...) survey on BCI perceptions. 11 out of 15 of these Spanish respondents (survey) either strongly or somewhat accept the use of BCI in rehabilitation therapy. However, the results of our three in-depth interviews show how, due to a strong inertia of attitudes and perceptions about BCI technology, most professionals feel reluctant to use BCI technology in their daily practice (interview). (shrink)