singnet / ai-dsl Goto Github PK

Hi.

Amazed to see some real life Idris code. I guess it's the first time I stumble on that: real life Idris code. Stunned.

I tried looking at what the repo was doing a bit. And there obviously is little indication as to how to build it. (which kind of seems to be a constant in opencog derived projects...)

Got a kind of syntax error with the first thing I tried to build.

mini-me@virtucon ~/h/c/a/e/a/NeuralNets (master)> idris2 Main.idr -o Main
Uncaught error: Error: Expected a capitalised identifier, got: lst.

Main:3:24--3:27
 1 | module Main
 2 | import Lib
 3 | import Prelude.List as lst

Could it be possible to have some more detailed instructions as to how to have some fun with this repo ?

Here's a compilation of related work to the AI-DSL. That is work that attempts to partially or wholly fulfill some of the goals of the AI-DSL.

• • Title: An Ontology for Engineering Mathematics
  • URL: http://www-ksl.stanford.edu/knowledge-sharing/papers/engmath.html
  • Sum-up: Ontology for AI-ish agent communication.
  • Relevance: high
  • Bib:
• • Title: Toward a Knowledge Medium for Collaborative Product Development
  • URL: http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=E15610AC2629A5A37292A7FE4ABAB296?doi=10.1.1.35.1403&rep=rep1&type=pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Compositional Specification and Reuseof a Generic Co-operative Agent Model
  • URL: https://www.cs.vu.nl/~wai/Papers/IJCIS99.coopagmod.pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Formal Specification of Multi-Agent Systems: A Real-World Case
  • URL: https://www.researchgate.net/publication/221412477_Formal_Specification_of_Multi-Agent_Systems_A_Real-World_Case
  • Sum-up: Application of DESIRE for a "system for electricity transportation management". They mention specifying expressive type signatures: "The language in which a component is specified is based on an order-sorted predicate logic (i.e., predicate logic with a hierarchically ordered sort structure) within which signatures are defined.". As well as about composition: "a task decomposition: a task hierarchy together with specification of input and output signatures for each of the (sub)tasks".
  • Relevance: high
  • Bib:
    • Dunin Keplicz, B. and J. Treur (1995). Compositional formal specification of multi-agent systems. In: M. Wooldridge, N. Jennings (eds.), Intelligent Agents, Proc. of the ECAI'94 Workshop on Agent Theories, Architectures and Languages, Lecture Notes in AI, vol. 890, Springer Verlag, 1995, pp. 102-117
    • Gavrila, I.S. and J. Treur (1994). A formal model for the dynamics of compositional reasoning systems. In: A.G. Cohn (ed.), Proc. 11th European Conference on Artificial Intelligence, ECAI'94, Wiley and Sons, pp. 307-311
• • Title: Specification of Agent in Complex Adaptive System
  • URL: https://www.researchgate.net/publication/221324584_Specification_of_Agent_in_Complex_Adaptive_System
  • Relevance:
  • Sum-up:
  • Bib:
• • Title: An Agent Based Formal Specification Language Processor
  • URL: https://www.researchgate.net/publication/265853375_An_Agent_Based_Formal_Specification_Language_Processor
  • Sum-up: Descartes Spec Language, founded on Hoare Tree
  • Relevance: high
  • Bib:
    • Urban, J. E., A Specification Language and Its Processor, Ph.D. Dissertation, Computer Science Department, University of Southwestern Louisiana, 1977, received an Association for Computing Machinery Doctoral Dissertation Award, 1978, http://awards.acm.org/award_winners/urban_192124 3.cfm
    • Subburaj, V. H. and Urban, J. E., “Intelligent Software Agent Design Issues With Extensions to the Descartes Specification Language,” Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, California, 2010, pp. 297-305.
    • Sturm, A. and Shehory, O., “A Framework for Evaluating Agent-Oriented Methodologies,” Agent- Oriented Information Systems, Springer, 2004, pp. 94-109.
• • Title: Formal Specification and Verification of Multi-Agent Systems
  • URL: https://www.sciencedirect.com/science/article/pii/S1571066105000447
  • Sum-up: Define an extension of Computation Tree Logic (CTL) called multi-modal branching-time logic (BDI_{CTL}) to apply model checking on collections of agent given their description in some pseudo programming language. It seems to focus on agent's believes and actions, not sure it's totally relevant but could be.
  • Relevance: mid
  • Bib:
• • Title: A Proposed Architecture for Distributed Multi-Agent Intelligent System (DMAIS)
  • URL: https://www.researchgate.net/publication/238473975_A_Proposed_Architecture_for_Distributed_Multi-Agent_Intelligent_System_DMAIS
  • Sum-up: Agent Communication Language (ACL). FIPA- ACL (by the Foundation for Intelligent Physical Agents, a standardization consortium) and the KQML (Knowledge Query and Manipulation Language). Check that output of one agent is compatible with input of another (but they remain vague how).
  • Relevance: high
  • Bib:
    • Gruver, W., “Technologies and Applications of Distributed Intelligent Systems”, IEEE MTT-Chapter Presentation, Waterloo, Canada, 2004.
    • T. Sugawara, S. Kurihara, T. Hirotsu, K. Fukuda, S. Sato, O. Akashi , "Total performance local agent selection strategies in multi-agent systems", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, Pages: 601 - 608 , Hakodate, Japan, 2006
    • Su, Y., Liu, J., Zhong, N., Zheng, L., Liu, C. "A Method of Distributed Problem Solving on the Web", Proc. 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05), IEEE Computer Society Press 42-45. 2005.
    • Wooldridge, M. and Jennings, N. “Intelligent Agents: Theory and Practice”, The Knowledge Engineering Review, vol. 10, no. 2, 1995, pp. 115-152.
    • Gábor Németh, "Knowledge-based generic intelligent network model" Proceedings of the 1st conference on Computing frontiers schia, Italy, Pages: 263 – 267, 2004
    • Haeng-Kon Kim, "Intelligent Retrieval Agent based on Distributed Environment", Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications, Pages: 137 – 143, 2006.
    • Roman Neruda, "Cooperation of Computational Intelligence Agents", Proceedings of the International Symposium on Collaborative Technologies and Systems, Pages: 256 – 263, 2006.
    • A.Chavez, A.Moukas, P. Maes "A multi-agent system for distributed resource allocation", Proceedings of the First International Conference on Autonomous Agents (Agents'97), 1997
• • Title: Towards an Active, Autonomous and Intelligent Cyber Defense of Military Systems: the NATO AICA Reference Architecture
  • URL: https://www.researchgate.net/publication/325965705_Towards_an_Active_Autonomous_and_Intelligent_Cyber_Defense_of_Military_Systems_the_NATO_AICA_Reference_Architecture
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Distributed Artificial Intelligence in GIS- Geolet: A Distributed Geo-Spatial Information Retriever
  • URL: https://www.researchgate.net/publication/254250995_Distributed_Artificial_Intelligence_in_GIS-_Geolet_A_Distributed_Geo-Spatial_Information_Retriever
  • Sum-up: Too specialized, DAI for Distributed Geo-Spatial Information Retriever. They mention Distributed Problem Solving (DPS) which is a relevant terminology.
  • Relevance: mid
  • Bib:
    • O’Hare, G. and Jennings, N. (1996) Foundations of distributed artificial intelligence,. Six-Generation Computer Technology Series, A Wiley-Interscience Publication.
• • Title: Automatically inferring technology compatibility with an ontology and graph rewriting rules
  • URL: https://www.researchgate.net/publication/347828663_Automatically_inferring_technology_compatibility_with_an_ontology_and_graph_rewriting_rules
  • Sum-up: Build on top of Basic Formal Ontology, use formal descriptions of "technologies", which can be any system, not just computer systems (they mention the PhysSys ontology, as well as EngMath). Methodology: "The proposed method consists of three parts: an ontology to describe engineering systems, graph transformation rules to represent technologies and rules to infer dependencies between the technologies. The graph transformation rules then reflect parts of knowledge graphs that are modified as a result of a technology.". They use automated reasoning to infer the compatibility between technologies.
  • Relevance: mid-high
  • Bib:
    • Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R. and Treur, J. (1995). Formal specification of Multi-Agent Systems: a real-world case. In: V. Lesser (ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS’95, MIT Press, Cambridge, MA, pp. 25-32. Extended version in: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94.
    • Jennings, N.R., and M. Wooldridge (eds.) (1998b), Agent Technology: Foundations, Applications, and Markets. Springer Verlag.
• • Title: Semantic Web based architecture for managing hardware heterogeneity in wireless sensor network
  • URL: https://www.researchgate.net/publication/271015184_Semantic_Web_based_architecture_for_managing_hardware_heterogeneity_in_wireless_sensor_network
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Knowledge-System Technology: Ontologies and Problem-Solving Methods
  • URL: https://www.researchgate.net/publication/265263041_Knowledge-System_Technology_Ontologies_and_Problem-Solving_Methods
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Objectives of OpenMath: Towards a Standard for Exchanging Mathematical Information
  • URL: https://www.researchgate.net/publication/264895237_Objectives_of_OpenMath_Towards_a_Standard_for_Exchanging_Mathematical_Information
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: OntoMathPRO ontology: A linked data hub for mathematics
  • URL: https://www.researchgate.net/publication/264085114_OntoMathPRO_ontology_A_linked_data_hub_for_mathematics
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management
  • URL: https://link.springer.com/chapter/10.1007/978-3-319-57135-5_3
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: FIDOE: A Framework for Intelligent Distributed Ontologies in Engineering
  • URL: https://www.researchgate.net/publication/258235016_FIDOE_A_Framework_for_Intelligent_Distributed_Ontologies_in_Engineering
  • Sum-up: great deal of ontology talk, they mention SUMO. Also mention Horn logic: "Commonalities within a distributed ontological knowledge base can be identified using Horn logic [24] to query upper level classes in ontologies using class properties and property values.". As well as SWRL: "SWRL [28], or the Semantic Web Rule Language, expands the expressivity of an OWL knowledge base beyond description logic to a broader range of first-order logic.". Mention ABox and TBox as well: "An ontology is often thought of as having two components, an Abox and a Tbox. The Abox refers to the assertions, or individual instances, made within the knowledge framework. The Tbox, or the terminological component, refers to the knowledge structure itself: the framework and relationships between classes and properties. As well as tools for onto reasoning: "Ontological development tools such as Protégé [31-33] and Swoop [34] provide reasoning and inference capabilities to their established knowledge bases. While Protégé has built-in support for SWRL using the SWRLTab and JESS [35] inference engine, Swoop has integrated the reasoner Pellet."
  • Relevance: very high
  • Bib:
    • Horn, A., “On sentences which are true of direct unions of algebras”, Journal of Symbolic Logic, 16, pp. 14-21, 1956
    • Horrocks, I., Patel-Schneider, P., Bechhofer, S., Tsarkov, D, “OWL Rules: A Proposal and Prototype Implementation.” Journal of Web Semantics, Vol. 3, No. 1, pp. 23-40, 2005
    • RuleML Wagner,G, Tabet,S and Boley,H, “MOF-RuleML: The Integrate 2003, OMG Meting, Boston, October 2003
    • Schmidt-Schauß,M. “Subsumption in KL-ONE is Undecidable.” Proc. of the 1st Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR’89), pp. 421–431. Morgan Kaufmann, Los Altos, 1989
    • Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B., Hendler, J. “Swoop – A Web Ontology Editing Browser.” Journal of Web Semantics, 4(1), 2005
    • Gennari, J., Musen, M. A., Fergerson, R. W., Grosso, W. E., Crubézy, M., Eriksson, H., Noy, N. F., Tu, S. W., The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. 2002.
• • Title: Open Math: Communicating Mathematical Information Between Co-operating Agents in a Knowledge Network
  • URL: https://www.researchgate.net/publication/240157018_Open_Math_Communicating_Mathematical_Information_Between_Co-operating_Agents_in_a_Knowledge_Network
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: SLABS: A Formal Specification Language for Agent-Based Systems
  • URL: https://www.semanticscholar.org/paper/SLABS%3A-A-Formal-Specification-Language-for-Systems-Zhu/35d0f106fcf87cf9cde33c3d5639f0074e210e9f
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Compositional Evolution
  • URL: https://mitpress.mit.edu/books/compositional-evolution
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: The current landscape of Agent Communication Languages
  • URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.6469
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: State of Art in Ontology Development Tools
  • URL: https://www.warse.org/pdfs/2013/ijacst01272013.pdf
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: Enforcing Social Semantic in FIPA-ACL Using SPIN
  • URL: https://link.springer.com/chapter/10.1007%2F978-981-13-8679-4_1
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: Interoperability Between Heterogeneous Multi-agent Systems Recommended by FIPA: Towards a Weakly Coupled Approach Based on a Network of Recurrent Neurons of the LSTM type
  • URL: https://www.researchgate.net/publication/346897572_Interoperability_Between_Heterogeneous_Multi-agent_Systems_Recommended_by_FIPA_Towards_a_Weakly_Coupled_Approach_Based_on_a_Network_of_Recurrent_Neurons_of_the_LSTM_type
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: A Thorough Insight into Theoretical and Practical Developments in MultiAgent Systems
  • URL: https://www.researchgate.net/publication/313126209_A_Thorough_Insight_into_Theoretical_and_Practical_Developments_in_MultiAgent_Systems
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: Semantic interoperability between heterogeneous multi-agent systems based on Deep Learning
  • URL: https://ieeexplore.ieee.org/document/8525921
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: A Review on Agent Communication Language
  • URL: https://link.springer.com/chapter/10.1007%2F978-981-13-2622-6_47
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: Intefacing a Reasoner with Heterogeneous Self-controlling Software
  • URL: https://repository.library.northeastern.edu/files/neu:1375/fulltext.pdf
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: A FIPA-ACL Ontology in Enhancing Interoperability Multi-agent Communication
  • URL: https://link.springer.com/chapter/10.1007/978-981-10-8276-4_15
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: A Thorough Insight into Theoretical and Practical Developments in MultiAgent Systems
  • URL: https://www.researchgate.net/publication/313126209_A_Thorough_Insight_into_Theoretical_and_Practical_Developments_in_MultiAgent_Systems
  • Sum-up:
  • Relevance: mid
  • Bib:
• • Title: Formal specification techniques
  • URL: https://ieeexplore.ieee.org/abstract/document/296781
  • Sum-up:
  • Relevance: high
  • Bib:
• • Title: Implementation-independent Function Reuse
  • URL: https://www.sciencedirect.com/science/article/abs/pii/S0167739X19303723
  • Sum-up: Paper describing the Function Ontology https://fno.io/ for retrieving functions, for remote or local use, based on informal and formal description.
  • Relevance: very high
  • Bib:
    • C. Bizer, T. Heath, T. Berners-Lee, Linked Data – The Story So Far, International Journal On Semantic Web and Information Systems 5 (3) (2011) 205–227.
    • M. D. Wilkinson, M. Dumontier, I. J. Aalbersberg, G. Appleton, M. Axton, A. Baak, N. Blomberg, J.-W. Boiten, L. B. da Silva Santos, P. E. Bourne, J. Bouwman, A. J. Brookes, T. Clark, M. Crosas, I. Dillo, O. Dumon, S. Edmunds, C. T. Evelo, R. Finkers, A. Gonzalez-Beltran, A. J. Gray, P. Groth, C. Goble, J. S. Grethe, J. Heringa, P. A. ’t Hoen, R. Hooft, T. Kuhn, R. Kok, J. Kok, S. J. Lusher, M. E. Martone, A. Mons, A. L. Packer, B. Persson, P. Rocca-Serra, M. Roos, R. van Schaik, S.-A. Sansone, E. Schultes, T. Sengstag, T. Slater, G. Strawn, M. A. Swertz, M. Thomp- son, J. van der Lei, E. van Mulligen, J. Velterop, A. Waagmeester, P. Wit- tenburg, K. Wolstencroft, J. Zhao, B. Mons, The FAIR guiding principles for scientific data management and stewardship, Scientific Data 3 (2016) 160018.
    • S. Bajracharya, J. Ossher, C. Lopes, Sourcerer: An infrastructure for large- scale collection and analysis of open-source code, Science of Computer Pro- gramming 79 (2014) 241–259.
    • R. Gardler, Project Catalogues and Project Descriptors using DOAP, Brief- ing note, OSS Watch (Feb. 2013). URL http://oss-watch.ac.uk/resources/doap
    • T. Lebo, S. Sahoo, D. McGuinness, K. Belhajjame, J. Cheney, D. Corsar, D. Garijo, S. Soiland-Reyes, S. Zednik, J. Zhao, PROV-O: The PROV Ontology, Recommendation, World Wide Web Consortium (W3C) (Apr. 2013). URL https://www.w3.org/TR/prov-o/
    • D. Garijo, Y. Gil, The p-plan ontology, Tech. rep., Ontology Engineering Group (Mar. 2014). URL http://purl.org/net/p-plan#
    • D. Garijo, Y. Gil, O. Corcho, Abstract, link, publish, exploit: An end to end framework for workflow sharing, Future Generation Computer Systems 75 (2017) 271–283.
    • A. Miles, S. Bechhofer, SKOS Simple Knowledge Organization System Reference, Recommendation, World Wide Web Consortium (W3C) (Aug. 2009). URL https://www.w3.org/TR/skos-reference/
    • P. Chalin, J. R. Kiniry, G. T. Leavens, E. Poll, Beyond Assertions: Ad- vanced Specification and Verification with JML and ESC/Java2, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W.-P. de Roever (Eds.), Formal Meth- ods for Components and Objects, Vol. 4111 of Lecture Notes in Computer Science, Springer, Berlin, Heidelberg, 2006, pp. 342–363.
    • N. Mitchell, Hoogle Overview, The Monad.Reader 12 (2008) 27–35.
    • I. Garcı́a-Contreras, J. F. Morales, M. V. Hermenegildo, Semantic code browsing, Theory and Practice of Logic Programming 16 (5-6) (2016) 721– 737.
    • D. Martin, M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, K. Sycara, OWL-S: Semantic Markup for Web Services, Member submis- sion, World Wide Web Consortium (W3C) (Nov. 2004). URL http://www.w3.org/Submission/OWL-S/
    • J. Van Herwegen, R. Taelman, S. Capadisli, R. Verborgh, Describing con- figurations of software experiments as linked data, in: D. Garijo, W. R. van Hage, T. Kauppinen, T. Kuhn, J. Zhao (Eds.), Proceedings of the First Workshop on Enabling Open Semantic Science (SemSci), no. 1931 in CEUR Workshop Proceedings, Aachen, 2017, pp. 23–30.
    • B. Regalia, K. Janowicz, S. Gao, VOLT: A Provenance-Producing, Trans- parent SPARQL Proxy for the On-Demand Computation of Linked Data and its Application to Spatiotemporally Dependent Data, in: Proceed- ings of the 13th International Conference on The Semantic Web. Latest Advances and New Domains, Springer International Publishing, Springer, 2016, pp. 523–538.
    • S. Harris, A. Seaborne, SPARQL 1.1 Query Language, Recommendation, World Wide Web Consortium (W3C) (Mar. 2013). URL https://www.w3.org/TR/sparql11-query/
    • C. Debruyne, D. O’Sullivan, R2RML-F: Towards Sharing and Executing Domain Logic in R2RML Mappings, in: Workshop on Linked Data on the Web, CEUR Workshop Proceedings, CEUR, 2016.
    • H. Knublauch, D. Allemand, S. Steyskal, SHACL Advanced Features, Working group note, World Wide Web Consortium (W3C) (Jun. 2017). URL https://www.w3.org/TR/shacl-af/
    • H. Knublauch, P. Maria, SHACL JavaScript Extensions, Working group note, World Wide Web Consortium (W3C) (Jun. 2017). URL https://www.w3.org/TR/shacl-js/
    • M. Lanthaler, Hydra Core Vocabulary: A Vocabulary for Hypermedia- Driven Web APIs, Unofficial draft, World Wide Web Consortium (W3C) (Jan. 2019). URL http://www.hydra-cg.com/spec/latest/core/
    • H. Mili, F. Mili, A. Mili, Reusing Software: Issues and Research Directions, IEEE Transactions on Software Engineering 21 (6) (1995) 528–562.
    • C. M. Keet, A. Lawrynowicz, C. d’Amato, A. Kalousis, P. Nguyen, R. Palma, R. Stevens, M. Hilario, The Data Mining OPtimization On- tology, Journal of Web Semantics 32 (2015) 43–53.
    • B. Villazón-Terrazas, L. M. Vilches-Blázquez, O. Corcho, A. Gómez-Pérez, Methodological guidelines for publishing government linked data, in: Link- ing Government Data, Springer New York, 2011, pp. 27–49.
    • F. Radulovic, M. Poveda-Villalón, D. Vila-Suero, V. Rodrı́guez-Doncel, R. Garcı́a-Castro, A. Gómez-Pérez, Guidelines for linked data generation and publication: An example in building energy consumption, Automation in Construction 57 (2015) 178–187.
• • Title: An Ontology to Semantically Declare andDescribe Functions
  • URL: http://2016.eswc-conferences.org/sites/default/files/papers/Accepted%20Posters%20and%20Demos/ESWC2016_POSTER_An_Ontology_to_Semantically_Declare_Describe_Functions.pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Detailed Provenance Captureof Data Processing
  • URL: http://ceur-ws.org/Vol-1931/paper-05.pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Discovering and Using Functionsvia Content Negotiation
  • URL: http://ceur-ws.org/Vol-1690/paper110.pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Results of the Ontology Alignment Evaluation Initiative 2007
  • URL: https://www.semanticscholar.org/paper/Results-of-the-Ontology-Alignment-Evaluation-2007-Euzenat-Isaac/d92a308c214744acece54ccba30b30926927b078
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Semantic Mapping Based on Ontology and Bayesian Network and its Application to CAD and PDM Integration
  • URL: https://nanoengineeringmedical.asmedigitalcollection.asme.org/IDETC-CIE/proceedings-abstract/IDETC-CIE2006/42578/591/317890
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Validating and Verifying AI Systems
  • URL: https://www.sciencedirect.com/science/article/pii/S2666389920300428
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Verification and Validation and Artificial Intelligence
  • URL: https://www.sciencedirect.com/science/article/pii/S0065245805650048
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Structure verification of deep neural networks at compilation time using dependent types
  • URL: https://www.researchgate.net/publication/335649970_Structure_verification_of_deep_neural_networks_at_compilation_time_using_dependent_types
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Towards Verified Artificial Intelligence
  • URL: https://arxiv.org/abs/1606.08514
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Verified Stack-Based Genetic Programming via Dependent Types
  • URL: https://cogsys.uni-bamberg.de/events/aaip11/accepted/diehl.pdf
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Neural.idr
  • URL: https://gist.github.com/mrkgnao/a45059869590d59f05100f4120595623
  • Sum-up:
  • Relevance:
  • Bib:
• • Title: Formal Specification for Deep Neural Networks
  • URL: https://people.eecs.berkeley.edu/~sseshia/pubs/b2hd-seshia-atva18.html
  • Sum-up:
  • Relevance:
  • Bib:

I want to define service attributes and their metadata in external data structure (most probably json) and then provide an ability to load this metadata to idris type definitions for type checking and other magic, as specified with the following issues from NuNet worklfow:

• verify the eligibility of proposed workflow for workflow aggregation;
• build a workflow aggregation sequence;
• checking input and output types via Idris 2 metadata

I believe this is related to these places in the code:

Essentially what is required is to load the function / type definitions used in combine from external sources. is that possible at all and what is the best way to go about it?
@ngeiswei @sroberti

@ngeiswei -- we have produced the locally 'runnable' variant of nunet app. please see this issue and comment on https://gitlab.com/nunet/nunet-infra/-/issues/24#note_558195653.

it is not clear if this is something workable for you, which has to be discussed.

• if it is workable, then it would be excellent if you could issue pull requests on each branch of ai-dsl so that we could merge them back to master; otherwise these branches will not merge...
• if it is not workable, then probably the best if the testing infra for ai-dsl is build from scratch; i believe the provided code (and I) may help to do that faster than completely from scratch...