Automated Reasoning & Question Answering 2014


Notes:

Tools and techniques of automated reasoning include the classical logics and calculi, fuzzy logic, Bayesian inference, and reasoning with maximal entropy.

A QA (question answering) implementation, usually a computer program, may construct its answers by querying a structured database of knowledge or information, usually a knowledge base.

  • Emotion corpora

Wikipedia:

References:

See also:

Automated Reasoning & Question Answering 2013


Abductive reasoning with a large knowledge base for discourse processing E Ovchinnikova, N Montazeri, T Alexandrov… – Computing …, 2014 – Springer … We decided to test our approach on RTE because this is a well-defined task that cap- tures major semantic inference needs across many natural language processing ap- plications, such as question answering, information retrieval, information extraction, and document … Cited by 30 Related articles All 8 versions

Modeling of Continuity and Change in Biology VK Chaudhri, F Loebe – Proceedings of the 2014 Workshops on …, 2014 – mis.ugent.be … at a much deeper level than GO, by using an extensive set of relationships which are valuable for question answering and inference … is an upper ontology which is linguistically motivated and designed to support the representation of knowledge for automated reasoning [5]. CLIB … Cited by 1

Towards a Rewriting Framework for Textual Entailment V Nigam, V de Paiva – Pre-proceedings of the 9th Workshop on Logical …, 2014 – nigam.info … But it is reasonable to suppose that with NLP’s recent success the automated reasoning community might consider some version of ‘shallow theorem proving’, that is theorem proving for common sense applications. … PARC’s bridge and question answering system. … Cited by 1

Cognitive Systems and Question Answering U Furbach, C Schon, F Stolzenburg – arXiv preprint arXiv:1411.4825, 2014 – arxiv.org … KI – Künstliche Intelligenz 24, 1 (2010), 51–55. Special Issue on Automated Deduction. 3. Furbach, U., Glöckner, I., and Pelzer, B. An application of automated reasoning in natural language question answering. AI Commun. 23, 2-3 (2010), 241–265. …

Logical Agents P Doherty – 2014 – ida.liu.se … [ Conference | .pdf ]. [4], Martin Magnusson. Automated Reasoning Agent Architecture. … IOS Press, Amsterdam, The Netherlands. [ Conference | .pdf ]. [1], Martin Magnusson and Patrick Doherty. Temporal Action Logic for Question Answering in an Adventure Game. …

Ripple Down Rules for Question Answering DQ Nguyen, DQ Nguyen, SB Pham – arXiv preprint arXiv:1412.4160, 2014 – arxiv.org Page 1. Ripple Down Rules for Question Answering … Abstract: Recent years have witnessed a new trend on building ontology-based question answering systems, that is to use semantic web information to provide more precise answers to users’ queries. …

Automatic Question Answering System M Pavla – is.muni.cz … 2. QUESTION ANSWERING … They vary in domain in which they are answering questions (some answer question about movies, demographics, etc.), level of sophistication (if they leverage techniques like automated reasoning, machine learn- ing or recognizing of anaphoras, etc … Related articles

Deduction for Natural Language Access to Data C Condoravdi, K Richardson, V Sikka… – … Language Service for …, 2014 – researchgate.net … for a review, see [1, 11]). Given a natural language question, the goal of a question-answering system is to find an answer using a combination of language processing and reasoning. In the automated reasoning community, …

Out of Many, One: Unifying Web-Extracted Knowledge Bases M Niepert, S Singh – akbc.ws … is contained in natural language text and as such needs to be brought into structured form to be accessible for automated reasoning. … for an accurate alignment, and (c) features a rich query language supporting downstream tasks such as schema-free question answering. …

Engineering ontologies for question answering M Teitsma, J Sandberg, G Schreiber, B Wielinga… – Applied Ontology – IOS Press … 45 45 46 46 Engineering ontologies for question answering … The classification in use is not directly suitable for automated reasoning. First, the relations are heterogeneous, for example, both part of building and office building are classified as subordinate concepts of building. … Related articles

Ontology Driven Controlled Natural Language Clinical Decision Support System for the Cardiovascular Specialty D Mendes, IP Rodrigues, CF Baeta… – Procedia …, 2014 – Elsevier … The knowledge base is automatically populated by means of a tutored acquisition from clinical reports using Controlled Natural Language rendering an ontology driven question answering system with high recall, precision and F … Journal of Automated Reasoning (2013), pp. …

Ontology Design Approaches for Development of an Excise Duty Recommender System C Anutariya, V Wuwongse – Information Search, Integration, and …, 2014 – books.google.com … mapping of legal knowledge from natural language to some formal syntax and semantics can enable automated reasoning [3]. Legal … tax-related knowledge to support intelligent applications such as automatic auditing, online help and tax question-answering systems [5]. These …

REMU–Reliable Multilingual Digital Communication: Methods and Applications A Ranta, K Claessen, G Schneider, R Enache… – lingfil.uu.se … Swedish/. . . In addition to grammars, REMU uses formal methods, such as automated reasoning and software verification. Reasoning is used for question answering, but also for con- sistency checking of documents. Software …

Publications P Doherty – 2014 – ida.liu.se … [ Conference | .pdf ]. [50], Martin Magnusson. Automated Reasoning Agent Architecture. … LIU-IDA/LITH-EX-A-08/013-SE. [ E-Press | .pdf ]. [36], Martin Magnusson and Patrick Doherty. Temporal Action Logic for Question Answering in an Adventure Game. …

Watson, come here! The role of intelligent systems in health care RE Gantenbein – World Automation Congress (WAC), 2014, 2014 – ieeexplore.ieee.org … AND DECISION SUPPORT SYSTEMS IN HEALTHCARE In February 2011, IBM’s Watson question-answering system appeared on … research, including advanced natural language processing, information retrieval, knowledge representation, automated reasoning, and machine …

Comparative analysis of knowledge representation and reasoning requirements across a range of life sciences textbooks VK Chaudhri, D Elenius, A Goldenkranz… – Journal of Biomedical …, 2014 – jbiomedsem.com … AI) project called Project Halo, we developed an intelligent textbook technology that leverages an explicit ontology and a question-answering system, and that … CLIB is a linguistically motivated ontology designed to support representation of knowledge for automated reasoning. …

Ontology Design Approaches for Development of an Excise Duty Recommender System M Buranarach, T Ruangrajitpakorn, C Anutariya… – … Search, Integration, and …, 2014 – Springer … mapping of legal knowledge from natural language to some formal syntax and semantics can enable automated reasoning [ 3 ]. Legal … tax-related knowledge to support intelligent applications such as automatic auditing, online help and tax question-answering systems [ 5 …

The Semantic science Integrated Ontology (SIO) for biomedical research and knowledge discovery. M Dumontier, CJO Baker, J Baran… – J. Biomedical …, 2014 – biomedcentral.com … based on mechanism of action [13], among others [14]. These knowledge-based applications use automated reasoning over a … Applications Semantic data integration and question answering The Bio2RDF project uses Semantic Web technologies to offer the largest network of … Cited by 11 Related articles All 11 versions

Representing Syntactic-Semantic Knowledge from English Texts R Guidry Jr, J Chen – world-comp.org … on knowledge representation for syntactic and semantic knowledge which are essential for natural language understanding and question-answering. … are intended for a graphical and declarative representation of knowledge, and should support automated reasoning systems to …

Controlled Natural Language Processing as Answer Set Programming: An Experiment R Schwitter – Controlled Natural Language, 2014 – Springer … for question answering. 6 Conclusion In this paper, we investigated in an experimental way if it is possible to process a controlled natural language entirely in ASP and if ASP can serve as a uni- fied framework for parsing, knowledge representation and automated reasoning. …

Entities with Genetic Information–An Initial Perspective from the Core Theme of Continuity and Change in Biology F Loebe, VK Chaudhri – ONTOLOGIES AND DATA IN LIFE SCIENCES …, 2014 – onto-med.de … concept graphs for core theme coverage; and 6. Conceive of possible reasoning patterns and simulate tests of question answering. … an upper ontology which is linguistically motivated and de- signed to support the representation of knowledge for automated reasoning [3]. CLIB …

Semantic Web: vision and reality M Jovanov, M Gusev – ciit.finki.ukim.mk … then with XML taxonomies and documents with mixed vocabularies, technologies come to level of XML ontology and automated reasoning. … checking digital signatures (for the security minded) and building Web pages and question-answering services based on the harvested … Related articles

Harvard Model Congress C Leibowicz – harvardmodelcongress.org … IBM developed Watson to further advance natural language processing, information retrieval, knowledge representation, automated reasoning, machine learning, and to further the sub-field of artificial intelligence known as open domain question answering. …

Mobile radiology interaction and decision support systems of the future D Sonntag, S Zillner, P Ernst, C Schulz… – Towards the Internet of …, 2014 – Springer … III-Stage. The clinician’s diagnosis contradicts the results of the automated reasoning application. As the … 2010, vol. 7628. The SPIE Digital Library D. Sonntag, Ontologies and Adaptivity in Dialogue for Question Answering. Volume 4 … Cited by 2

Statistical Script Learning with Multi-Argument Events K Pichotta, RJ Mooney – aclweb.org … The procedural encoding of common situations for automated reasoning dates back decades. … Miikkulainen (1990; 1993) gives a hi- erarchical Neural Network system which stores sequences of events from text in episodic memory, capable of simple question answering. … Cited by 2 Related articles All 4 versions

Deterministic statistical mapping of sentences to underspecified semantics H Alshawi, PC Chang, M Ringgaard – Computing Meaning, 2014 – Springer … Indeed, we have started building such a corpus for a question answering application, and hope to report re- sults for that corpus in the future. … Stickel, M. (1985). Automated deduction by theory resolution. Journal of Automated Reasoning, 1, 333–355. van Benthem, J. (1986). … Cited by 10 Related articles All 7 versions

Constructing Coherent Event Hierarchies from News Stories G Glavaš, J Šnajder – TextGraphs-9, 2014 – aclweb.org … 2003a. TimeML: Robust specification of event and temporal expressions in text. New Directions in Question Answering, 3: 28–34. J. Pustejovsky, P. Hanks, R. Sauri, A. See, R. Gaizauskas, A. Setzer, D. Radev, B. Sund- heim, D. Day, L. Ferro, et al. 2003b. The TimeBank corpus. …

Ly: IF u, is y? AND… THEN D Filev – Readings in Fuzzy Sets for Intelligent Systems, 2014 – books.google.com … Appl. 15 (10): 797- 810. Approximation of information pertaining to multiple- valued attributes by means of twofold fuzzy sets, and the corresponding question-answering problem. … J. of Automated Reasoning 5: 207-233. An expert system shell with fuzzy-valued certainty factors. …

Fuzzy Resolution with Similarity-Based Reasoning B Mondal, S Raha – Recent Developments and New Directions in Soft …, 2014 – Springer … Mechanical theorem proving techniques were first applied to deductive question answering systems and then to problem solving, program … and important drawback of compositional rule of inference and executes effective resolution to show its flexibility for automated reasoning. …

Structure Logic: A New Method that Enables Richer Meaning Representations G Hofford – softwareengineeringconcepts.com … The ob- jectives of question answering systems involve the transformation of questions into a structured form. … unnecessary restrictions on the structure of rules; sophisticated rule structure is therefore possible, and this is viewed as the basis for automated reasoning that has a … Related articles

A method of ontologies merging based on rules J Liu, Z Gu, L Luo – International Journal of Wireless and Mobile …, 2014 – Inderscience … Dejing, D., McDermott, D. and Peishen, Q. (2002) ‘Ontology translation by ontology merging and automated reasoning’, Proceeding of EK-AW2002 … Wang, L., Liao, L. and Li, P. (2012) ‘Application of dynamic service composition in web question answering’, International Journal … Related articles All 2 versions

Semi-automated hypothesis evaluation using semantic technologies AV Callahan – 2014 – curve.carleton.ca … currently envision [5]. E-Science [6-8] has much to gain from a system for automated hypothesis evaluation that brings question-answering and the distributed use and analysis of scientific data up to the scale of current data production in the natural sciences. Novel …

?-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic LV(n×2)P(X) J Zhang, Y Xu, X He – International Journal of Computational …, 2014 – Taylor & Francis … automated reasoning, its aim is to achieve the mechanization of theo- rem proving, resolution-based automated reasoning is one way … They are widely applied to areas such as artificial intelligence, logic programming, problem solving and question answering systems, … Related articles

Natural Language Semantics using Probabilistic Logic I Beltagy, S Professors, RJ Mooney, K Erk – cs.utexas.edu … supports automated reasoning, and that can be acquired automatically from the natural text. Efficient semantic representations (meaning representations) and reasoning tools give computers the power to perform useful complex applications like Question Answering, Automatic …

A Metaontology for Annotating Ontology Entities with Vagueness Descriptions P Alexopoulos, S Peroni, B Villazón-Terrazas… – … Reasoning for the …, 2014 – Springer … evolve VO by looking at its potential links with fuzzy ontologies, identifying more sophisticated vagueness distinctions and phenomena and enabling a higher level of automated reasoning. … Zadeh, LA: From search engines to question-answering systems – the need for new tools. …

A Metaontology for Annotating Ontology Entities with Vagueness Descriptions JZ Pan, JM Gómez-Pérez – … Reasoning for the Semantic Web III: …, 2014 – books.google.com Page 117. A Metaontology for Annotating Ontology Entities with Vagueness Descriptions Panos Alexopoulos1 (B), Silvio Peroni2, 3, Boris Villazón-Terrazas1, Jeff Z. Pan4, and José Manuel Gómez-Pérez1 1 iSOCO, Madrid, Spain {palexopoulos, bvillazon, jmgomez}@ isoco. …

[BOOK] Commonsense Reasoning: An Event Calculus Based Approach ET Mueller – 2014 – books.google.com Page 1. ERIK. T. MUELLER COMMONSENSE |REASONING EDITION Page 2. Commonsense Reasoning Page 3. This page intentionally left blank Page 4. Commonsense Reasoning An Event Calculus Based Approach Second …

Knowledge Sharing in Virtual Community Based on RDF Triple Publication and Retrieving To Process SPQRQL Query Y Zhao, H Si, Q Lang – Journal of Software, 2014 – ojs.academypublisher.com … They can serve as sources of knowledge for web-based question answering system, recommendation system, etc [3, 4]. Especially in some virtual knowledge communities [5, 6], numbers of OWL ontologies are also created. …

Introduction to ROSS: A New Representational Scheme GR Hofford – 2014 – softwareengineeringconcepts.com … Question answering systems require the trans- formation of questions into a structured form. … An example is the SHRDLU system of Terry Winograd, which focused on commonsense rea- soning about simple domains and question- answering (Winograd, 1971). … Cited by 2 Related articles

Replacing the Irreplaceable: Fast Algorithms for Team Member Recommendation L Li, H Tong, N Cao, K Ehrlich, YR Lin… – arXiv preprint arXiv: …, 2014 – arxiv.org Page 1. Replacing the Irreplaceable: Fast Algorithms for Team Member Recommendation Liangyue Li Arizona State University liangyue@asu.edu Hanghang Tong Arizona State University Hanghang.Tong@asu.edu Nan Cao IBM Research nancao@us.ibm.com … Cited by 1

ConceptOnto: An upper ontology based on Conceptnet E Najmi, K Hashmi, Z Malik, HU Khan, A Rezgui – researchgate.net … A field which we believe can have immense benefit from an easier data representation is “Question Answering”. … [23] Vanessa Lopez, Michele Pasin, and Enrico Motta. Aqualog: An ontology-portable question answering system for the semantic web. …

Analogy-Based and Case-Based Reasoning: Two sides of the same coin MG Voskoglou, ABM Salem – arXiv preprint arXiv:1405.7567, 2014 – arxiv.org … and the cases are indexed under this GE by their different features. Concerning CYRUS, it was basically a question-answering system with knowledge of the various travels and meetings of former US Secretary of State Cyrus Vance and the … Cited by 1 Related articles All 2 versions

Automatic Strengthening of Graph-Structured Knowledge Bases V Chaudhri, N Dinesh, S Heymans… – Graph Structures for …, 2014 – Springer … We have implemented this novel GSKB covering in a scalable way, and have suc- cessfully applied it to the AURA GSKB [2], [4]. The AURA GSKB is the basis of the intelligent question answering textbook Inquire, see [7]2, and currently contains around … Related articles All 5 versions

Cognitive Analytics: A Step Towards Tacit Knowledge? FA MAYMIR-DUCHARME, LA ANGELELLI – iiisci.org … the Cognitive Analytics technology described in Section 3 to a new level, adding advanced natural language processing, automated reasoning, and machine … In 2011, the open- domain question-answering (QA) system, dubbed Watson, beat the two highest ranked players in a …

Automated classification of argument stance in student essays: A linguistically motivated approach with an application for supporting argument summarization AR Faulkner – 2014 – works.gc.cuny.edu … While the relationship between formal logic and AI research in automated reasoning and planning has been more or less constant and fruitful over the past half century, the relationship between Linguistics and NLP, as summarized in Jurafsky and Martin (2009, pgs. …

Paraconsistency in hybrid logic D Costa, MA Martins – 2014 – sweet.ua.pt … In Computer Science, subdomains like requirements engineer- ing ([18]), artificial intelligence ([15]) and automated reasoning within information processing knowledge bases ([16]), are among the most relevant areas in which paraconsistent logic can address theoretical … Cited by 2 Related articles All 2 versions

Language Processing with Perl and Prolog P Nugues – Cognitive Technologies, 2014 – Springer Page 1. Cognitive Technologies Pierre M. Nugues Language Processing with Perl and Prolog Theories, Implementation, and Application Second Edition Page 2. Cognitive Technologies Managing Editors: DM Gabbay J. Siekmann …

Domain-sensitive topic management in a modular conversational agent framework D Macias Galindo – 2014 – researchbank.rmit.edu.au Page 1. Domain-Sensitive Topic Management in a Modular Conversational Agent Framework A thesis submitted for the degree of Doctor of Philosophy Daniel Mac?as-Galindo, B.Eng., M.Sc, School of Computer Science and …

A Survey on Large Scale Corpora and Emotion Corpora M Ptaszynski, R Rzepka, S Oyama, M Kurihara… – Information and Media …, 2014 – jlc.jst.go.jp … recent corpora. For exam- ple, Sasaki et al. [10] in 2001 reported a construc- tion of a question answering (QA) system based on a large scale corpus. The corpus they used consisted of 528,000 newspaper articles. YACIS [11 …

Natural Logic and Natural Language Inference B MacCartney, CD Manning – Computing Meaning, 2014 – Springer … for full natural language understanding, and NLI can also enable more immediate applications, such as se- mantic search and question answering. … p and h into some formal meaning representation, such as first-order logic (FOL), and then apply automated reasoning tools to … Cited by 1 Related articles All 2 versions

[BOOK] Three Views of Logic: Mathematics, Philosophy, and Computer Science DW Loveland, RE Hodel, SG Sterrett – 2014 – books.google.com … presents a certain non-classical logic (relevance logic) and a semantics for it that is useful for automated reasoning systems that … Watson, IBM’s question-answering computer, made famous in 2011 by an impressive performance on the quiz show Jeopardy!, employed resolution … Cited by 2 Related articles All 3 versions

An Ontology-Based CBR approach for Personalized Itinerary Search Systems for Sustainable Urban Freight Transport A Bouhana, A Zidi, A Fekih, H Chabchoub… – Expert Systems with …, 2014 – Elsevier … Combined with automated reasoning applications, ontologies can be used for several purposes such as knowledge extraction and information retrieval; (2 … 4) integrating CBR in an ontology-based IR system may improve query reformulation in a question-answering context, and …

Concept Learning J LEHMANN, N FANIZZI, L BÜHMANN, C D’AMATO – jens-lehmann.org … Indeed, while normally the semantics of change operations has been considered from the logical and deductive point of view of automated reasoning, a rel- evant part of information lying in the data that populates ontological knowledge bases is generally overlooked or plays a … Cited by 2 Related articles

A Meta-Engineering Approach for Document-Centered Knowledge Acquisition J Reutelshöfer – opus.bibliothek.uni-wuerzburg.de … In the meantime, methods for automated reasoning however have 2http://www.k-cap.org/k-cap/ about-k-cap.html 19 Page 20. 1 Introduction strongly evolved, becoming standard techniques with the computational power still having in- creased by orders of magnitude. …

Text Mining for Drug–Drug Interaction HY Wu, CW Chiang, L Li – Biomedical Literature Mining, 2014 – Springer … IR), recognizing biological entities or concepts in text, and detecting relations between biological entities (IE) and broader to document summarization or question answering (beyond IE … [ 46 ] developed a method that combined text mining and automated reasoning to predict … Related articles All 4 versions

System Design, draft Deliverable D2. Z Beloki, G Rigau, A Soroa, A Fokkens, P Vossen… – newsreader-project.eu Page 1. System Design, draft Deliverable D2.1 Version FINAL Authors: Zuhaitz Beloki1, German Rigau1, Aitor Soroa1, Antske Fokkens2, Piek Vossen2, Marco Rospocher3, Francesco Corcoglioniti3, Roldano Cattoni3, Thomas … Related articles

[BOOK] The Johns Hopkins Guide to Digital Media ML Ryan, L Emerson, BJ Robertson – 2014 – books.google.com … In software, algorithms are used for performing calcula- tions, conducting automated reasoning, and processing data (including digital texts)—but algorithms may also be implemented in mathematical models, mechanical devices, bio- logical networks, electrical circuitry, and … Cited by 1 Related articles All 2 versions

A Certainty-Based Model for Uncertain Databases O Pivert, H Prade – ieeexplore.ieee.org Page 1. 1063-6706 (c) 2013 IEEE. Personal use is permitted, but republication/ redistribution requires IEEE permission. See http://www.ieee.org/ publications_standards/publications/rights/index.html for more information. This …

On the Characterisation and Clustering of the Blogosphere FP Téllez – 2014 – users.dsic.upv.es Page 1. On the Characterisation and Clustering of the Blogosphere Fernando Pérez Téllez being a thesis presented for the award of Doctor of Philosophy (PhD) of Science (Research) Degree in Information Technology Supervisors Dr. John Cardiff …