Cycorp 2018


Notes:

Cyc is an artificial intelligence project that attempts to assemble a comprehensive ontology and knowledge base of everyday common sense knowledge….

  • Knowledge normalization

Resources:

  • cadeinc.org .. international conference on automated deduction
  • dev.cyc.com/api .. cyc api comprises a suite of java apis for developing cyc-based applications
  • github.com/cycorp .. research, develop, and commercialize artificial intelligence
  • lexvo.org .. defines global ids (uris) for language-related objects
  • robobrain.me .. a large-scale computational system that learns from publicly available Internet resources

Wikipedia:

See also:

100 Best Cycorp VideosAIML & OpenCycOpenCyc & Dialog Systems


Learning Search Policies in Large Commonsense Knowledge Bases by Randomized Exploration
A Sharma, KM Goolsbey – 2018 – cogsys.org
… Randomized Exploration Abhishek Sharma ABHISHEK@CYC.COM Keith M. Goolsbey GOOLSBEY@CYC.COM Cycorp, Inc. 7718 Wood Hollow Dr, Suite 250, Austin, TX 78731 Abstract Deep deductive reasoning is a critical problem for cognitive systems …

Robotic and intelligence: ethical challenges philosophical1
D Lawrence – The freedom of scientific research: Bridging the gap …, 2018 – books.google.com
… Cycorp (2016),’A knowledge modeling and machine reasoning environment capable of addressing the most challenging problems in industry, government, and academia’, Cycorp: Home of Smarter Solutions, www. cyc. com (last accessed 14 July 2016) …

Building a Knowledge Based Summarization System for Text Data Mining
A Timofeyev, B Choi – International Cross-Domain Conference for Machine …, 2018 – Springer
… 350–356. SCITEPRESS (2017). https://doi.org/10.5220/0006580303500356. 2. Cycorp: Cycorp Making Solutions Better. http://www.cyc.com. 3. Cheung, J., Penn, G.: Towards robust abstractive multi-document summarization: a caseframe analysis of centrality and domain …

Ontology Summit 2018 Communiqué: Contexts in context
K Baclawski, M Bennett, G Berg-Cross… – Applied …, 2018 – content.iospress.com
… 4.3.Microtheories. The notion of a microtheory (MT) was introduced by Cycorp who developed a large library of MTs (Cycorp Website, nd) … 4.4.Extending first-order logic to specify contexts. The Cycorp MTs are usually specified as logical theories …

Relevant logics obeying component homogeneity
R Ciuni, D Szmuc, TM Ferguson – The Australasian Journal of …, 2018 – ojs.victoria.ac.nz
… Relevant Logics Obeying Component Homogeneity Roberto Ciuni, Damian Szmuc, and Thomas Macaulay Ferguson Department FISPPA, Section of Philosophy, University of Padova University of Buenos Aires and IIF-SADAF, CONICET Cycorp and Saul Kripke Center …

Does Ought Imply Ought Ought?
D Immerman – The Philosophical Quarterly, 2018 – academic.oup.com
… Article Navigation. Does Ought Imply Ought Ought? Daniel Immerman. Cycorp, Austin, TX, USA. orchid id http://orcid.org/0000-0003-4707-3269. Search for other works by this author on: Oxford Academic. Google Scholar. Daniel …

Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan’s Mate Function
TM Ferguson – The Australasian Journal of Logic, 2018 – ojs.victoria.ac.nz
Page 1. Australasian Journal of Logic Parity, Relevance, and Gentle Explosiveness in the Context of Sylvan’s Mate Function Thomas Macaulay Ferguson Cycorp and Saul Kripke Center Abstract The Routley star, an involutive …

The Keisler–Shelah theorem for through semantical atomization
TM Ferguson – Logic Journal of the IGPL, 2018 – academic.oup.com
Page 1. The Keisler–Shelah theorem for QmbC through semantical atomization THOMAS MACAULAY FERGUSON ? , Cycorp, 7718 Wood Hollow Drive, Austin, TX 78731; Saul Kripke Center, 365 Fifth Avenue, New York, NY 10016, USA. Abstract …

The Fractal Limit of Human Thought Samuel R Dismond III Sebastopol, California USA
SR Dismond III – researchgate.net
… The COQOA targets the Cyc Knowledge Base (Cyc KB) from Cycorp as the development and deployment environment … Nomenclature. Reifications in COQOA follow the naming convention advised by Cycorp for using CycL. Constants begin with an uppercase letter …

Yogyat? as an absence of non-congruity
S Panchal, A Kulkarni – Computational Sanskrit & Digital Humanities – sanskrit.uohyd.ac.in
… These charts expressed se- lectional restrictions using both ontological concepts as well as semantic 1 http://www. cyc. com/kb, accessed on 30th August, 2017 Page 77. Yogyat? as an absence of non-congruity 61 properties …

Xlike-Cross-lingual Knowledge Extraction (FP7-ICT-2011-7)
M Grobelnik, B Fortuna, G Leban, J Rupnik, A Muhi?… – kdd.org
… in social media. As an interlingua, knowledge resources from Linked Open Data cloud (http://linkeddata.org/) were used with special focus on general common sense knowledge base CycKB (http://www.cyc.com/). For the languages …

Iest: Wassa-2018 implicit emotions shared task
R Klinger, O De Clercq, SM Mohammad… – arXiv preprint arXiv …, 2018 – arxiv.org
… We then mask the emotion word and ask systems to 2http://www.cyc.com predict the emotion category associated with that word.3 The emotion category can be one of six classes: anger, disgust, fear, joy, sadness, and sur- prise. Examples from the data are …

Interactive Agent that Understands the User
P Gmytrasiewicz, G Moe, A Morena – 2018 AAAI Spring Symposium Series, 2018 – aaai.org
… This is akin to how one gains an informal understanding of physical concepts, such as gravity, through observation. An example of this rule-based 1OpenCyc is a trademark and Cyc is a registered trademark of Cycorp, Inc. 2Also stylized as “Martha” …

Introduction
DS Hartley – An Ontology for Unconventional Conflict, 2018 – Springer
An ontology of unconventional conflict supports the understanding of unconventional conflict in general. It also provides a tool for understanding and investigating a particular unconventional…

Creativity in systems with artificial intelligence
AF Kudryashev, OI Elkhova – ??????? ?????, 2018 – journal.ugatu.ac.ru
… Although the program of artificial intelligence operates huge quantities of obvious facts and deal with certain tests, but at the same time, they are absolutely helpless before is- sues requiring support on experience and common sense. 1 http://www.cyc.com/platform/opencyc …

Legally Human?’Novel Beings’ and English Law
DR Lawrence, M Brazier – Medical law review, 2018 – academic.oup.com
ABSTRACT. Novel beings—intelligent, conscious life-forms sapient in the same way or greater than are human beings—are no longer the preserve of science fiction.

WikiDoc—Integrating Wikipedia Semantic for Document Assistance
JL Hong – Redesigning Learning for Greater Social Impact, 2018 – Springer
… The user study shows that our system is highly effective in making the users understand the key concepts of certain keywords. Footnotes. 1. (2010). [Online]. Available: http://www.cyc.com. 2. (2010). [Online]. Available: http://www.loa-cnr.it/DOLCE.html. 3. (2010). [Online] …

Multi-Stage Language Understanding and Actionability
M McShane, S Nirenburg, J English – 2018 – cogsys.org
Page 1. Advances in Cognitive Systems 6 (2018) 1–20 Submitted 6/2018; published 8/2018 © 2018 Cognitive Systems Foundation. All rights reserved. (Draft: Do not distribute) Multi-Stage Language Understanding and Actionability Marjorie McShane …

An Answer Set Programming Based Approach To Representing And Querying Textual Knowledge
DR Pendharkar, G Gupta, V Gogate, V Ng – 2018 – utdallas.edu
… hand and implementing inference techniques on that knowledge. Recently, Cycorp has planned to use Cyc’s natural language processing to parse unstructured data like that presented by the documents on the internet to extract structured data …

Closing the Loop: Placing Ontology Usage Analysis in the Ontology Development and Deployment Lifecycle
J Ashraf, OK Hussain, FK Hussain… – Measuring and Analysing …, 2018 – Springer
… Cyc [88, 177]: Cyc methodology was the result of experience gained through the development of the Cyc knowledge base comprised of common sense knowledge. A detailed description of Cyc methodology and knowledge bases is available at www.cyc.com (retr.; 11/11/2017) …

Schrödinger’s Robot: Privacy in Uncertain States
IR Kerr – 2018 – papers.ssrn.com
Page 1. 1 / 25 Schrödinger’s Robot: Privacy in Uncertain States* Ian Kerr† PROLEGOMENA One can even set up quite ridiculous cases. A robot is penned up in a steel chamber, pro- grammed with a machine learning algorithm (giving it the potential to cognize personal data) …

Machine learning with and for semantic web knowledge graphs
H Paulheim – Reasoning Web International Summer School, 2018 – Springer
… 2.1 Cyc and OpenCyc. The Cyc knowledge graph is one of the oldest knowledge graphs, dating back to the 1980s [32]. Rooted in traditional artificial intelligence research, it is a curated knowledge graph, developed and maintained by CyCorp Inc …

Moral pickles, moral dilemmas, and the obligation preface paradox
D Immerman – Philosophical Studies, 2018 – Springer
… After all, if each student turns in ten problem sets a quarter, and each problem set has ten problems, & Daniel Immerman immermand@gmail.com 1 Cycorp, 800 W 38th St, Austin, TX 78705, USA 123 Philos Stud https://doi.org/10.1007/s11098-018-1116-5 Page 2 …

Wisdom extraction in knowledge-based information systems
Z Malik, K Hashmi, E Najmi… – Journal of Knowledge …, 2018 – emeraldinsight.com
… Over the years, this knowledge base has spun off to create Cycorp, and hence not available for public use … Further information regarding the language, data set and usage can be found on the Cycorp corporation Web site[2] …

Learning from Unannotated QA Pairs to Analogically Disambiguate and Answer Questions
M Crouse, C McFate, K Forbus – 2018 – qrg.northwestern.edu
… 1983) Structure Mapping Theory. Given two cases, a base and target consisting of structured descriptions (predicate calculus), 1 http://www.cyc.com/platform/researchcyc/ Page 2. (verbSemTrans Give-TheWord DitransitiveFrame …

Reasoning with Justifiable Exceptions in Contextual Hierarchies
L Bozzato, L Serafini, T Eiter – Sixteenth International Conference on …, 2018 – aaai.org
Page 1. Reasoning with Justifiable Exceptions in Contextual Hierarchies Loris Bozzato, Luciano Serafini Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento, Italy {bozzato,serafini}@fbk.eu Thomas Eiter Technische …

Natural Language Question Understanding Requires Concept-Level Reasoning for Resolving Reference Ambiguities
A Schleicher, D Wolter – spatial.ucsb.edu
… knowledge and basic concepts. To evaluate interpretation in context of potential answers 1http://www.cyc.com 2https://wordnet.princeton.edu/ 3http://www.sfs.uni-tuebingen.de/ GermaNet/ 4http://wiki.dbpedia.org 3 Page 4. we relate to …

Semantic modeling of educational curriculum and syllabus.
? ?????, E Katis – 2018 – apothesis.lib.teicrete.gr
Page 1. TECHNOLOGICAL EDUCATIONAL INSTITUTE OF CRETE SCHOOL OF APPLIED TECHNOLOGY DEPARTMENT OF APPLIED INFORMATICS AND MULTIMEDIA SEMANTIC MODELING OF EDUCATIONAL CURRICULUM & SYLLABUS by EVANGELOS KATIS …

Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity
TM Ferguson – Logic and Logical Philosophy, 2018 – apcz.umk.pl
Page 1. Logic and Logical Philosophy (2018) DOI: 10.12775/LLP.2018.011 Published online: August 8, 2018 Thomas Macaulay Ferguson INCONSISTENT MODELS (AND INFINITE MODELS) FOR ARITHMETICS WITH CONSTRUCTIBLE FALSITY Abstract …

Automatic refinement of large-scale cross-domain knowledge graphs
A Melo – 2018 – ub-madoc.bib.uni-mannheim.de
Page 1. AUTOMATIC REFINEMENT OF LARGE-SCALE CROSS-DOMAIN KNOWLEDGE GRAPHS Inauguraldissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften der Universität Mannheim vorgelegt von …

Building a Commonsense Knowledge Base for a Collaborative Storytelling Agent
DT Ong, CR De Jesus, LK Gilig, JB Alburo… – Pacific Rim Knowledge …, 2018 – Springer
… 40–48. ACL, Stroudsburg (2010)Google Scholar. 16. Cyc: Logical reasoning with the world’s largest knowledge base. http://www.cyc.com. Accessed 11 Apr 2018. 17. FrameNet. https://framenet.icsi.berkeley.edu/fndrupal/. Accessed 11 Apr 2018. 18 …

Modelling and Reasoning about Robot Knowledge with OWL Ontologies
P Maier – researchgate.net
Page 1. Fakultät für Informatik Lehrstuhl für Echtzeitsysteme und Robotik Modelling and Reasoning about Robot Knowledge with OWL Ontologies Peter Maier Seminar Human-Robot Interaction (SS17) Advisor: Ingmar Kessler Supervisor: Prof. Alois Knoll Submission: July 2017 …

Ontology For Unconventional Conflict
D HARTLEY – 2018 – Springer
Page 1. Understanding Complex Systems Dean S. Hartley III An Ontology for Unconventional Conflict Page 2. Springer Complexity Springer Complexity is an interdisciplinary program publishing the best research and aca- demic …

Croatian Network Lexicon within the Syntactic and Semantic Framework and LLOD Cloud
M Oreškovi?, S Lovren?i?… – International Journal of …, 2018 – academic.oup.com
… http://nazivlje.hr/ 13. Upper-level ontologies contain general categories that are applicable across multiple domains. 14. http://www.cyc.com/ 15. http://www.adampease.org/OP/ 16. http://ifomis.uni-saarland.de/bfo/ 17. https://www.w3.org/standards/semanticweb/ontology 18 …

A Gödel-Artemov-Style Analysis of Constructible Falsity
TM Ferguson – International Symposium on Logical Foundations of …, 2018 – Springer
David Nelson’s logic of constructible falsity$$\mathsf {N}$$N is a well-known conservative extension to intuitionistic logic $$\mathsf {Int}$$Int. Heinrich Wansing has suggested that extending the pro.

ScrumOntoBDD: uma abordagem baseada em Scrum, ontologia e BDD para o desenvolvimento ágil de software
PL Souza – 2018 – repositorio.ufscar.br
Page 1. DISSERTAÇÃO DE MESTRADO UNIVERSIDADE FEDERAL DE SÃO CARLOS CENTRO DE CIÊNCIAS EXATAS E DE TECNOLOGIA PROGRAMA DE PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO “ScrumOntoBDD: uma abordagem baseada …

Qualitative representations: How people reason and learn about the continuous world
KD Forbus – 2018 – books.google.com
Page 1. QUALITATIVE REPRESENTATIONS – — – º º t the Continuous World Page 2. Qualitative Representations Page 3. Page 4. Qualitative Representations How People Reason and Learn about the Continuous World Kenneth …

Data Science with Vadalog: Bridging Machine Learning and Reasoning
L Bellomarini, RR Fayzrakhmanov, G Gottlob… – … Conference on Model …, 2018 – Springer
Following the recent successful examples of large technology companies, many modern enterprises seek to build knowledge graphs to provide a unified view of corporate knowledge and to draw deep…

Industrial Policy 4.0
PG Sampath – 2018 – ase.tufts.edu
… Fly, 3Scan, Arterys, Pulse, CareSkore, iCarbonX, Deep Genomes Sensors: Predix, Maana, Planet OS, Sentenai, Uptake, Konux, Alluvium Security: Cylance, Darktrace, Zimperium, Deepinstinct, Sentinel MACHINE LEARNING: Loop, Cognitive Scale, Minds.ai, Cycorp, Google ML …

Industrial Policy 4.0: Promoting Transformation in the Digital Economy
P Gehl Sampath – 2018 – papers.ssrn.com
… MACHINE LEARNING: Loop, Cognitive Scale, Minds.ai, Cycorp, Google ML, Hyperscience, NaraLogics, Geometric Intelligence, Deepscience.io, Scaled Inference, Skymind SOFTWARE: Tensorflow (google) Azure (Microsoft) CNTK (Microsoft) DMTK Spark Deep Learning 4J …

Evolutive Graphics with Linked Data
C Saito Murata – 2018 – diva-portal.org
… other services like YAGO4, Freebase5 and OpenCyc6. 4See http://yago-knowledge. org 5See https://freebase.com 6See http://www.cyc.com/opencyc/ 13 Page 20. Chapter 3 Characterization of data At this point of the Project …

Artificial Intelligence in Value Creation: Improving Competitive Advantage
A Wodecki – 2018 – books.google.com
Page 1. ANDRZEJ WODECKI ARTIFICIAL INTELLIGENCE IN VALUE CREATION Improving Competitive Advantage Page 2. Artificial Intelligence in Value Creation Page 3. Andrzej Wodecki Artificial Intelligence in Value Creation Improving Competitive Advantage Page 4 …

RuleRS: a rule-based architecture for decision support systems
MB Islam, G Governatori – Artificial Intelligence and Law – Springer
Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records…

Artificial Intelligence In Value Creation
A WODECKI – Springer
Page 1. ARTIFICIAL INTELLIGENCE IN VALUE CREATION ANDRZEJ WODECKI Improving Competitive Advantage Page 2. Artificial Intelligence in Value Creation Page 3. Andrzej Wodecki Artificial Intelligence in Value Creation Improving Competitive Advantage Page 4 …

Towards reasoning based representations: Deep Consistence Seeking Machine
A L?rincz, M Csákvári, Á Fóthi, ZÁ Milacski… – Cognitive Systems …, 2018 – Elsevier
Skip to main content …

Evaluating the comprehension of means-ends maps
J Nassour, M Elhadad, A Sturm, E Yu – Software & Systems Modeling, 2018 – Springer
Page 1. Software & Systems Modeling https://doi.org/10.1007/s10270-018-0691-4 SPECIAL SECTION PAPER Evaluating the comprehension of means-ends maps Jumana Nassour1 · Michael Elhadad1 · Arnon Sturm1,2 · Eric Yu2 …

User-friendly temporal queries on historical knowledge bases
C Zaniolo, S Gao, M Atzori, M Chen, J Gu – Information and Computation, 2018 – Elsevier
Skip to main content …

Statistical Relation Cardinality Bounds in Knowledge Bases
E Munoz, M Nickles – Transactions on Large-Scale Data-and Knowledge …, 2018 – Springer
There is an increasing number of Semantic Web knowledge bases (KBs) available on the Web, created in academia and industry alike. In this paper, we address the problem of lack of structure in these…

Representing, Running, and Revising Mental Models: A Computational Model
S Friedman, K Forbus, B Sherin – Cognitive science, 2018 – Wiley Online Library
Page 1. Cognitive Science (2017) 1–36 Copyright © 2017 Cognitive Science Society, Inc. All rights reserved. ISSN: 0364-0213 print / 1551-6709 online DOI: 10.1111/cogs.12574 Representing, Running, and Revising Mental Models: A Computational Model …

of deliverable Initial knowledge base design and coaching strategies
T Beinema, G Huizing, H op den Akker, M Snaith… – 2018 – council-of-coaches.eu
Page 1. D3.1: Initial knowledge base design and coaching strategies Dissemination level: Public Document type: Report Version: 1.0.0 Date: February 28, 2018 This project has received funding from the European Union’s Horizon …

Measuring and Analysing the Use of Ontologies: A Semantic Framework for Measuring Ontology Usage
J Ashraf, OK Hussain, FK Hussain, EJ Chang – 2018 – books.google.com
Page 1. Studies in Computational Intelligence 767 Jamshaid Ashraf Omar K. Hussain Farookh Khadeer Hussain Elizabeth J. Chang Measuring and Analysing the Use of Ontologies A Semantic Framework for Measuring Ontology Usage Page 2 …

Measuring and Analysing the Use of Ontologies
J Ashraf, OK Hussain, FK Hussain, EJ Chang – Springer
Page 1. Studies in Computational Intelligence 767 Jamshaid Ashraf Omar K. Hussain Farookh Khadeer Hussain Elizabeth J. Chang Measuring and Analysing the Use of Ontologies A Semantic Framework for Measuring Ontology Usage Page 2 …

High Performance Methods for Linked Open Data Connectivity Analytics
M Mountantonakis, Y Tzitzikas – Information, 2018 – mdpi.com
The main objective of Linked Data is linking and integration, and a major step for evaluating whether this target has been reached, is to find all the connections among the Linked Open Data (LOD) Cloud datasets. Connectivity among two or more datasets can be achieved through …

Linked data quality of dbpedia, freebase, opencyc, wikidata, and yago
M Färber, F Bartscherer, C Menne… – Semantic Web, 2018 – content.iospress.com
In recent years, several noteworthy large, cross-domain, and openly available knowledge graphs (KGs) have been created. These include DBpedia, Freebase, OpenCyc, Wikidata, and YAGO. Although extensively in use, these KGs have not been subject to an i.

Knowledge-intensive, high-performance relation extraction
S Krause – 2018 – depositonce.tu-berlin.de
Page 1. Knowledge-Intensive, High-Performance Relation Extraction vorgelegt von Dipl.-Inf. Sebastian Krause geb. in Halle (Saale) von der Fakultät IV – Elektrotechnik und Informatik der Technischen Universität Berlin zur Erlangung des akademischen Grades …

Sentiment Analysis in the Bio-Medical Domain: Techniques, Tools, and Applications
R Satapathy, E Cambria, A Hussain – 2018 – books.google.com
Page 1. Socio-Affective Computing 7 Ranjan Satapathy Erik Cambria Amir Hussain Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications Page 2. Socio-Affective Computing Volume 7 Series Editor …

Sentiment Analysis in the Bio-Medical Domain
R Satapathy, E Cambria, A Hussain – Springer
Page 1. Socio-Affective Computing 7 Ranjan Satapathy Erik Cambria Amir Hussain Sentiment Analysis in the Bio-Medical Domain Techniques, Tools, and Applications Page 2. Socio-Affective Computing Volume 7 Series Editor Amir Hussain, University of Stirling, Stirling, UK …

An argumentation-based perspective over the social IoT
M Lippi, M Mamei, S Mariani… – IEEE Internet of Things …, 2018 – ieeexplore.ieee.org
Page 1. 2327-4662 (c) 2017 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 …

Detecting New, Informative Propositions in Social Media
N Dewdney – 2018 – etheses.whiterose.ac.uk
Page 1. DOCTORAL THESIS Detecting New, Informative Propositions in Social Media Author: Nigel Dewdney Supervisor: Prof. Robert GAIZAUSKAS A thesis submitted in fulfillment of the requirements for the degree of Doctor of Philosophy …

FarsBase: The Persian Knowledge Graph
M Asgari, A Hadian, B Minaei-Bidgoli – semantic-web-journal.net
Page 1. Semantic Web 1 (0) 1–5 1 IOS Press

Towards the Evolution of Information in Digital Ecosystems
KJ Lippert – 2018 – search.proquest.com
Page 1. Page 2. Page 3. ©2018, Kari J. Lippert TOWARDS THE EVOLUTION OF INFORMATION IN DIGITAL ECOSYSTEMS A Dissertation Submitted to the Graduate Faculty of the University of South Alabama in partial fulfillment of the requirements for the degree of …

Functional and semantic roles in a high-level knowledge representation language
GP Zarri – Artificial Intelligence Review, 2018 – Springer
Page 1. Artif Intell Rev DOI 10.1007/s10462-017-9571-5 Functional and semantic roles in a high-level knowledge representation language Gian Piero Zarri1 © Springer Science+Business Media BV 2017 Abstract We describe …

(Visited 86 times, 1 visits today)