Exp-Log (a deductive system)

  • 30 Replies
  • 4458 Views
*

ivan.moony

  • Trusty Member
  • ************
  • Bishop
  • *
  • 1573
    • contrast-zone
Re: Exp-Log (a deductive system)
« Reply #30 on: August 29, 2021, 06:03:20 pm »
Semantic rhombus

The whole rhombus is defined by semantic rules. We give input. The task is to extract output. To compute output, we abduce from goals to input. Output is then in the way of this abduction. If there are many outputs, the one closest to goal is chosen. As an additional way to verify if input is correct, prior to extraction of output, we may try to deduce from facts to input.
Code: text
                    FACTS
                      _
                    _/ \_                      D ||      /\
                  _/ \_/ \_                    E ||     //\\
                _/ \_/ \_/ \_                  D ||    //||\\
              _/ \ / \ / \ / \_                U ||      ||
             /                 \               C ||      ||
          _         INPUT         _            T ||      ||
        _/  _   _   _   _   _   _  \_          I ||      ||
      _/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_        O ||      ||
    _/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_      N ||      ||
  _/ \ / \ / \ / \ / \ / \ / \ / \ / \ / \_      ||      ||
 /                                         \     ||      ||
                  SEMANTICS                      ||      ||
 \_                                       _/     ||      ||
   \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/       ||      ||
     \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/         ||      || A
       \_/ \_/ \_/ \_/ \_/ \_/ \_/ \_/           ||      || B
         \_                       _/             ||      || D
                    OUTPUT                       ||      || U
             \_               _/                 ||      || C
               \_/ \_/ \_/ \_/                   ||      || T
                 \_/ \_/ \_/                   \\||//    || I
                   \_/ \_/                      \\//     || O
                     \_/                         \/      || N
                       
                    GOALS
There exist some rules interwoven within this world. As much as it is a blessing, so much it is a curse.

 


Users Online

98 Guests, 0 Users

Most Online Today: 110. Most Online Ever: 2369 (November 21, 2020, 04:08:13 pm)

Articles