Looking for Prolog Programmers, Ontologists, SMEs, Knowledge Engineers

Part of the LOGICMOO Project being laid out at https://logicmoo.org/xwiki/

Repo at https://logicmoo.org/gitlab/logicmoo/logicmoo_workspace/

Our Discord Server Invite Link https://discord.gg/JREW7F2

Project Goals

  1. To test and do practical Knowledge Engineering about a virtual realm of objects. (Expertly build rooms with objects based on rules.)
    Sometimes its easier to model the world as and how we see it.
  2. Perform higher level operations and model how state changes happen with our objects
  3. To animate non-player character agents from propositional rules
  4. Provide a interface for humans to involve themselves in the lives of logically created agent creatures.
  5. To represent episodic models of memory for each agent. (As well as abduction or creating ‘Beliefs’)
  6. Craft rooms in English (Similar to I7 … however there is no “compilation phase” needed)

PrologMUD is an example of what can be done when intelligent programs and humans can work together to achieve a goal.  Since LOGICMOO was designed for handling imperfect and even non-intelligent agents (of both species),  it allows editing PrologMUD's source code while maintaining paraconsistency.  The system allows for disagreement and elaboration upon rules that define the runtime characteristics and world-local daemons.  Elaboration tolerance requires nonmonotonic reasoning. The elaborations that are tolerated depend on what aspects of the phenomenon are treated non monotonically. Representing contexts as objects in a logical formalism that can express relations among contexts should also help.  The simplest kind are the addition of new formulas. We'll call these additive elaborations. Next comes changing the values of parameters. Adding new arguments to functions and predicates represents more of a change. However, elaborations not expressible as additions to the object language representation may be treatable as additions at a meta-level expression of the facts. 

Tags: NeedsMore Docs
  
This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 12.10.2 - Documentation