EricLindahl

 Eric Lindahl, eric a t ericlindahl d o t com    (2DB1)

Domains of interest    (ZWN)

• Space-time Logic    (2DAQ)
  • Geometric Reasoning    (2DAR)
  • Measures and Mensuration    (2DAS)
    • OASIS Measures http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=quomos    (2DE9)
• Belief Theory    (ZWO)
  • Subjective Logic    (10AM)
  • Evidential Reasoning    (10AN)
• Knowledge Representation    (ZWP)
  • Ontology    (10AO)
  • Concept Complexity    (10AP)
  • Cognitive Augmentation    (10AQ)
• Modal Logic    (ZWQ)
  • Epistemic Logic    (ZWR)
  • Doxastic Logic    (ZWS)
• Type Theory    (ZWT)
  • Dependent Types    (10AR)
  • GADT    (10AS)
  • Secure Systems    (10AT)
• Automated Theorem Proving    (10AU)
  • Theorema    (10AV)
  • Unification    (10AW)
• Ontology Coalesce There can be only One    (2DEA)
  • amalgam, de facto ontology    (2DEB)
  • because ontologies makes as much sense as multiverse    (2DEE)
    • http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository    (2DEC)
    • http://oor-01.cim3.net/ontologies    (2DED)

Publications    (2DAT)

• Pattern Matching Information Flow using GADT    (2DAU)
  • E. Lindahl and V. L. Winter. Pattern Matching Information Flow using GADT. In Proceedings of the 3rd International Conference on Information Warfare and Security (ICIW), pages 255--262. ACI, 2008.    (2DAV)
  • http://faculty.ist.unomaha.edu/winter/publications/pub_index.html    (2DAW)
• Epistemic Belief Frames in Distributed Effects-based Reasoning    (2DAX)
  • E. Lindahl and Q. Zhu, "Epistemic Belief Frames in Distributed Effects-based Reasoning", International conference: Integration of Knowledge Intensive Multi-Agent Systems, KIMAS 07, Boston, MA, April 29-May 3, 2007, paper # 1124.    (2DAY)
  • http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4227522    (2DAZ)
  • http://www.cs.unomaha.edu/~zhuq/publications.htm    (2DB0)
• Situation Awareness and Dynamic Group Formation of Agents and Humans Using Jabber    (2DB2)
  • E. Lindahl and P. Petrov, 12th ICCRTS, Rhode Island 2007    (2DB3)
  • http://www.dodccrp.org/events/12th_ICCRTS/Track5.html    (2DB4)
• A multi-agent system of evidential reasoning for intelligence analyses    (2DB5)
  • Lindahl, E., O'Hara, S., and Zhu, Q. 2007. A multi-agent system of evidential reasoning for intelligence analyses. In Proceedings of the 6th international Joint Conference on Autonomous Agents and Multiagent Systems (Honolulu, Hawaii, May 14 - 18, 2007). AAMAS '07. ACM, New York, NY, 1-6. DOI= http://doi.acm.org/10.1145/1329125.1329461    (2DB6)
  • http://portal.acm.org/citation.cfm?id=1329461    (2DB7)

Grant Awards    (2E05)

Department of Defense SBIR    (2E0G)

• PSIBED - Parametric Structures for Integrative Backscatter models and Environmental Database    (2E07)
  • Topic #NAVY 07-189    (2E08)
  • Awarded: 7/13/2008    (2E09)
  • http://www.dodsbir.net/selections/abs073/navyabs073.htm    (2E0A)
    • PSIBED develops a parametric space built on powerful geometric algebraic formalism for generalizing backscatter models as advanced layered sediment algebraic “versors.” The PSIBED algebraic signatures are used to describe and integrate models with parameters and environmental databases. PSIBED uses a multi-dimensional Clifford Fourier Transform structure for representing complex underwater environments and handles propagation of uncertainty as a first class property of PSIBED. Preliminary experiments reveal the potential to obtain, store, and utilize acoustic bottom backscatter information. This technology will ultimately lead to better underwater systems for use by manned and unmanned systems.    (2E0B)
• Exemplar-based Latent Semantic Analysis Rational-agent Ontological System (ELROS)    (2E0C)
  • Topic#AF 04-058    (2E0D)
  • Awarded: 2004    (2E0E)
    • Our system concept is entitled "ELROS", meaning an exemplar-based latent semantic analysis rational-agent ontological system. In our exemplar-based approach to LSA, a populated knowledge repository is used to boost the results of the LSA. Our exemplar-based approach goes beyond concept-based boosting approach by using modal perception categorization and belief statements. ELROS rational agents will provide ready-made training SME's to guide both trainers and trainees through their tasks and amplify their effectiveness by increasing the completion of the highest valuation of tasks first. ELROS rational agents will learn in a passive unsupervised manner, but can also be instructed. Rational agents are proxies for humans and take on their human's needs matrix to build and execute plans within ELROS.    (2E0F)