model-challenge
[Top] [All Lists]

Re: [model-challenge] example of reprsenting marriage in FOL

To: Modeling Benchmark Challenge <model-challenge@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Sat, 5 May 2012 21:12:34 +0000
Message-id: <FDFBC56B2482EE48850DB651ADF7FEB01839617A@xxxxxxxxxxxxxxxxxx>

Also, correct me if I’m wrong, Adrian, but behind this restricted English representation is logic programming, i.e., Horn Logic, a syntactically restricted FOL.

 

Is that right, Adrian? Do you use any non-Horn Logic extensions or second-order logic, etc.?

 

Thanks,

Leo

 

From: model-challenge-bounces@xxxxxxxxxxxxxxxx [mailto:model-challenge-bounces@xxxxxxxxxxxxxxxx] On Behalf Of henson graves
Sent: Saturday, May 05, 2012 4:41 PM
To: 'Modeling Benchmark Challenge'
Subject: [model-challenge] example of reprsenting marriage in FOL

 

Adrian,

I did miss your link. If anyone else did, here it is:

   www.reengineeringllc.com/demo_agents/Marry3.agent

This is the kind of example representation that can get the discussion moving forward. Correct me if I am wrong in the following. It looks like you are using a binary or 3-place predicate Marriage(x,y,t). Presumably you have unary predicates for male, female and time. That would allow you to make assertions about Mary and John being married at a specific time. Presumably you have axioms for time. Do you have time intervals. Do you have axioms that preclude someone being married to two people at the same time. With this axiomatization there does not seem to be any concept of marriage other than the pairs of individuals which satisfy the relation. If you needed a way of identifying a specific marriage you could of course add another variable to the marriage predicate to serve as a key.

 

Any other suggestions from anyone as to how to give axioms for marriage? How does one bridge between this and Cory’s pictures?

 

Marriage was chosen as a challenge as it is probably the simplest example of a class of modeling problems which includes the detailed design description of a Boeing 747.  While natural language is important one wonders if it scales to represent all of the components and connections in a large manufacture product.

 

Henson


_________________________________________________________________________ 
Message Archives: http://ontolog.cim3.net/forum/model-challenge/ 
Subscribe: mailto:model-challenge-join@xxxxxxxxxxxxxxxx 
Config/Unsubscribe: http://ontolog.cim3.net/mailman/listinfo/model-challenge/  
Shared Files: http://ontolog.cim3.net/file/work/ModelingBenchmarkChallenge/ 
References: 
http://ontolog.cim3.net/file/resource/project/ModelingBenchmarkChallenge/ 
Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?ModelingBenchmarkChallenge    (01)
<Prev in Thread] Current Thread [Next in Thread>