How much of commonsense and legal reasoning is formalizable? A review of conceptual obstacles

Fifty years of effort in artificial intelligence (AI) and the formalization of legal reasoning have produced both successes and failures. Considerable success in organizing and displaying evidence and its interrelationships has been accompanied by failure to achieve the original ambition of AI as applied to law: fully automated legal decision-making. The obstacles to formalizing legal reasoning have proved to be the same ones that make the formalization of commonsense reasoning so difficult, and are most evident where legal reasoning has to meld with the vast web of ordinary human knowledge of the world. Underlying many of the problems is the mismatch between the discreteness of symbol manipulation and the continuous nature of imprecise natural language, of degrees of similarity and analogy, and of probabilities

A Bibliography on Fuzzy Automata, Grammars and Lanuages

This bibliography contains references to papers on fuzzy formal languages, the generation of fuzzy languages by means of fuzzy grammars, the recognition of fuzzy languages by fuzzy automata and machines, as well as some applications of fuzzy set theory to syntactic pattern recognition, linguistics and natural language processing

Using Fuzzy Linguistic Representations to Provide Explanatory Semantics for Data Warehouses

A data warehouse integrates large amounts of extracted and summarized data from multiple sources for direct querying and analysis. While it provides decision makers with easy access to such historical and aggregate data, the real meaning of the data has been ignored. For example, "whether a total sales amount 1,000 items indicates a good or bad sales performance" is still unclear. From the decision makers' point of view, the semantics rather than raw numbers which convey the meaning of the data is very important. In this paper, we explore the use of fuzzy technology to provide this semantics for the summarizations and aggregates developed in data warehousing systems. A three layered data warehouse semantic model, consisting of quantitative (numerical) summarization, qualitative (categorical) summarization, and quantifier summarization, is proposed for capturing and explicating the semantics of warehoused data. Based on the model, several algebraic operators are defined. We also extend the SQL language to allow for flexible queries against such enhanced data warehouses

Designing an expert knowledge-based Systemic Importance Index for financial institutions

Defining whether a financial institution is systemically important (or not) is challenging due to (i) the inevitability of combining complex importance criteria such as institutions’ size, connectedness and substitutability; (ii) the ambiguity of what an appropriate threshold for those criteria may be; and (iii) the involvement of expert knowledge as a key input for combining those criteria. The proposed method, a Fuzzy Logic Inference System, uses four key systemic importance indicators that capture institutions’ size, connectedness and substitutability, and a convenient deconstruction of expert knowledge to obtain a Systemic Importance Index. This method allows for combining dissimilar concepts in a non-linear, consistent and intuitive manner, whilst considering them as continuous –non binary- functions. Results reveal that the method imitates the way experts them-selves think about the decision process regarding what a systemically important financial institution is within the financial system under analysis. The Index is a comprehensive relative assessment of each financial institution’s systemic importance. It may serve financial authorities as a quantitative tool for focusing their attention and resources where the severity resulting from an institution failing or near-failing is estimated to be the greatest. It may also serve for enhanced policy-making (e.g. prudential regulation, oversight and supervision) and decision-making (e.g. resolving, restructuring or providing emergency liquidity).Systemic Importance, Systemic Risk, Fuzzy Logic, Approximate Reasoning, Too-connected-to-fail, Too-big-to-fail. Classification JEL: D85, C63, E58, G28.

Alfredo Deaño and the non-accidental transition of thought

If the cultural variations concerning knowledge and research on ordinary reasoning are part of cultural history, what kind of historiographical method is needed in order to present the history of its evolution? This paper proposes to introduce the study of theories of reasoning into a historiographic perspective because we assume that the answer to the previous question does not only depend of internal controversies about how reasoning performance is explained by current theories of reasoning. [...