Re: Nebulous concepts... how to even start on this logic-based project of mine?

On Thu, 08 Nov 2007 14:26:30 -0800, collection60@xxxxxxxxxxxxxx wrote:


If I were to input these two lines:

Water can pass_though Skin
Water only pass_though(has[holes])

my ideal logic processor would output this line:

Skin has holes

Ok. From a pure logical point of view I would try the following
formalization of the problem:

s : skin

WPT(x) : water passes through x
H(x) : x has holes

Info_1:

Ax(WPT(x) -> H(x))

"For any x: if water passes trough x, then x has holes."

"Water only passes through something that has holes."

Info_2:

WPT(s)

"Water passes through skin."

Hence (by first-order predicate logic):

H(s)

"Skin has holes."


Basically, this would be doing a bit of "set mathematics". [...]

I'd start with first-order predicate logic. Then you may extend your
system according to your needs/specifications.


Now, that's great for trying to explain this one theory that proves
that the skin has holes in it.

Right.


But I have many more theories of mine. Which to be honest I am having
great difficulty manually converting them from English into any format
that would be easy for a computer to parse.

Where would I even BEGIN such a project? I mean.... right now it feels
like I'm scratching at a wall with claws, not really making much
headway in removing the wall.

Well. You might start by checking the following project:

http://www.cyc.com/


Does anyone know of people who have had success in converting concepts
expressed in English, into computer-parsable formats?

See project mentioned above.

---> CycL: the Cyc representation language


And I'm talking about concepts that aren't easily expressed in mathematics
either ;) Like someone who converted Darwin's theory of evolution into some-
thing Prolog could parse.

I guess, you really should check out Cyc (for a starter).


F.


P.S.
But you also wrote: "I want my logic processor to be more advanced than
that, able to basically parse any other programming language into logic,
and then render that logic into another other programming language."

If THAT is your aim you do not have to consider "conversion from English
into [whatever]", after all a programming language already is completely
formal, with a precise specification (of syntax and semantics).

"... the programs would be "proven correct" by the logic parser, so
basically they would be proven to be 100% bug free."

You might check literature concerning /"program verification/.

--

E-mail: info<at>simple-line<dot>de
.

Relevant Pages

  • Re: Nebulous concepts... how to even start on this logic-based project of mine?
    ... Water only pass_though ... if water passes trough x, then x has holes." ... "Water passes through skin." ... that, able to basically parse any other programming language into logic, ...
    (sci.logic)
  • Re: Theres something fishy about human brain evolution
    ... It uses urea as part of the mechanism to maintain ... anti-pathogenic skin covering, especially in the presence of sunlight ... tolerant of salt but intolerant of acid, ... The problem frogs face is that their skin is permeable to water. ...
    (sci.anthropology.paleo)
  • Re: Middle school readiness
    ... When my children were in school, they were not allowed to bring water ... As I said, I don't care if the kids have a water bottle, and One often ... of sunlight and the slightest tan color is a sure sign of Permanent Skin Damage ...
    (misc.kids)
  • Re: The Suzuki DF2.5 HP Has Arrived! (And the cooling system is working!)
    ... Suzuki calls them pilot holes, not pee or tell-tale holes and that ... the pilot water holes at medium engine speeds. ... having the motor in GEAR, not NEUTRAL as stated above) your outboard ...
    (rec.boats.cruising)
  • Re: The cost of health
    ... For backache the cost of health may be a packet of Japanese $3 ... But water is another matter, because it can also affect infants, the ... and also see the skin specialist. ...
    (soc.culture.singapore)